Assertion: upper ontology | /r/HasProperty | extensional
Facets:
Source sentences:
text: The upper ontology developed by the IDEAS Group is higher-order, extensional and 4D.