GFO

General Formal Ontology