cell population
IRI: https://spec.industrialontologies.org/ontology/construct/CellPopulation
Defined In: https://spec.industrialontologies.org/ontology/biopharma/Material/
SubClass Of: bfo:object aggregate
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › bfo:object aggregate › cell population
Direct subclasses:
Definition
object aggregate which only has cells as its member parts
Semi-Formal Definition:
every instance of ‘cell population’ is defined as exactly an instance of ‘object aggregate’ that ‘has member part at some time’ some ‘cell’ and ‘has member part at some time’ only ‘cell’
Examples
- CHO Cell Line; FACS-isolated CD4+ T cell population; Red blood cell pellet; freshly isolated hepatocytes from mouse liver
Formal Axioms
First-Order Logic Definition
CellPopulation(x) ↔ ObjectAggregate(x) ∧ ∃y(Cell(y) ∧ hasMemberPartAtSomeTime(x, y)) ∧ ∀z(hasMemberPartAtSomeTime(x, z) → Cell(z))
Description Logic
constr:CellPopulation ≡ bfo:object_aggregate ⊓ ∃ bfo:has_member_part_at_some_time .constr:Cell ⊓ ∀ bfo:has_member_part_at_some_time .constr:Cell
constr:CellPopulation ⊑ bfo:object_aggregate
EquivalentTo: bfo:object_aggregate and bfo:has_member_part_at_some_time some constr:Cell and bfo:has_member_part_at_some_time only constr:Cell
SubClassOf: bfo:object_aggregate