cell population

IRI: https://spec.industrialontologies.org/ontology/construct/CellPopulation

Defined In: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaMaterial/

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:

• cultured cell population

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 .constr:Cell ⊓ ∀ bfo:has_member_part .constr:Cell

constr:CellPopulation ⊑ bfo:object_aggregate

EquivalentTo: bfo:object_aggregate and bfo:has_member_part some constr:Cell and bfo:has_member_part only constr:Cell

SubClassOf: bfo:object_aggregate