material containment function

IRI: https://spec.industrialontologies.org/ontology/construct/MaterialContainmentFunction

Defined In: https://spec.industrialontologies.org/ontology/core/Core/

SubClass Of: material containment capability

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:disposition › capability › material containment capability › material containment function

Definition

material containment capability that is a function of a material entity

Semi-Formal Definition:

every instance of ‘material containment function’ is exactly an instance of ‘material containment capability’ that is the ‘function of’ some ‘material entity’

Examples

• the material containment function of a stainless-steel process tank to contain process material during manufacturing; the material containment function of a media bottle to contain prepared culture medium; the material containment function of a cryogenic vial to contain a cell-bank aliquot; the material containment function of an ISO freight container to contain packaged goods during transportation; the material containment function of a tank container to contain bulk liquid cargo; the material containment function of an intermediate bulk container to contain liquid or granular material during storage and transport; the material containment function of a grain silo to contain harvested grain during storage; the material containment function of a warehouse bin to contain inventory items during storage and handling

Formal Axioms

First-Order Logic Definition

MaterialContainmentFunction(x) ↔ MaterialContainmentCapability(x) ∧ ∃m(MaterialEntity(m) ∧ functionOf(x,m))

Description Logic

constr:MaterialContainmentFunction ≡ constr:MaterialContainmentCapability ⊓ ∃ constr:functionOf .bfo:material_entity

constr:MaterialContainmentFunction ⊑ constr:MaterialContainmentCapability

EquivalentTo: constr:MaterialContainmentCapability and constr:functionOf some bfo:material_entity

SubClassOf: constr:MaterialContainmentCapability