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
• dead cell population
• viable 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; CD4+ T cell population that have been obtained from a mixed cell suspension using fluorescence-activated cell sorting (FACS); 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