Assertion: formal ontology | /r/HasProperty | the way
Facets:
value: further
type: MANNER
Source sentences:
text: Formal ontologies are further distinguished by the way the subtypes are distinguished from their super-types: an axiomatized ontology distinguishes subtypes by axioms and definitions stated in a formal language, such as logic or some computer-oriented notation that can be translated to logic; a prototype-based ontology distinguishes subtypes by a comparison with a typical member or prototype for each subtype.