aeration process

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

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

SubClass Of: material addition process

Class Hierarchy

owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › material addition process › aeration process

Definition

material addition process in which an oxygen-containing gas is added to a defined recipient to provide oxygen or support gas exchange

Examples

• sparging of air into a bioreactor to supply oxygen for mammalian cell culture; sparging of oxygen-enriched gas into a microbial fermenter to support high oxygen demand; oxygen gas addition to a bioreactor to maintain dissolved oxygen within a target range; air addition through a gas inlet into a cell culture vessel to support oxygen transfer; oxygen-containing gas addition to an enzymatic reaction vessel to support an oxygen-dependent reaction

Adapted From

• https://en.wikipedia.org/wiki/Aeration

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

AerationProcess(x) → MaterialAdditionProcess(x) ∧ ∃g ∃q ∃r ∃o (MaterialEntity(g) ∧ hasInput(x, g) ∧ GaseousAggregateState(q) ∧ hasQuality(g, q) ∧ TransferredMaterialRole(r) ∧ hasRole(g, r) ∧ DioxygenMolecule(o) ∧ isMadeOfAtAllTimes(g, o))

Semi-Formal Natural Language Axioms

if x is an ‘aeration process’ then x is a ‘material addition process’ that ‘has input’ some ‘material entity’ that ‘has quality’ some ‘gaseous aggregate state’, ‘has role’ some ‘transferred material role’, and ‘is made of at all times’ some ‘dioxygen molecule’

Description Logic

constr:AerationProcess ⊑ constr:MaterialAdditionProcess

constr:AerationProcess ⊑ ∃ constr:hasInput .(bfo:material_entity ⊓ ∃ constr:hasQuality .constr:GaseousAggregateState ⊓ ∃ constr:hasRole .constr:TransferredMaterialRole ⊓ ∃ constr:isMadeOfAtAllTimes .constr:DioxygenMolecule)

SubClassOf: constr:MaterialAdditionProcess

SubClassOf: constr:hasInput some (bfo:material_entity and constr:hasQuality some constr:GaseousAggregateState and constr:hasRole some constr:TransferredMaterialRole and constr:isMadeOfAtAllTimes some constr:DioxygenMolecule)