Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VitaminB12
VitaminB12(cobalamin)

appearance as argument number 1
-------------------------


(documentation VitaminB12 EnglishLanguage "Vitamin B12, also known as cobalamin, is a water-soluble vitamin involved in metabolism. It is one of eight B vitamins. It is a cofactor in DNA synthesis, in both fatty acid and amino acid metabolism. It is important in the normal functioning of the nervous system via its role in the synthesis of myelin, and in the maturation of red blood cells in the bone marrow.[from Wikipedia]") Medicine.kif 2599-2605
(subclass VitaminB12 VitaminBComplex) Medicine.kif 2598-2598 Cobalamin is a subclass of B complex vitamin

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage VitaminB12 "B12 vitamin") Medicine.kif 2607-2607
(termFormat EnglishLanguage VitaminB12 "cobalamin") Medicine.kif 2608-2608
(termFormat EnglishLanguage VitaminB12 "vitamin B12") Medicine.kif 2606-2606

antecedent
-------------------------


(=>
    (and
        (instance ?P PerniciousAnemia)
        (experiencer ?P ?H1)
        (amount VitaminB12 ?H1
            (MeasureFn ?N1 ?U))
        (amount VitaminB12 ?H2
            (MeasureFn ?N2 ?U))
        (attribute ?H2 Healthy)
        (not
            (equal ?H1 ?H2)))
    (greaterThan ?N2 ?N1))
Medicine.kif 2695-2704


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners