Transformation of WordNet Glosses into Logic Forms
DAN I. MOLDOVAN, Vasile Rus · 2001
This paper presents a method and implementation re-suits for the transformation of WordNet glosses into logic forms. The glosses, currently expressed in En-glish are a rich source of world knowledge. Logic forms are useful for logic proofs, inference, and many other AI applications. We demonstrate their applicability to a Question Answering system.