protein size variant population

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

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 size variant population

Direct subclasses:

Definition

molecular entity population classified by a protein size variant classifier

Semi-Formal Definition:

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

Examples

monoclonal antibody aggregate population; clipped antibody fragment population

Formal Axioms

First-Order Logic Definition

ProteinSizeVariantPopulation(x) ↔ MolecularEntityPopulation(x) ∧ ∃c(ProteinSizeVariantClassifier(c) ∧ classifiedBy(x, c))

First-Order Logic Axioms

ProteinSizeVariantPopulation(x) → ∀m(hasMemberPartAtSomeTime(x,m) → (Protein(m) ∨ ProteinFragment(m) ∨ ProteinAggregate(m)))

Semi-Formal Natural Language Axioms

if x is a ‘protein size variant population’ and x ‘has member part at some time’ m, then m is a ‘protein’, ‘protein fragment’, or ‘protein aggregate’

Description Logic

constr:ProteinSizeVariantPopulation ≡ constr:MolecularEntityPopulation ⊓ ∃ constr:classifiedBy .constr:ProteinSizeVariantClassifier

constr:ProteinSizeVariantPopulation ⊑ constr:MolecularEntityPopulation

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

EquivalentTo: constr:MolecularEntityPopulation and constr:classifiedBy some constr:ProteinSizeVariantClassifier

SubClassOf: constr:MolecularEntityPopulation

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