main charge variant population

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

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

SubClass Of: protein charge variant population

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › bfo:object aggregate › molecular entity population › protein charge variant population › main charge variant population

Definition

protein charge variant population classified by a protein main charge variant classifier

Semi-Formal Definition:

every instance of ‘main charge variant population’ is defined as exactly an instance of ‘protein charge variant population’ that is ‘classified by’ some ‘protein main charge variant classifier’

Examples

• main monoclonal antibody peak population in cation-exchange chromatography; protein population with pI comparable to the reference protein form in capillary isoelectric focusing

Formal Axioms

First-Order Logic Definition

MainChargeVariantPopulation(x) ↔ ProteinChargeVariantPopulation(x) ∧ ∃c(ProteinMainChargeVariantClassifier(c) ∧ classifiedBy(x, c))

Description Logic

constr:MainChargeVariantPopulation ≡ constr:ProteinChargeVariantPopulation ⊓ ∃ constr:classifiedBy .constr:ProteinMainChargeVariantClassifier

constr:MainChargeVariantPopulation ⊑ constr:ProteinChargeVariantPopulation

EquivalentTo: constr:ProteinChargeVariantPopulation and constr:classifiedBy some constr:ProteinMainChargeVariantClassifier

SubClassOf: constr:ProteinChargeVariantPopulation