TreeView Knowledge Base Browser

appearance as argument number 1

(subclass PerniciousAnemia AutoImmuneDisorder)	Medicine.kif 2693-2693	Pernicious anemia is a subclass of auto-immune disease
(documentation PerniciousAnemia EnglishLanguage "Pernicious anemia (PA) is a disease in which not enough red blood cells are produced due to a deficiency of vitamin B12. The most common initial symptom is feeling tired. Other symptoms may include shortness of breath, pale skin, chest pain, numbness in the hands and feet, poor balance, a smooth red tongue, poor reflexes, depression and confusion. Without treatment some of these problems may become permanent. [from Wikipedia].")	Medicine.kif 2694-2701	Pernicious anemia is a subclass of auto-immune disease

appearance as argument number 2

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