把大量的词义描写成比较少的（），可以为机器提供一部语义形式化的词典。