Upper Ontology
Basic Formal Ontology