Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (subclass ?I Immunosuppressive)
    (hasPurpose ?I
        (and
            (instance ?AID AutoImmuneDisorder)
            (diseaseMedicine ?AID ?I ?P))))		 Medicine.kif 4614-4619
(subclass AutoImmuneDisorder PathologicProcess) Medicine.kif 2194-2194
(subclass RheumatoidArthritis AutoImmuneDisorder) Medicine.kif 2224-2224
(subclass Psoriasis AutoImmuneDisorder) Medicine.kif 2241-2241
(subclass MultipleSclerosis AutoImmuneDisorder) Medicine.kif 2247-2247
(subclass Lupus AutoImmuneDisorder) Medicine.kif 2258-2258
(subclass InflammatoryBowelDisease AutoImmuneDisorder) Medicine.kif 2276-2276
(subclass AddisonsDisease AutoImmuneDisorder) Medicine.kif 2311-2311
(subclass GravesDisease AutoImmuneDisorder) Medicine.kif 2323-2323
(subclass SjogrensSyndrome AutoImmuneDisorder) Medicine.kif 2353-2353
(subclass HashimotosThyroiditis AutoImmuneDisorder) Medicine.kif 2369-2369
(subclass MyastheniaGravis AutoImmuneDisorder) Medicine.kif 2399-2399
(subclass AutoimmuneVasculitis AutoImmuneDisorder) Medicine.kif 2413-2413
(subclass PerniciousAnemia AutoImmuneDisorder) Medicine.kif 2684-2684
(subclass CeliacDisease AutoImmuneDisorder) Medicine.kif 2706-2706
(subclass Sepsis AutoImmuneDisorder) Medicine.kif 5502-5502


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