vitamin
IRI: https://spec.industrialontologies.org/ontology/construct/Vitamin
Defined In: https://spec.industrialontologies.org/ontology/biopharma/MolecularEntity/
SubClass Of: organic molecular entity
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › molecular entity › organic molecular entity › vitamin
Definition
organic molecular entity with a vitamin role
Semi-Formal Definition:
every instance of ‘vitamin’ is defined as exactly an instance of ‘organic molecular entity’ that ‘has role’ some ‘vitamin role’
Explanatory Notes
See the expanded definition under the corresponding role class.
Examples
- Thiamine (vitamin B₁) supporting carbohydrate metabolism; Riboflavin (vitamin B₂) serving as precursor of flavin cofactors (FAD, FMN); Biotin acting in carboxylation reactions.
Adapted From
- http://purl.obolibrary.org/obo/CHEBI_33229
Formal Axioms
First-Order Logic Definition
Vitamin(x) ↔ OrganicMolecularEntity(x) ∧ ∃r (hasRole(x, r) ∧ VitaminRole(r))
Description Logic
EquivalentTo: constr:OrganicMolecularEntity and constr:hasRole some constr:VitaminRole
SubClassOf: constr:OrganicMolecularEntity