manufacturer
IRI: https://spec.industrialontologies.org/ontology/construct/Manufacturer
Defined In: https://spec.industrialontologies.org/ontology/core/Core/
SubClass Of: agent · organization
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › agent › manufacturer
Definition
organization which has a manufacturer role
Semi-Formal Definition:
every instance of ‘manufacturer’ is defined as exactly an instance of ‘organization’ that ‘has role’ some ‘manufacturer role’
Explanatory Notes
See the expanded definition under the corresponding role class. The term is formalized here as a defined class by referring to its corresponding role class and exists primarily for ontological modeling and implementation convenience.
Examples
- MiliporeSigma is a manufacturer of single-use bioreactors; Boeing is a manufacturer of airplanes; dell is a manufacturer of lap-tops
Formal Axioms
First-Order Logic Definition
Manufacturer(x) ↔ Organization(x) ∧ ∃r(ManufacturerRole(r) ∧ hasRole(x,r))
Description Logic
EquivalentTo: constr:Organization and constr:hasRole some constr:ManufacturerRole
SubClassOf: constr:Agent