Formal ontology as interlingua: the SUMO and WordNet linking project and global WordNet
Ontology and the Lexicon（2010）
关键词
theorem prover,ontology,sumo,wordnet,corpus,patterns,specification,equivalence,informal,framenet,computational linguistics,word sense,taxonomy,synset
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要