production consumable
IRI: https://spec.industrialontologies.org/ontology/construct/ProductionConsumable
Defined In: https://spec.industrialontologies.org/ontology/biopharma/ReferenceOntologyCandidates/
SubClass Of: consumable
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › consumable › production consumable
Definition
material entity which has the production consumable role
Semi-Formal Definition:
every instance of ‘production consumable’ is defined as exactly an instance of ‘consumable’ that ‘has role’ some ‘production consumable role’
Explanatory Notes
See the expanded definition under the corresponding role class. The term is formalized here as a defined class by referring to its corresponding role class and exists primarily for ontological modeling and implementation convenience.
Examples
- Benzoyl Peroxide used as a free-radical initiator in vinyl chloride polymerization; Deionized water used as a suspension medium in PVC polymerization and partially lost through evaporation; High-speed steel drill bits used in drilling operations and consumed after 200–400 drilling cycles; Single-use bioreactor bag used for mammalian cell culture and discarded after use; sterile filter used for media sterilization and discarded after filtration; Disposable depth filter used in harvest clarification and discarded post-use;
Counter-Examples
- Water employed in the Steam Reforming Process of Methane. Steam reacts with Methane at very high temperature in the presence of a Ni catalyst to produce Hydrogen and a CO/CO2 mixture. Though steam is fed in excess to avoid the carbonization of the catalyst, and is partly lost, certain amount of it is converted into Hydrogen. Therefore, water plays a raw material role;Water inside a closed-loop cooling system circuit that is part of a chemical reaction process. Since it is a closed system, water is not lost through evaporation, and it does not need a chemical/biological treatment. In consequence, it does not need to be recovered.
Formal Axioms
First-Order Logic Definition
ProductionConsumable(x) ↔ Consumable(x) ∧ ∃r(ProductionConsumableRole(r) ∧ hasRole(x, r))
Description Logic
EquivalentTo: constr:Consumable and constr:hasRole some constr:ProductionConsumableRole
SubClassOf: constr:Consumable