precipitation propensity

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

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

SubClass Of: bfo:disposition

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:disposition › precipitation propensity

Definition

disposition of a liquid mixed material to form an insoluble solid phase from dissolved constituents

Examples

• the precipitation propensity of a cell culture medium containing calcium and phosphate ions; the precipitation propensity of a concentrated buffer during salt addition; the precipitation propensity of a protein formulation during pH shift; the precipitation propensity of an aqueous formulation vehicle containing a poorly soluble drug substance after dilution;

Primitive Class

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

Primitive Rationale

There are insufficient constructs to create a set of necessary and sufficient conditions.

Formal Axioms

First-Order Logic Axioms

PrecipitationPropensity(x) → Disposition(x) ∧ ∃m (MixedMaterial(m) ∧ dispositionOf(x, m) ∧ ∃l (LiquidAggregateState(l) ∧ hasQuality(m, l)) ∧ ∀b (hasMaterialBasisAtSomeTime(x, b) → (MaterialEntity(b) ∧ properContinuantPartOfAtSomeTime(b, m))) ∧ ∀p (hasRealization(x, p) → (Process(p) ∧ ∃o (MaterialEntity(o) ∧ hasOutput(p, o) ∧ ∃s (SolidAggregateState(s) ∧ hasQuality(o, s))))))

Semi-Formal Natural Language Axioms

if x is a ‘precipitation propensity’ then x is a ‘disposition’ that is the ‘disposition of’ some ‘mixed material’ that ‘has quality’ some ‘liquid aggregate state’; if x ‘has material basis at some time’ some b, then b is a ‘material entity’ that is a ‘proper continuant part of at some time’ that same ‘mixed material’; and if x ‘has realization’ some p, then p is a ‘process’ that ‘has output’ some ‘material entity’ that ‘has quality’ some ‘solid aggregate state’

Description Logic

constr:PrecipitationPropensity ⊑ bfo:disposition

constr:PrecipitationPropensity ⊑ ∀ bfo:has_realization .(bfo:process ⊓ ∃ constr:hasOutput .(bfo:material_entity ⊓ ∃ constr:hasQuality .constr:SolidAggregateState))

constr:PrecipitationPropensity ⊑ ∀ bfo:has_material_basis_at_some_time .(bfo:material_entity ⊓ ∃ bfo:proper_continuant_part_of_at_some_time .constr:MixedMaterial)

constr:PrecipitationPropensity ⊑ ∃ constr:dispositionOf .(constr:MixedMaterial ⊓ ∃ constr:hasQuality .constr:LiquidAggregateState)

SubClassOf: bfo:disposition

SubClassOf: bfo:has_realization only (bfo:process and constr:hasOutput some (bfo:material_entity and constr:hasQuality some constr:SolidAggregateState))

SubClassOf: bfo:has_material_basis_at_some_time only (bfo:material_entity and bfo:proper_continuant_part_of_at_some_time some constr:MixedMaterial)

SubClassOf: constr:dispositionOf some (constr:MixedMaterial and constr:hasQuality some constr:LiquidAggregateState)