语义逻辑表示法的英文翻译

中文：语义逻辑表示法