An introduction to the syntax and content of Cyc
First-Orderized ResearchCyc: Expressivity and Efficiency in a Common-Sense Ontology