basic charge variant population

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

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 › basic charge variant population

Definition

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

Semi-Formal Definition:

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

Examples

• C-terminal lysine-containing monoclonal antibody population; an amidated protein population; a basic peak population detected by cation-exchange chromatography; higher-pI protein population detected by capillary isoelectric focusing;

Formal Axioms

First-Order Logic Definition

BasicChargeVariantPopulation(x) ↔ ProteinChargeVariantPopulation(x) ∧ ∃c(ProteinBasicChargeVariantClassifier(c) ∧ classifiedBy(x, c))

Description Logic

constr:BasicChargeVariantPopulation ≡ constr:ProteinChargeVariantPopulation ⊓ ∃ constr:classifiedBy .constr:ProteinBasicChargeVariantClassifier

constr:BasicChargeVariantPopulation ⊑ constr:ProteinChargeVariantPopulation

EquivalentTo: constr:ProteinChargeVariantPopulation and constr:classifiedBy some constr:ProteinBasicChargeVariantClassifier

SubClassOf: constr:ProteinChargeVariantPopulation