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 では %n
(subclass RheumatoidArthritis AutoImmuneDisorder) Medicine.kif 2224-2224 RheumatoidArthritis は AutoImmuneDisorder の subclass では %n
(subclass Psoriasis AutoImmuneDisorder) Medicine.kif 2241-2241 Psoriasis は AutoImmuneDisorder の subclass では %n
(subclass MultipleSclerosis AutoImmuneDisorder) Medicine.kif 2247-2247 MultipleSclerosis は AutoImmuneDisorder の subclass では %n
(subclass Lupus AutoImmuneDisorder) Medicine.kif 2258-2258 Lupus は AutoImmuneDisorder の subclass では %n
(subclass InflammatoryBowelDisease AutoImmuneDisorder) Medicine.kif 2276-2276 InflammatoryBowelDisease は AutoImmuneDisorder の subclass では %n
(subclass AddisonsDisease AutoImmuneDisorder) Medicine.kif 2311-2311 AddisonsDisease は AutoImmuneDisorder の subclass では %n
(subclass GravesDisease AutoImmuneDisorder) Medicine.kif 2323-2323 GravesDisease は AutoImmuneDisorder の subclass では %n
(subclass SjogrensSyndrome AutoImmuneDisorder) Medicine.kif 2353-2353 SjogrensSyndrome は AutoImmuneDisorder の subclass では %n
(subclass HashimotosThyroiditis AutoImmuneDisorder) Medicine.kif 2369-2369 HashimotosThyroiditis は AutoImmuneDisorder の subclass では %n
(subclass MyastheniaGravis AutoImmuneDisorder) Medicine.kif 2399-2399 MyastheniaGravis は AutoImmuneDisorder の subclass では %n
(subclass AutoimmuneVasculitis AutoImmuneDisorder) Medicine.kif 2413-2413 AutoimmuneVasculitis は AutoImmuneDisorder の subclass では %n
(subclass PerniciousAnemia AutoImmuneDisorder) Medicine.kif 2684-2684 PerniciousAnemia は AutoImmuneDisorder の subclass では %n
(subclass CeliacDisease AutoImmuneDisorder) Medicine.kif 2706-2706 CeliacDisease は AutoImmuneDisorder の subclass では %n
(subclass Sepsis AutoImmuneDisorder) Medicine.kif 5502-5502 Sepsis は AutoImmuneDisorder の subclass では %n


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