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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AutoImmuneDisorder

Sigma KEE - AutoImmuneDisorder
AutoImmuneDisorder(auto-immune disease)

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 Auto-immune disease is a subclass of pathologic process

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


(subclass AddisonsDisease AutoImmuneDisorder) Medicine.kif 2311-2311 Addison's disease is a subclass of auto-immune disease
(subclass AutoimmuneVasculitis AutoImmuneDisorder) Medicine.kif 2413-2413 Autoimmune vasculitis is a subclass of auto-immune disease
(subclass CeliacDisease AutoImmuneDisorder) Medicine.kif 2706-2706 Coeliac disease is a subclass of auto-immune disease
(subclass GravesDisease AutoImmuneDisorder) Medicine.kif 2323-2323 Graves' disease is a subclass of auto-immune disease
(subclass HashimotosThyroiditis AutoImmuneDisorder) Medicine.kif 2369-2369 Hashimoto's thyroiditis is a subclass of auto-immune disease
(subclass InflammatoryBowelDisease AutoImmuneDisorder) Medicine.kif 2276-2276 Inflammatory bowel disease is a subclass of auto-immune disease
(subclass Lupus AutoImmuneDisorder) Medicine.kif 2258-2258 Lupus is a subclass of auto-immune disease
(subclass MultipleSclerosis AutoImmuneDisorder) Medicine.kif 2247-2247 MS is a subclass of auto-immune disease
(subclass MyastheniaGravis AutoImmuneDisorder) Medicine.kif 2399-2399 Myasthenia gravis is a subclass of auto-immune disease
(subclass PerniciousAnemia AutoImmuneDisorder) Medicine.kif 2684-2684 Pernicious anemia is a subclass of auto-immune disease
(subclass Psoriasis AutoImmuneDisorder) Medicine.kif 2241-2241 Psoriasis is a subclass of auto-immune disease
(subclass RheumatoidArthritis AutoImmuneDisorder) Medicine.kif 2224-2224 Rheumatoid arthritis is a subclass of auto-immune disease
(subclass Sepsis AutoImmuneDisorder) Medicine.kif 5502-5502 Septic shock is a subclass of auto-immune disease
(subclass SjogrensSyndrome AutoImmuneDisorder) Medicine.kif 2353-2353 Sjogrens syndrome is a subclass of auto-immune disease
(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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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