One problem in the design of a lexicon for natural language processing is the representation of semantic knowledge. We examine the adequacy of knowledge representation formalisms developed in artificialintelligence,in particular of term subsumption languages for these issues. In order to derive some basic requirements for a suitable representation language we analyze a number of definitionsof a monolingual dictionary.