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