Semantic Construction Grammar: Bridging the NL / Logic Divide
CYC: a large-scale investment in knowledge infrastructure