Transformation of WordNet Glosses into Logic Forms

This paper presents a method and implementation resuits for the transformation of WordNet glosses into logic forms. The glosses, currently expressed in English 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.