complete culture medium
IRI: https://spec.industrialontologies.org/ontology/construct/CompleteCultureMedium
Defined In: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaMaterial/
SubClass Of: culture medium
Class Hierarchy
owl:Thing βΊ bfo:entity βΊ bfo:continuant βΊ bfo:independent continuant βΊ bfo:material entity βΊ mixed material βΊ culture medium βΊ complete culture medium
Definition
culture medium which has the complete culture medium role
Semi-Formal Definition:
every instance of βcomplete culture mediumβ is defined as exactly an instance of βculture mediumβ when it βhas roleβ some βcomplete culture medium roleβ
Explanatory Notes
See the expanded definition under the corresponding role class. The term is formalized here as a defined class by referring to its corresponding role class and exists primarily for ontological modeling and implementation convenience.
Examples
- DMEM (Dulbeccoβs Modified Eagleβs Medium) + 10 % FBS (Fetal Bovine Serum)
Adapted From
- https://www.labome.com/method/Cell-Culture-Media-A-Review.html
Formal Axioms
First-Order Logic Definition
CompleteCultureMedium(x) β CultureMedium(x) β§ βf (CompleteCultureMediumRole(f) β§ hasRole(x, f))
Description Logic
constr:CompleteCultureMedium β‘ constr:CultureMedium β β constr:hasRole .constr:CompleteCultureMediumRole
EquivalentTo: constr:CultureMedium and constr:hasRole some constr:CompleteCultureMediumRole
SubClassOf: constr:CultureMedium