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 AutoImmuneDisorder 是 病理过程 的 subclass
(subclass RheumatoidArthritis AutoImmuneDisorder) Medicine.kif 2224-2224 RheumatoidArthritis 是 AutoImmuneDisorder 的 subclass
(subclass Psoriasis AutoImmuneDisorder) Medicine.kif 2241-2241 Psoriasis 是 AutoImmuneDisorder 的 subclass
(subclass MultipleSclerosis AutoImmuneDisorder) Medicine.kif 2247-2247 MultipleSclerosis 是 AutoImmuneDisorder 的 subclass
(subclass Lupus AutoImmuneDisorder) Medicine.kif 2258-2258 Lupus 是 AutoImmuneDisorder 的 subclass
(subclass InflammatoryBowelDisease AutoImmuneDisorder) Medicine.kif 2276-2276 InflammatoryBowelDisease 是 AutoImmuneDisorder 的 subclass
(subclass AddisonsDisease AutoImmuneDisorder) Medicine.kif 2311-2311 AddisonsDisease 是 AutoImmuneDisorder 的 subclass
(subclass GravesDisease AutoImmuneDisorder) Medicine.kif 2323-2323 GravesDisease 是 AutoImmuneDisorder 的 subclass
(subclass SjogrensSyndrome AutoImmuneDisorder) Medicine.kif 2353-2353 SjogrensSyndrome 是 AutoImmuneDisorder 的 subclass
(subclass HashimotosThyroiditis AutoImmuneDisorder) Medicine.kif 2369-2369 HashimotosThyroiditis 是 AutoImmuneDisorder 的 subclass
(subclass MyastheniaGravis AutoImmuneDisorder) Medicine.kif 2399-2399 MyastheniaGravis 是 AutoImmuneDisorder 的 subclass
(subclass AutoimmuneVasculitis AutoImmuneDisorder) Medicine.kif 2413-2413 AutoimmuneVasculitis 是 AutoImmuneDisorder 的 subclass
(subclass PerniciousAnemia AutoImmuneDisorder) Medicine.kif 2684-2684 PerniciousAnemia 是 AutoImmuneDisorder 的 subclass
(subclass CeliacDisease AutoImmuneDisorder) Medicine.kif 2706-2706 CeliacDisease 是 AutoImmuneDisorder 的 subclass
(subclass Sepsis AutoImmuneDisorder) Medicine.kif 5502-5502 Sepsis 是 AutoImmuneDisorder 的 subclass


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