Building Ontologies With Basic Formal Ontology