solvent

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

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 › solvent

Definition

material entity with a solvent role

Semi-Formal Definition:

every instance of ‘solvent’ is defined as exactly an instance of ‘material entity’ that ‘has role’ some ‘solvent 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 purified water portion in a buffer preparation process; a water for injection portion in a formulation preparation process;

Formal Axioms

First-Order Logic Definition

Solvent(x) ↔ MaterialEntity(x) ∧ ∃r(SolventRole(r) ∧ hasRole(x, r))

Description Logic

constr:Solvent ≡ bfo:material_entity ⊓ ∃ constr:hasRole .constr:SolventRole

constr:Solvent ⊑ bfo:material_entity

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

SubClassOf: bfo:material_entity