In the eXtended WordNet the WordNet glosses are syntactically parsed, transformed into logic forms and content words are semantically disambiguated.
eXtended WordNet is an ongoing project at the Human Language Technology Research Institute, University of Texas at Dallas.

