partial pressure

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

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

SubClass Of: pressure

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:quality › bfo:relational quality › pressure › partial pressure

Definition

pressure that is the contribution of a particular gaseous constituent of a gas mixture to the total pressure of that mixture

Examples

• oxygen contributing to the total pressure of air in a bioreactor headspace; carbon dioxide contributing to the total pressure of incubator air; water vapor contributing to the total pressure of humidified air; nitrogen contributing to the total pressure of compressed air

Adapted From

• https://goldbook.iupac.org/terms/view/P04819

Primitive Class

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

Primitive Rationale

There are insufficient constructs for creating a set of necessary and sufficient conditions

Formal Axioms

First-Order Logic Axioms

PartialPressure(x) → Pressure(x) ∧ ∃m∃g(MixedMaterial(m) ∧ qualityOf(x,m) ∧ GaseousAggregateState(g) ∧ hasQuality(m,g) ∧ ∀p(hasMagnitudeBasisInBearerPart(x,p) → (MaterialEntity(p) ∧ isMadeOfAtSomeTime(m,p))))

Semi-Formal Natural Language Axioms

if x is a ‘partial pressure’ then x is a ‘pressure’ that is the ‘quality of’ some ‘mixed material’ y that ‘has quality’ some ‘gaseous aggregate state’, and if x ‘has magnitude basis in bearer part’ some p, then p is a ‘material entity’ of which y ‘is made of at some time’

Description Logic

constr:PartialPressure ⊑ constr:Pressure

constr:PartialPressure ⊑ ∀ constr:hasMagnitudeBasisInBearerPart .(bfo:material_entity ⊓ ∃ constr:isMadeOfAtSomeTime⁻ .(constr:MixedMaterial ⊓ ∃ constr:hasQuality .constr:GaseousAggregateState))

constr:PartialPressure ⊑ ∃ constr:qualityOf .(constr:MixedMaterial ⊓ ∃ constr:hasQuality .constr:GaseousAggregateState)

SubClassOf: constr:Pressure

SubClassOf: constr:hasMagnitudeBasisInBearerPart only (bfo:material_entity and inverse constr:isMadeOfAtSomeTime some (constr:MixedMaterial and constr:hasQuality some constr:GaseousAggregateState))

SubClassOf: constr:qualityOf some (constr:MixedMaterial and constr:hasQuality some constr:GaseousAggregateState)