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 cells; population of HeLa cells
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_at_some_time .constr:CulturedCell ⊓ ∀ bfo:has_member_part_at_some_time .constr:CulturedCell
constr:CulturedCellPopulation ⊑ constr:CellPopulation
constr:CulturedCellPopulation ⊓ constr:Cell ⊑ ⊥
EquivalentTo: constr:CellPopulation and bfo:has_member_part_at_some_time some constr:CulturedCell and bfo:has_member_part_at_some_time only constr:CulturedCell
SubClassOf: constr:CellPopulation
constr:CulturedCellPopulation DisjointWith: (constr:Cell, constr:CellCulture, constr:CultureMedium)