protein free culture medium

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

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

SubClass Of: serum free culture medium

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › mixed material › culture medium › serum free culture medium › protein free culture medium

Definition

serum free culture medium that does not include any proteins

Semi-Formal Definition:

every instance of ‘protein free culture medium’ is defined as exactly an instance of ‘serum free culture medium’ that does not ‘is made of at all times’ some ‘protein’

Examples

• CHO protein-free media used for recombinant protein production (e.g., PF-CHO, CD-PF)

Adapted From

• https://www.labome.com/method/Cell-Culture-Media-A-Review.html

Formal Axioms

First-Order Logic Definition

ProteinFreeCultureMedium(x) ↔ SerumFreeCultureMedium(x) ∧ ¬∃p (Protein(p) ∧ isMadeOfAtAllTimes(x, p))

Description Logic

constr:ProteinFreeCultureMedium ≡ constr:SerumFreeCultureMedium ⊓ ¬ ∃ constr:isMadeOfAtAllTimes .constr:Protein

constr:ProteinFreeCultureMedium ⊑ constr:SerumFreeCultureMedium

EquivalentTo: constr:SerumFreeCultureMedium and not constr:isMadeOfAtAllTimes some constr:Protein

SubClassOf: constr:SerumFreeCultureMedium