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

  1. ‘Used up’ in this context means that either a) the material entity no longer exist at the end of the process or b) the material entity has reduced or lost capability as a result of the process.
  2. In many cases, organizations monitor the number of hours or frequency with which such consumables are used.
  3. Consumables includes 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

Adapted From

  • http://purl.allotrope.org/voc/afo/REC/2022/03/afo

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 (prescribedBy(a, b) ∧ InputSpecification(b) ∧ ∃c (continuantPartOfAtAllTimes(b, c) ∧ PlanSpecification(c) ∧ ∃d (prescribes(c,d) ∧ ∃z (occurrentPartOf(d, z) ∧ ProductProductionProcess(z)))))) ∨ ∃a (roleOf(x, a) ∧ ((MaterialEntity(a) ∧ ∃e (isInputOf(a, e) ∧ ∃z (occurrentPartOf(e, z) ∧ ProductProductionProcess(z)))) ∨ (HasCapability(a, f) ∧ Capability(f) ∧ ∃g (hasRealization(f, g) ∧ ∃z (occurrentPartOf(g, z) ∧ ProductProductionProcess(z)))))))

Semi-Formal Natural Language Axioms

if x is a ‘production consumable role’ then x is a ‘consumable role’ and x ‘has realization’ only in some ‘occurrent part of’ a ‘product production process’ and x is a ‘role of’ either a ‘material entity’ that 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’, or a ‘material entity’ that ‘is input of’ some ‘occurrent part of’ a ‘product production process’, or a ‘material entity’ that ‘has capability’ some ‘capability’ that ‘has realization’ in some ‘occurrent part of’ a ‘product production process’

Description Logic

constr:ProductionConsumableRole ⊑ constr:ConsumableRole

constr:ProductionConsumableRole ⊑ ∃ constr:roleOf .(bfo:material_entity ⊓ ∃ constr:prescribedBy .(constr:InputSpecification ⊓ ∃ bfo:continuant_part_of_at_all_times .(constr:PlanSpecification ⊓ ∃ constr:prescribes .∃ bfo:occurrent_part_of .constr:ProductProductionProcess))) ⊔ ∃ constr:roleOf .((bfo:material_entity ⊓ ∃ constr:isInputOf .∃ bfo:occurrent_part_of .constr:ProductProductionProcess) ⊔ ∃ constr:hasCapability .(constr:Capability ⊓ ∃ bfo:has_realization .∃ bfo:occurrent_part_of .constr:ProductProductionProcess))

constr:ProductionConsumableRole ⊑ ∀ bfo:has_realization .∃ bfo:occurrent_part_of .constr:ProductProductionProcess

SubClassOf: constr:ConsumableRole

SubClassOf: constr:roleOf some (bfo:material_entity and 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))) or constr:roleOf some ((bfo:material_entity and constr:isInputOf some bfo:occurrent_part_of some constr:ProductProductionProcess) or constr:hasCapability some (constr:Capability and bfo:has_realization some bfo:occurrent_part_of some constr:ProductProductionProcess))

SubClassOf: bfo:has_realization only bfo:occurrent_part_of some constr:ProductProductionProcess