汉英词典(图标) 一阶模态逻辑