|
|
   VitaminB12
|
|
|
| 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 |
| 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 |
|
|
|