Keywords: Meronymy, Knowledge validation, Automated Theorem Proving. 1. Introduction ... interpretation of the meronymy relations of WordNet, the.
確定! 回上一頁