Upper Ontology
General Formal Ontology