production consumable role
IRI: https://spec.industrialontologies.org/ontology/construct/ProductionConsumableRole
Defined In: https://spec.industrialontologies.org/ontology/biopharma/ReferenceOntologyCandidates/
SubClass Of: consumable role
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:role › consumable role › production consumable role
Definition
consumable role held by a material entity when it is planned to be, or is partially or fully consumed in a process that is part of a product production process
Explanatory Notes
- ‘Used up’ in this context means that either a) the material entity no longer exists at the end of the process or b) the material entity has reduced or lost capability as a result of the process.
- In many cases, organizations monitor the number of hours or frequency with which such consumables are used.
- Production consumables include resources that are typically not specified in recipes, not included in the bill of materials, and not lot-tracked.
Examples
- Benzoyl Peroxide in the role of a consumable in the polymerization of vinyl chloride; Deionized water in the role of a consumable in PVC polymerization as a suspension medium; Sterile filter in the role of a consumable in media sterilization; Single-use bioreactor bag in the role of a consumable in mammalian cell culture; Disposable depth filter in the role of a consumable in harvest clarification
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
There are insufficient constructs to define necessary and sufficient conditions. Specifically constructs for representing partially consumed are missing.
Formal Axioms
First-Order Logic Axioms
ProductionConsumableRole(x) → ConsumableRole(x) ∧ ∀y(hasRealization(x,y) → ∃z(occurrentPartOf(y,z) ∧ ProductProductionProcess(z))) ∧ ∃a(roleOf(x,a) ∧ MaterialEntity(a) ∧ (∃b∃c∃d∃z(prescribedBy(a,b) ∧ InputSpecification(b) ∧ continuantPartOfAtAllTimes(b,c) ∧ PlanSpecification(c) ∧ prescribes(c,d) ∧ occurrentPartOf(d,z) ∧ ProductProductionProcess(z)) ∨ ∃e∃z(isInputOf(a,e) ∧ occurrentPartOf(e,z) ∧ ProductProductionProcess(z)) ∨ ∃f∃g∃z(hasCapability(a,f) ∧ Capability(f) ∧ hasRealization(f,g) ∧ occurrentPartOf(g,z) ∧ ProductProductionProcess(z))))
Semi-Formal Natural Language Axioms
if x is a ‘production consumable role’ then x is a ‘consumable role’, x ‘has realization’ only in some ‘occurrent part of’ a ‘product production process’, and x is a ‘role of’ some ‘material entity’ that either is ‘prescribed by’ some ‘input specification’ that is a ‘continuant part of at all times’ some ‘plan specification’ that ‘prescribes’ some ‘occurrent part of’ a ‘product production process’, ‘is input of’ some ‘occurrent part of’ a ‘product production process’, or ‘has capability’ some ‘capability’ that ‘has realization’ in some ‘occurrent part of’ a ‘product production process’
Description Logic
constr:ProductionConsumableRole ⊑ constr:ConsumableRole
constr:ProductionConsumableRole ⊑ ∀ bfo:has_realization .∃ bfo:occurrent_part_of .constr:ProductProductionProcess
constr:ProductionConsumableRole ⊑ ∃ constr:roleOf .(bfo:material_entity ⊓ (∃ constr:hasCapability .(constr:Capability ⊓ ∃ bfo:has_realization .∃ bfo:occurrent_part_of .constr:ProductProductionProcess) ⊔ ∃ constr:isInputOf .∃ bfo:occurrent_part_of .constr:ProductProductionProcess ⊔ ∃ constr:prescribedBy .(constr:InputSpecification ⊓ ∃ bfo:continuant_part_of_at_all_times .(constr:PlanSpecification ⊓ ∃ constr:prescribes .∃ bfo:occurrent_part_of .constr:ProductProductionProcess))))
SubClassOf: constr:ConsumableRole
SubClassOf: bfo:has_realization only bfo:occurrent_part_of some constr:ProductProductionProcess
SubClassOf: constr:roleOf some (bfo:material_entity and (constr:hasCapability some (constr:Capability and bfo:has_realization some bfo:occurrent_part_of some constr:ProductProductionProcess) or constr:isInputOf some bfo:occurrent_part_of some constr:ProductProductionProcess or constr:prescribedBy some (constr:InputSpecification and bfo:continuant_part_of_at_all_times some (constr:PlanSpecification and constr:prescribes some bfo:occurrent_part_of some constr:ProductProductionProcess))))