dead cell population
IRI: https://spec.industrialontologies.org/ontology/construct/DeadCellPopulation
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 › dead cell population
Definition
cell population consisting of only dead cells
Semi-Formal Definition:
every instance of ‘dead cell population’ is defined as exactly an instance of ‘cell population’ that ‘has member part at some time’ some (‘cell’ that ‘has quality’ some ‘dead’) and ‘has member part at some time’ only (‘cell’ that ‘has quality’ some ‘dead’)
Examples
- the subpopulation of propidium iodide-positive CHO cells identified by flow cytometry within a cell culture; the population of trypan blue-positive cells counted in a bioreactor sample during a cell viability measurement process; the population of nonviable mammalian cells separated from a mixed cell population by fluorescence-activated cell sorting using a membrane-integrity viability stain;
Formal Axioms
First-Order Logic Definition
DeadCellPopulation(x) ↔ CellPopulation(x) ∧ ∃y(Cell(y) ∧ ∃q(Dead(q) ∧ hasQuality(y, q)) ∧ hasMemberPartAtSomeTime(x, y)) ∧ ∀z(hasMemberPartAtSomeTime(x, z) → (Cell(z) ∧ ∃r(Dead(r) ∧ hasQuality(z, r))))
Description Logic
constr:DeadCellPopulation ≡ constr:CellPopulation ⊓ ∃ bfo:has_member_part_at_some_time .(constr:Cell ⊓ ∃ constr:hasQuality .constr:Dead) ⊓ ∀ bfo:has_member_part_at_some_time .(constr:Cell ⊓ ∃ constr:hasQuality .constr:Dead)
EquivalentTo: constr:CellPopulation and bfo:has_member_part_at_some_time some (constr:Cell and constr:hasQuality some constr:Dead) and bfo:has_member_part_at_some_time only (constr:Cell and constr:hasQuality some constr:Dead)
SubClassOf: constr:CellPopulation