material transfer capability

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

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

SubClass Of: capability

Class Hierarchy

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

Direct subclasses:

• fluid transfer capability
• solid transfer capability

Definition

capability of an agent, material artifact, or engineered system to enable movement of material distinct from the capability bearer to or from a material entity or site

Examples

• the material transfer capability of an operator to charge weighed buffer salt into a mixing vessel; the material transfer capability of a peristaltic pump to transfer feed solution into a bioreactor; the material transfer capability of a gas-delivery system to supply oxygen to a bioreactor

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

MaterialTransferCapability(x) → Capability(x) ∧ ∃b((Agent(b) ∨ MaterialArtifact(b) ∨ EngineeredSystem(b)) ∧ capabilityOf(x,b) ∧ ∀p(hasRealization(x,p) → ((MaterialAdditionProcess(p) ∨ MaterialRemovalProcess(p) ∨ MaterialTransferProcess(p)) ∧ ∃m∃r(MaterialEntity(m) ∧ TransferredMaterialRole(r) ∧ hasParticipant(p,m) ∧ hasRole(m,r)) ∧ ∀n((MaterialEntity(n) ∧ hasParticipant(p,n) ∧ ∃s(TransferredMaterialRole(s) ∧ hasRole(n,s))) → n ≠ b))))

Semi-Formal Natural Language Axioms

if x is a ‘material transfer capability’ then x is a ‘capability’ that is the ‘capability of’ some entity b that is an ‘agent’, a ‘material artifact’, or an ‘engineered system’, and whenever some p ‘realizes’ x, p is a ‘material addition process’, a ‘material removal process’, or a ‘material transfer process’ that ‘has participant’ some ‘material entity’ that ‘has role’ some ‘transferred material role’, and every material entity that participates in p and has some ‘transferred material role’ is distinct from b

Description Logic

constr:MaterialTransferCapability ⊑ constr:Capability

constr:MaterialTransferCapability ⊑ ∀ bfo:has_realization .(constr:MaterialAdditionProcess ⊔ constr:MaterialRemovalProcess ⊔ constr:MaterialTransferProcess)

constr:MaterialTransferCapability ⊑ ∃ constr:capabilityOf .(constr:Agent ⊔ constr:EngineeredSystem ⊔ constr:MaterialArtifact)

SubClassOf: constr:Capability

SubClassOf: bfo:has_realization only (constr:MaterialAdditionProcess or constr:MaterialRemovalProcess or constr:MaterialTransferProcess)

SubClassOf: constr:capabilityOf some (constr:Agent or constr:EngineeredSystem or constr:MaterialArtifact)