Functions in Basic Formal Ontology · Study