amount of substance

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

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

SubClass Of: bfo:quality

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:quality › amount of substance

Definition

quality of a material entity that is proportional to the number of elementary entities of a particular kind present in that material entity

Examples

• the molar amount of glucose in a glucose constituent of a cell culture medium; the molar amount of sodium ions in a buffer solution constituent; the molar amount of calcium ions in a media formulation; the molar amount of glucose in a portion of glucose powder

Synonyms

• molar amount

Adapted From

• https://www.nist.gov/pml/owm/si-units-amount-substance

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

AmountOfSubstance(x) → Quality(x) ∧ ∃m (MaterialEntity(m) ∧ qualityOf(x, m) ∧ ∀p (hasMagnitudeBasisInBearerPart(x, p) → (MaterialEntity(p) ∧ isMadeOfAtSomeTime(m, p))))

Semi-Formal Natural Language Axioms

if x is an ‘amount of substance’ then x is a ‘quality’ that is the ‘quality of’ some ‘material entity’, and if x ‘has magnitude basis in bearer part’ some p, then p is a ‘material entity’ of which that same ‘material entity’ ‘is made of at some time’

Description Logic

constr:AmountOfSubstance ⊑ bfo:quality

constr:AmountOfSubstance ⊑ ∀ constr:hasMagnitudeBasisInBearerPart .(bfo:material_entity ⊓ ∃ constr:isMadeOfAtSomeTime⁻ .bfo:material_entity)

constr:AmountOfSubstance ⊑ ∃ constr:qualityOf .bfo:material_entity

SubClassOf: bfo:quality

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

SubClassOf: constr:qualityOf some bfo:material_entity