protein charge variant population
IRI: https://spec.industrialontologies.org/ontology/construct/ProteinChargeVariantPopulation
Defined In: https://spec.industrialontologies.org/ontology/biopharma/MolecularEntity/
SubClass Of: molecular entity 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
Direct subclasses:
Definition
molecular entity population classified by a protein charge variant classifier
Semi-Formal Definition:
every instance of ‘protein charge variant population’ is defined as exactly an instance of ‘molecular entity population’ that is ‘classified by’ some ‘protein charge variant classifier’
Examples
- acidic peak population of a monoclonal antibody; a basic peak population of a recombinant protein;
Formal Axioms
First-Order Logic Definition
ProteinChargeVariantPopulation(x) ↔ MolecularEntityPopulation(x) ∧ ∃c(ProteinChargeVariantClassifier(c) ∧ classifiedBy(x, c))
First-Order Logic Axioms
ProteinChargeVariantPopulation(x) → ∀m(hasMemberPartAtSomeTime(x,m) → (Protein(m) ∨ ProteinFragment(m)))
Semi-Formal Natural Language Axioms
if x is a ‘protein charge variant population’ and x ‘has member part at some time’ m, then m is a ‘protein’ or ‘protein fragment’
Description Logic
constr:ProteinChargeVariantPopulation ≡ constr:MolecularEntityPopulation ⊓ ∃ constr:classifiedBy .constr:ProteinChargeVariantClassifier
constr:ProteinChargeVariantPopulation ⊑ constr:MolecularEntityPopulation
constr:ProteinChargeVariantPopulation ⊑ ∀ bfo:has_member_part_at_some_time .(constr:Protein ⊔ constr:ProteinFragment)
EquivalentTo: constr:MolecularEntityPopulation and constr:classifiedBy some constr:ProteinChargeVariantClassifier
SubClassOf: constr:MolecularEntityPopulation
SubClassOf: bfo:has_member_part_at_some_time only (constr:Protein or constr:ProteinFragment)