viable cell count

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

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

SubClass Of: cell count

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:quality › count › cell count › viable cell count

Definition

cell count that is the number of viable cells that are present as parts of a material entity

Examples

• the viable cell count of a thawed cell suspension after viability staining; the viable cell count of a seed culture before passaging;

Adapted From

• http://purl.allotrope.org/ontologies/quality#AFQ_0000185

Primitive Class

This class is declared primitive and it does not have necessary and sufficient condiftions defined.

Primitive Rationale

There are insufficient constructs for creating a set of necessary and sufficient conditions

Formal Axioms

First-Order Logic Axioms

ViableCellCount(x) → CellCount(x) ∧ ∀p(hasMagnitudeBasisInBearerPart(x,p) → (Cell(p) ∧ ∃v(Viable(v) ∧ hasQuality(p,v))))

Semi-Formal Natural Language Axioms

if x is a ‘viable cell count’ then x is a ‘cell count’, and if x ‘has magnitude basis in bearer part’ some p, then p is a ‘cell’ that ‘has quality’ some ‘viable’

Description Logic

constr:ViableCellCount ⊑ constr:CellCount

constr:ViableCellCount ⊑ ∀ constr:hasMagnitudeBasisInBearerPart .(constr:Cell ⊓ ∃ constr:hasQuality .constr:Viable)

SubClassOf: constr:CellCount

SubClassOf: constr:hasMagnitudeBasisInBearerPart only (constr:Cell and constr:hasQuality some constr:Viable)