protein size variant classifier

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

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

SubClass Of: size variant classifier

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › denoter › classifier › size variant classifier › protein size variant classifier

Direct subclasses:

• protein high molecular weight variant classifier
• protein low molecular weight variant classifier

Definition

size variant classifier that classifies a molecular entity population composed of proteins, protein fragments, or protein aggregates according to molecular size or molecular weight relative to a reference protein form

Examples

• a classifier that classifies a monoclonal antibody aggregate population as a protein size variant by size-exclusion chromatography; a classifier that classifies a clipped antibody fragment population as a protein size variant by CE-SDS; a classifier that classifies a low-molecular-weight fragment population relative to the reference protein form; a classifier that classifies a high-molecular-weight oligomer population relative to the reference protein form;

Adapted From

• https://pmc.ncbi.nlm.nih.gov/articles/PMC3564875/ and https://pmc.ncbi.nlm.nih.gov/articles/PMC9980510/ and https://www.biopharminternational.com/view/protein-impurities-pose-challenges and https://link.springer.com/article/10.1186/s41120-024-00096-x and https://www.fda.gov/media/182387/download

Primitive Class

This class is declared primitive and it does not have necessary and sufficient condiftions defined.

Primitive Rationale

There are insufficient constructs to create a set of necessary and sufficient conditions.

Formal Axioms

First-Order Logic Axioms

ProteinSizeVariantClassifier(x) → SizeVariantClassifier(x) ∧ ∃s (DesignSpecification(s) ∧ isAbout(x, s) ∧ ∃r (Protein(r) ∧ prescribes(s, r))) ∧ ∃p (MolecularEntityPopulation(p) ∧ classifies(x, p) ∧ ∃m ((Protein(m) ∨ ProteinFragment(m) ∨ ProteinAggregate(m)) ∧ hasMemberPartAtSomeTime(p, m)) ∧ ∀m (hasMemberPartAtSomeTime(p, m) → (Protein(m) ∨ ProteinFragment(m) ∨ ProteinAggregate(m))))

Semi-Formal Natural Language Axioms

if x is a ‘protein size variant classifier’ then x is a ‘size variant classifier’ that ‘is about’ some ‘design specification’ that ‘prescribes’ some ‘protein’, and x ‘classifies’ some ‘molecular entity population’ whose members are proteins, protein fragments, or protein aggregates

Description Logic

constr:ProteinSizeVariantClassifier ⊑ constr:SizeVariantClassifier

constr:ProteinSizeVariantClassifier ⊑ ∃ constr:classifies .(constr:MolecularEntityPopulation ⊓ ∀ bfo:has_member_part_at_some_time .(constr:Protein ⊔ constr:ProteinAggregate ⊔ constr:ProteinFragment))

constr:ProteinSizeVariantClassifier ⊑ ∃ constr:isAbout .(constr:DesignSpecification ⊓ ∃ constr:prescribes .constr:Protein)

SubClassOf: constr:SizeVariantClassifier

SubClassOf: constr:classifies some (constr:MolecularEntityPopulation and bfo:has_member_part_at_some_time only (constr:Protein or constr:ProteinAggregate or constr:ProteinFragment))

SubClassOf: constr:isAbout some (constr:DesignSpecification and constr:prescribes some constr:Protein)