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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AutoImmuneDisorder
AutoImmuneDisorder

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


(documentation AutoImmuneDisorder EnglishLanguage "A condition in which the immune system attacks healthy parts of the body in error.") Medicine.kif 2180-2181
(subclass AutoImmuneDisorder PathologicProcess) Medicine.kif 2179-2179

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


(subclass AddisonsDisease AutoImmuneDisorder) Medicine.kif 2296-2296
(subclass AutoimmuneVasculitis AutoImmuneDisorder) Medicine.kif 2398-2398
(subclass CeliacDisease AutoImmuneDisorder) Medicine.kif 2691-2691
(subclass GravesDisease AutoImmuneDisorder) Medicine.kif 2308-2308
(subclass HashimotosThyroiditis AutoImmuneDisorder) Medicine.kif 2354-2354
(subclass InflammatoryBowelDisease AutoImmuneDisorder) Medicine.kif 2261-2261
(subclass Lupus AutoImmuneDisorder) Medicine.kif 2243-2243
(subclass MultipleSclerosis AutoImmuneDisorder) Medicine.kif 2232-2232
(subclass MyastheniaGravis AutoImmuneDisorder) Medicine.kif 2384-2384
(subclass PerniciousAnemia AutoImmuneDisorder) Medicine.kif 2669-2669
(subclass Psoriasis AutoImmuneDisorder) Medicine.kif 2226-2226
(subclass RheumatoidArthritis AutoImmuneDisorder) Medicine.kif 2209-2209
(subclass Sepsis AutoImmuneDisorder) Medicine.kif 5487-5487
(subclass SjogrensSyndrome AutoImmuneDisorder) Medicine.kif 2338-2338
(termFormat EnglishLanguage AutoImmuneDisorder "auto-immune disease") Medicine.kif 2183-2183
(termFormat EnglishLanguage AutoImmuneDisorder "auto-immune disorder") Medicine.kif 2182-2182

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


(=>
    (and
        (instance ?AI AutoImmuneDisorder)
        (experiencer ?AI ?H))
    (exists (?A ?D ?C)
        (and
            (instance ?A Antibody)
            (part ?A ?H)
            (instance ?C Cell)
            (part ?C ?H)
            (instance ?D Destruction)
            (instrument ?D ?A)
            (not
                (desires ?H
                    (and
                        (instance ?D Destruction)
                        (instrument ?D ?A)))))))		 Medicine.kif 2185-2201

consequent
-------------------------


(=>
    (attribute ?H DiabetesType1)
    (exists (?A)
        (and
            (instance ?A AutoImmuneDisorder)
            (experiencer ?A ?H))))		 Medicine.kif 2134-2139
(=>
    (subclass ?I Immunosuppressive)
    (hasPurpose ?I
        (and
            (instance ?AID AutoImmuneDisorder)
            (diseaseMedicine ?AID ?I ?P))))		 Medicine.kif 4599-4604


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