Assertion: large ontology | /r/ObjectUse | used for term
Facets:
value: in mathematics
type: OTHER
value: in physics
type: OTHER
value: in engineering
type: LOCATION
Source sentences:
text: Large ontologies often use a mixture of definitional methods: formal axioms and definitions are used for the terms in mathematics, physics, and engineering; and prototypes are used for plants, animals, and common household items.