First-Orderized ResearchCyc: Expressivity and Efficiency in a Common-Sense Ontology
Towards a standard upper ontology