Assertion: formal ontology | /r/HasProperty | specified by a collection of names
Facets:
Source sentences:
text: A formal ontology is specified by a collection of names for concept and relation types organised in a partial ordering by the type-subtype relation.