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:

production consumable

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