First-Orderized ResearchCyc: Expressivity and Efficiency in a Common-Sense Ontology