cultured cell population
IRI: https://spec.industrialontologies.org/ontology/construct/CulturedCellPopulation
Defined In: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaMaterial/
SubClass Of: cell population
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › bfo:object aggregate › cell population › cultured cell population
Direct subclasses:
Definition
cell population which only has cultured cells as its member parts
Semi-Formal Definition:
every instance of ‘cultured cell population’ is defined as exactly an instance of ‘cell population’ that ‘has member part at some time’ some ‘cultured cell’ and ‘has member part at some time’ only ‘cultured cell’
Examples
- population of CHO-K1 cell; population of HeLa cell;
Adapted From
- OBI:0100060
Formal Axioms
First-Order Logic Definition
CulturedCellPopulation(x) ↔ CellPopulation(x) ∧ ∃y(CulturedCell(y) ∧ hasMemberPartAtSomeTime(x, y)) ∧ ∀z(hasMemberPartAtSomeTime(x, z) → CulturedCell(z))
Description Logic
constr:CulturedCellPopulation ≡ constr:CellPopulation ⊓ ∃ bfo:has_member_part .constr:CulturedCell ⊓ ∀ bfo:has_member_part .constr:CulturedCell
constr:CulturedCellPopulation ⊑ constr:CellPopulation
constr:CulturedCellPopulation ⊓ constr:CellCulture ⊑ ⊥
EquivalentTo: constr:CellPopulation and bfo:has_member_part some constr:CulturedCell and bfo:has_member_part only constr:CulturedCell
SubClassOf: constr:CellPopulation
constr:CulturedCellPopulation DisjointWith: (constr:CellCulture, constr:Cell, constr:CultureMedium)