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