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 2195-2196
(subclass AutoImmuneDisorder PathologicProcess) Medicine.kif 2194-2194 子類 AutoImmuneDisorder and PathologicProcess

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


(subclass AddisonsDisease AutoImmuneDisorder) Medicine.kif 2311-2311 子類 AddisonsDisease and AutoImmuneDisorder
(subclass AutoimmuneVasculitis AutoImmuneDisorder) Medicine.kif 2413-2413 子類 AutoimmuneVasculitis and AutoImmuneDisorder
(subclass CeliacDisease AutoImmuneDisorder) Medicine.kif 2706-2706 子類 CeliacDisease and AutoImmuneDisorder
(subclass GravesDisease AutoImmuneDisorder) Medicine.kif 2323-2323 子類 GravesDisease and AutoImmuneDisorder
(subclass HashimotosThyroiditis AutoImmuneDisorder) Medicine.kif 2369-2369 子類 HashimotosThyroiditis and AutoImmuneDisorder
(subclass InflammatoryBowelDisease AutoImmuneDisorder) Medicine.kif 2276-2276 子類 InflammatoryBowelDisease and AutoImmuneDisorder
(subclass Lupus AutoImmuneDisorder) Medicine.kif 2258-2258 子類 Lupus and AutoImmuneDisorder
(subclass MultipleSclerosis AutoImmuneDisorder) Medicine.kif 2247-2247 子類 MultipleSclerosis and AutoImmuneDisorder
(subclass MyastheniaGravis AutoImmuneDisorder) Medicine.kif 2399-2399 子類 MyastheniaGravis and AutoImmuneDisorder
(subclass PerniciousAnemia AutoImmuneDisorder) Medicine.kif 2684-2684 子類 PerniciousAnemia and AutoImmuneDisorder
(subclass Psoriasis AutoImmuneDisorder) Medicine.kif 2241-2241 子類 Psoriasis and AutoImmuneDisorder
(subclass RheumatoidArthritis AutoImmuneDisorder) Medicine.kif 2224-2224 子類 RheumatoidArthritis and AutoImmuneDisorder
(subclass Sepsis AutoImmuneDisorder) Medicine.kif 5502-5502 子類 Sepsis and AutoImmuneDisorder
(subclass SjogrensSyndrome AutoImmuneDisorder) Medicine.kif 2353-2353 子類 SjogrensSyndrome and AutoImmuneDisorder
(termFormat EnglishLanguage AutoImmuneDisorder "auto-immune disease") Medicine.kif 2198-2198
(termFormat EnglishLanguage AutoImmuneDisorder "auto-immune disorder") Medicine.kif 2197-2197

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 2200-2216

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


(=>
    (attribute ?H DiabetesType1)
    (exists (?A)
        (and
            (instance ?A AutoImmuneDisorder)
            (experiencer ?A ?H))))		 Medicine.kif 2149-2154
(=>
    (subclass ?I Immunosuppressive)
    (hasPurpose ?I
        (and
            (instance ?AID AutoImmuneDisorder)
            (diseaseMedicine ?AID ?I ?P))))		 Medicine.kif 4614-4619


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