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 2587-2593
(subclass VitaminB12 VitaminBComplex) Medicine.kif 2586-2586 Cobalamin is a subclass of B complex vitamin

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


(termFormat EnglishLanguage VitaminB12 "B12 vitamin") Medicine.kif 2595-2595
(termFormat EnglishLanguage VitaminB12 "cobalamin") Medicine.kif 2596-2596
(termFormat EnglishLanguage VitaminB12 "vitamin B12") Medicine.kif 2594-2594

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 2683-2692


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