production order
IRI: https://spec.industrialontologies.org/ontology/construct/ProductionOrder
Defined In: https://spec.industrialontologies.org/ontology/productionplanning/ProductionPlanning/
SubClass Of: objective specification
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › objective specification › production order
Definition
A production order is a document that states the number of units to be manufactured, the date when the order is released for production, and where the units should be delivered once they have been completed. A production order may be triggered by a long-term plan to maintain certain inventory levels, or by the receipt of an order from a customer.
Semi-Formal Definition:
x is a ‘production order’ if and only if x ‘has continuant part at all times’ some y which is a ‘material product specification’.
Examples
- order to produce 100 brackets
Formal Axioms
First-Order Logic Definition
ProductionOrder(x) ↔ ObjectiveSpecification(x) ∧ ∃y (MaterialProductSpecification(y) ∧ hasContinuantPartAtAllTimes(x, y))
First-Order Logic Axioms
ObjectiveSpecification(x) ∧ ∃y (isAchievedByAtSomeTime(x, y) ∧ ProductProductionProcess(y)) → ProductionOrder(x)
Semi-Formal Natural Language Axioms
If x is an ‘objective specification’ and there exists a ‘product production process’ y that x is achieved by at some time, then x is a ‘production order’.
Description Logic
constr:ProductionOrder ⊑ constr:ObjectiveSpecification
constr:ProductionOrder ⊑ constr:ObjectiveSpecification ⊓ ∃ bfo:has_continuant_part_at_all_times .constr:MaterialProductSpecification
constr:ObjectiveSpecification ⊓ ∃ constr:isAchievedByAtSomeTime .constr:ProductProductionProcess ⊑ constr:ProductionOrder
SubClassOf: constr:ObjectiveSpecification
SubClassOf: constr:ObjectiveSpecification and bfo:has_continuant_part_at_all_times some constr:MaterialProductSpecification
constr:ObjectiveSpecification and constr:isAchievedByAtSomeTime some constr:ProductProductionProcess SubClassOf: constr:ProductionOrder