The General Formal Ontology is a top-level ontology for conceptual modeling. It includes elaborations of categories like objects, processes, time and space, properties, relations, roles, functions, facts, and situations.