Basic Formal Ontology (BFO)