consumable role
IRI: https://spec.industrialontologies.org/ontology/construct/ConsumableRole
Defined In: https://spec.industrialontologies.org/ontology/core/Core/
SubClass Of: bfo:role
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:role › consumable role
Direct subclasses:
Definition
role held by a material entity when it is planned to be, or is partially or fully used up in a planned process
Explanatory Notes
‘Used up’ (consumed) 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.
Examples
- 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; Coolant/antifreeze in the role of a consumable in cooling system maintenance as a heat-transfer fluid; Cleaning solvent in the role of a consumable in equipment cleaning as a cleaning agent; Packing tape in the role of a consumable in case sealing as a sealing material; Dry ice in the role of a consumable in cold-chain shipping as a refrigerant medium
Adapted From
- https://en.wikipedia.org/wiki/Consumables
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 that fully model capability loss or degradation are missing.
Formal Axioms
First-Order Logic Axioms
ConsumableRole(x) → Role(x) ∧ ∀y(hasRealization(x,y) → PlannedProcess(y)) ∧ (∃a(roleOf(x,a) ∧ MaterialEntity(a) ∧ (∃f(hasCapability(a,f) ∧ Capability(f) ∧ ∃p(hasRealization(f,p) ∧ PlannedProcess(p))) ∨ ∃p(isInputOf(a,p) ∧ PlannedProcess(p)))) ∨ ∃a(roleOf(x,a) ∧ MaterialEntity(a) ∧ ∃b(prescribedBy(a,b) ∧ InputSpecification(b))))
Semi-Formal Natural Language Axioms
if x is a ‘consumable role’ then x is a ‘role’ that ‘has realization’ only ‘planned process’ and x is a ‘role of’ either a ‘material entity’ that is ‘prescribed by’ some ‘input specification’, or a ‘material entity’ that ‘is input of’ some ‘planned process’, or a ‘material entity’ that ‘has capability’ some ‘capability’ that ‘has realization’ in some ‘planned process’
Description Logic
constr:ConsumableRole ⊑ bfo:role
constr:ConsumableRole ⊑ ∃ constr:roleOf .(bfo:material_entity ⊓ (∃ constr:hasCapability .(constr:Capability ⊓ ∃ bfo:has_realization .constr:PlannedProcess) ⊔ ∃ constr:isInputOf .constr:PlannedProcess)) ⊔ ∃ constr:roleOf .(bfo:material_entity ⊓ ∃ constr:prescribedBy .constr:InputSpecification)
constr:ConsumableRole ⊑ ∀ bfo:has_realization .constr:PlannedProcess
SubClassOf: bfo:role
SubClassOf: constr:roleOf some (bfo:material_entity and (constr:hasCapability some (constr:Capability and bfo:has_realization some constr:PlannedProcess) or constr:isInputOf some constr:PlannedProcess)) or constr:roleOf some (bfo:material_entity and constr:prescribedBy some constr:InputSpecification)
SubClassOf: bfo:has_realization only constr:PlannedProcess