consumable
IRI: https://spec.industrialontologies.org/ontology/construct/Consumable
Defined In: https://spec.industrialontologies.org/ontology/core/Core/
SubClass Of: bfo:material entity
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › consumable
Direct subclasses:
Definition
material entity which has the consumable role
Semi-Formal Definition:
every instance of ‘consumable’ is defined as exactly an instance of ‘material entity’ that ‘has role’ some ‘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
- Deionized water used as a suspension medium in PVC polymerization and partially lost through evaporation; Sterile filter used for media sterilization and discarded after use; Coolant/antifreeze used as a heat-transfer fluid in cooling system maintenance and replaced during servicing; Cleaning solvent used as a cleaning agent in equipment cleaning and disposed after use; Packing tape used as a sealing material in case sealing and incorporated into the sealed package; Dry ice used as a refrigerant medium in cold-chain shipping and sublimed during transport
Formal Axioms
First-Order Logic Definition
Consumable(x) ↔ MaterialEntity(x) ∧ ∃r(ConsumableRole(r) ∧ hasRole(x, r))
Description Logic
constr:Consumable ≡ bfo:material_entity ⊓ ∃ constr:hasRole .constr:ConsumableRole
constr:Consumable ⊑ bfo:material_entity
EquivalentTo: bfo:material_entity and constr:hasRole some constr:ConsumableRole
SubClassOf: bfo:material_entity