A survey of recent work on formal methods of computational lexical semantics, which have had the effect of bringing many linguistic formalisms closer to the knowledge representation languages used in artificial intelligence. It addresses the semantic issues required for natural language analysis.