Building Ontologies with Basic Formal Ontology