solute

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

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

SubClass Of: bfo:material entity

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › solute

Definition

material entity with a solute role

Semi-Formal Definition:

every instance of ‘solute’ is defined as exactly an instance of ‘material entity’ that ‘has role’ some ‘solute 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

• a sodium chloride portion in a buffer preparation process; a glucose portion in a culture medium preparation process; dry amino acid mixture in a feed preparation process

Formal Axioms

First-Order Logic Definition

Solute(x) ↔ MaterialEntity(x) ∧ ∃r(SoluteRole(r) ∧ hasRole(x, r))

Description Logic

constr:Solute ≡ bfo:material_entity ⊓ ∃ constr:hasRole .constr:SoluteRole

constr:Solute ⊑ bfo:material_entity

EquivalentTo: bfo:material_entity and constr:hasRole some constr:SoluteRole

SubClassOf: bfo:material_entity