Building ontologies with basic formal ontology / Robert Arp, Barry Smith and Andrew D. Spear