viable cell population
IRI: https://spec.industrialontologies.org/ontology/construct/ViableCellPopulation
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 › viable cell population
Definition
cell population consisting of only viable cells
Semi-Formal Definition:
every instance of ‘viable cell population’ is defined as exactly an instance of ‘cell population’ that ‘has member part at some time’ some ‘cell’ that ‘has quality’ some ‘viable’ and ‘has member part at some time’ only ‘cell’ that ‘has quality’ some ‘viable’
Examples
- the subpopulation of CHO cells within a mixed cell culture that is capable of continued growth and proliferation under suitable culture conditions, as determined by a validated cell viability assay; the population of colony-forming cells identified in a clonogenic assay following exposure of a broader cell population to a process stress; the population of cells recovered from a cryopreserved cell bank vial that retains the capacity to resume proliferation after thawing and transfer to suitable culture medium;
Formal Axioms
First-Order Logic Definition
ViableCellPopulation(x) ↔ CellPopulation(x) ∧ ∃y(Cell(y) ∧ ∃q(Viable(q) ∧ hasQuality(y, q)) ∧ hasMemberPartAtSomeTime(x, y)) ∧ ∀z(hasMemberPartAtSomeTime(x, z) → (Cell(z) ∧ ∃r(Viable(r) ∧ hasQuality(z, r))))
Description Logic
constr:ViableCellPopulation ≡ constr:CellPopulation ⊓ ∃ bfo:has_member_part_at_some_time .(constr:Cell ⊓ ∃ constr:hasQuality .constr:Viable) ⊓ ∀ bfo:has_member_part_at_some_time .(constr:Cell ⊓ ∃ constr:hasQuality .constr:Viable)
EquivalentTo: constr:CellPopulation and bfo:has_member_part_at_some_time some (constr:Cell and constr:hasQuality some constr:Viable) and bfo:has_member_part_at_some_time only (constr:Cell and constr:hasQuality some constr:Viable)
SubClassOf: constr:CellPopulation