factory
IRI: https://spec.industrialontologies.org/ontology/construct/Factory
Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/
SubClass Of: facility
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › bfo:object aggregate › system › engineered system › facility › factory
Definition
facility that is designed for manufacturing products and includes one or more production systems
Explanatory Notes
candidate IOF Core construct
Examples
- aircraft manufacturing factory (factory that is designed for manufacturing aircraft), motor vehicle manufacturing factory (factory that is designed for manufacturing motor vehicles), Frod’s plant in Dearborn, MI
Synonyms
- manufacturing plant
- plant
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
The essential member parts of a factory (such as production systems or manufacturing cells) are not defined in IOF ontologies yet.
Formal Axioms
First-Order Logic Axioms
Factory(x) → Facility(x) ∧ ∃c(ProductionCapability(c) ∧ hasCapability(x,c))
Semi-Formal Natural Language Axioms
if x is a ‘factory’ then x is a ‘facility’ that ‘has capability’ some ‘production capability’
Description Logic
constr:Factory ⊑ ⊤
constr:Factory ⊑ constr:Facility ⊓ ∃ constr:hasCapability .constr:ProductionCapability
SubClassOf: owl:Thing
SubClassOf: constr:Facility and constr:hasCapability some constr:ProductionCapability