把大量的词义描写成比较少的(),可以为机器提供一部语义形式化的词典。
出自:语言学