protein low molecular weight population

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

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

SubClass Of: protein size variant population

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › bfo:object aggregate › molecular entity population › protein size variant population › protein low molecular weight population

Definition

protein size variant population classified by a protein low molecular weight variant classifier

Semi-Formal Definition:

every instance of ‘protein low molecular weight population’ is defined as exactly an instance of ‘protein size variant population’ that is ‘classified by’ some ‘protein low molecular weight variant classifier’

Examples

• low-molecular-weight species peak; clipped antibody fragment populations detected by Capillary Electrophoresis-Sodium Dodecyl Sulfate (CE-SDS); protein fragments formed during stability testing

Formal Axioms

First-Order Logic Definition

ProteinLowMolecularWeightPopulation(x) ↔ ProteinSizeVariantPopulation(x) ∧ ∃c(ProteinLowMolecularWeightVariantClassifier(c) ∧ classifiedBy(x, c))

First-Order Logic Axioms

ProteinLowMolecularWeightPopulation(x) → ∀m(hasMemberPartAtSomeTime(x,m) → (Protein(m) ∨ ProteinFragment(m)))

Semi-Formal Natural Language Axioms

if x is a ‘protein low molecular weight population’ and x ‘has member part at some time’ m, then m is a ‘protein’ or ‘protein fragment’

Description Logic

constr:ProteinLowMolecularWeightPopulation ≡ constr:ProteinSizeVariantPopulation ⊓ ∃ constr:classifiedBy .constr:ProteinLowMolecularWeightVariantClassifier

constr:ProteinLowMolecularWeightPopulation ⊑ constr:ProteinSizeVariantPopulation

constr:ProteinLowMolecularWeightPopulation ⊑ ∀ bfo:has_member_part_at_some_time .(constr:Protein ⊔ constr:ProteinFragment)

EquivalentTo: constr:ProteinSizeVariantPopulation and constr:classifiedBy some constr:ProteinLowMolecularWeightVariantClassifier

SubClassOf: constr:ProteinSizeVariantPopulation

SubClassOf: bfo:has_member_part_at_some_time only (constr:Protein or constr:ProteinFragment)