汉英词典(图标) 解释公理语言