TreeView Knowledge Base Browser

appearance as argument number 1

(subclass VitaminB12 VitaminBComplex)	Medicine.kif 2605-2605	Cobalamin is a subclass of B complex vitamin
(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 2606-2612	Cobalamin is a subclass of B complex vitamin

appearance as argument number 2

(termFormat EnglishLanguage VitaminB12 "vitamin B12")	Medicine.kif 2613-2613
(termFormat EnglishLanguage VitaminB12 "B12 vitamin")	Medicine.kif 2614-2614
(termFormat EnglishLanguage VitaminB12 "cobalamin")	Medicine.kif 2615-2615

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

If All of the following hold: (1) X is an instance of pernicious anemia (2) Y experiences X (3) amount cobalamin, Y and Z W(s) (4) amount cobalamin, V and U W(s) (5) healthy is an attribute of V (6) equal Y and V, then U is greater than Z