catalog number
IRI: https://spec.industrialontologies.org/ontology/construct/CatalogNumber
Defined In: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaMaterialProcurementAndStorage/
SubClass Of: classifier
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › denoter › classifier › catalog number
Definition
classifier that is sequence of alphanumeric characters created by an organization to classify a product they offer for sale
Examples
- G8270 is the catalog number of glucose created by SigmaAldrich; 23225 is the catalog number for the Pierce BCA Protein Assay Kit created by ThermoFisher;17543801 is the catalog number for MabSelect SuRe resins 25ml created by Cytiva; 17543802 is the catalog number for MabSelect SuRe resins 25ml created by Cytiva
Counter-Examples
- number of a particular lot or batch
Synonyms
- product type identifier
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
There are insufficient ontological constructs available to define the necessary and sufficient conditions for this class. Specifically, constructs for expressing unique identification at the type level, and constructs around creation of a number by an organization are missing.
Formal Axioms
First-Order Logic Axioms
CatalogNumber(x) → Classifier(x) ∧ ∃m(MaterialProduct(m) ∧ classifies(x,m))
Semi-Formal Natural Language Axioms
if x is a ‘catalog number’ then x is an ‘classifier’ and x ‘classifies’ a ‘material product’
Description Logic
constr:CatalogNumber ⊑ constr:Classifier
constr:CatalogNumber ⊑ ∃ constr:classifies .constr:MaterialProduct
SubClassOf: constr:Classifier
SubClassOf: constr:classifies some constr:MaterialProduct