solid transfer capability

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

Defined In: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaEquipment/

SubClass Of: material transfer capability

Class Hierarchy

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

Definition

material transfer capability to enable movement of a solid to or from a material entity or site

Examples

• the solid transfer capability of an operator to charge powdered medium into a mixing vessel; the solid transfer capability of a powder-transfer system to move buffer salt into a dispensing container; the solid transfer capability of a vacuum-transfer system to move powdered buffer component from a dispensing container into a preparation vessel

Primitive Class

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

Primitive Rationale

There are insufficient constructs in the ontology to create necessary and sufficient conditions.

Formal Axioms

First-Order Logic Axioms

SolidTransferCapability(x) → MaterialTransferCapability(x) ∧ ∀y(hasRealization(x,y) → (PlannedProcess(y) ∧ ∃m(MaterialEntity(m) ∧ hasParticipant(y,m) ∧ ∃q(SolidAggregateState(q) ∧ hasQuality(m,q)) ∧ ∃r(TransferredMaterialRole(r) ∧ hasRole(m,r)))))

Semi-Formal Natural Language Axioms

if x is a ‘solid transfer capability’ then x is a ‘material transfer capability’ and whenever some y ‘realizes’ x then y is a ‘planned process’ that ‘has participant’ some ‘material entity’ that ‘has quality’ some ‘solid aggregate state’ and ‘has role’ some ‘transferred material role’

Description Logic

constr:SolidTransferCapability ⊑ constr:MaterialTransferCapability

constr:SolidTransferCapability ⊑ ∀ bfo:has_realization .(constr:PlannedProcess ⊓ ∃ bfo:has_participant_at_some_time .(bfo:material_entity ⊓ ∃ constr:hasQuality .constr:SolidAggregateState ⊓ ∃ constr:hasRole .constr:TransferredMaterialRole))

SubClassOf: constr:MaterialTransferCapability

SubClassOf: bfo:has_realization only (constr:PlannedProcess and bfo:has_participant_at_some_time some (bfo:material_entity and constr:hasQuality some constr:SolidAggregateState and constr:hasRole some constr:TransferredMaterialRole))