protein high molecular weight population

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

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 high molecular weight population

Definition

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

Semi-Formal Definition:

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

Examples

• high-molecular-weight species peak; antibody dimer and oligomer populations detected during aggregate analysis; soluble protein aggregate material observed as high-molecular-weight species relative to the monomer peak;

Formal Axioms

First-Order Logic Definition

ProteinHighMolecularWeightPopulation(x) ↔ ProteinSizeVariantPopulation(x) ∧ ∃c(ProteinHighMolecularWeightVariantClassifier(c) ∧ classifiedBy(x, c))

First-Order Logic Axioms

ProteinHighMolecularWeightPopulation(x) → ∀m(hasMemberPartAtSomeTime(x,m) → (Protein(m) ∨ ProteinAggregate(m)))

Semi-Formal Natural Language Axioms

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

Description Logic

constr:ProteinHighMolecularWeightPopulation ≡ constr:ProteinSizeVariantPopulation ⊓ ∃ constr:classifiedBy .constr:ProteinHighMolecularWeightVariantClassifier

constr:ProteinHighMolecularWeightPopulation ⊑ constr:ProteinSizeVariantPopulation

constr:ProteinHighMolecularWeightPopulation ⊑ ∀ bfo:has_member_part_at_some_time .(constr:Protein ⊔ constr:ProteinAggregate)

EquivalentTo: constr:ProteinSizeVariantPopulation and constr:classifiedBy some constr:ProteinHighMolecularWeightVariantClassifier

SubClassOf: constr:ProteinSizeVariantPopulation

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