Building ontologies with basic formal ontology / Robert Arp, Barry Smith and Andrew D. Spear. Cambridge, Mass. [u.a.] : MIT Press, 2015