Basic Formal Ontology Summary