material containment capability

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

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

SubClass Of: capability

Class Hierarchy

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

Direct subclasses:

• cell culture holding capability
• material containment function

Definition

capability of a material entity that is grounded in the entity’s physical structure and that can be realized in a process in which the entity holds one or more material entities within a bounded interior, cavity, surface-delimited area, or contained site

Explanatory Notes

1) This capability applies to material entites that hold material contents by means of their physical structure. 2) This capability does not by itself imply environmental control, mixing, sterility, pressure resistance, or suitability for a specific process. Those should be represented by more specific capabilities where needed. 3) The capability does not require that the bearer was designed for containment. For example, a naturally occurring or accidentally shaped object may have a containment capability if its structure allows it to hold material contents.

Examples

• the material containment capability of an ISO freight container to hold packaged goods during transportation; the material containment capability of a tank container to hold bulk liquid cargo; the material containment capability of a sealed bottle to hold a liquid; the material containment capability of a single-use bioprocess bag to hold material undergoing cell cultivation; the material containment capability of a concave rock to hold rainwater

Adapted From

• http://purl.obolibrary.org/obo/OBI_0000370

Primitive Class

This class is declared primitive and it does not have necessary and sufficient condiftions defined.

Primitive Rationale

There are insufficient construct to create a set of necessary and sufficient conditions. Detailed constructs will be developed as part of the Supply Chain WG effort.

Formal Axioms

First-Order Logic Axioms

MaterialContainmentCapability(x) → Capability(x) ∧ ∃z(MaterialEntity(z) ∧ capabilityOf(x,z))

Semi-Formal Natural Language Axioms

if x is a ‘material containment capability’ then x is a ‘capability’ that is the ‘capability of’ some ‘material entity’

Description Logic

constr:MaterialContainmentCapability ⊑ constr:Capability

constr:MaterialContainmentCapability ⊑ ∃ constr:capabilityOf .bfo:material_entity

SubClassOf: constr:Capability

SubClassOf: constr:capabilityOf some bfo:material_entity