汉英词典(图标) 谓词演算