Semantic Construction Grammar: Bridging the NL / Logic Divide
An introduction to the syntax and content of Cyc