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 est une sous-classe de processus pathologique
(subclass RheumatoidArthritis AutoImmuneDisorder) Medicine.kif 2224-2224 RheumatoidArthritis est une sous-classe de AutoImmuneDisorder
(subclass Psoriasis AutoImmuneDisorder) Medicine.kif 2241-2241 Psoriasis est une sous-classe de AutoImmuneDisorder
(subclass MultipleSclerosis AutoImmuneDisorder) Medicine.kif 2247-2247 MultipleSclerosis est une sous-classe de AutoImmuneDisorder
(subclass Lupus AutoImmuneDisorder) Medicine.kif 2258-2258 Lupus est une sous-classe de AutoImmuneDisorder
(subclass InflammatoryBowelDisease AutoImmuneDisorder) Medicine.kif 2276-2276 InflammatoryBowelDisease est une sous-classe de AutoImmuneDisorder
(subclass AddisonsDisease AutoImmuneDisorder) Medicine.kif 2311-2311 AddisonsDisease est une sous-classe de AutoImmuneDisorder
(subclass GravesDisease AutoImmuneDisorder) Medicine.kif 2323-2323 GravesDisease est une sous-classe de AutoImmuneDisorder
(subclass SjogrensSyndrome AutoImmuneDisorder) Medicine.kif 2353-2353 SjogrensSyndrome est une sous-classe de AutoImmuneDisorder
(subclass HashimotosThyroiditis AutoImmuneDisorder) Medicine.kif 2369-2369 HashimotosThyroiditis est une sous-classe de AutoImmuneDisorder
(subclass MyastheniaGravis AutoImmuneDisorder) Medicine.kif 2399-2399 MyastheniaGravis est une sous-classe de AutoImmuneDisorder
(subclass AutoimmuneVasculitis AutoImmuneDisorder) Medicine.kif 2413-2413 AutoimmuneVasculitis est une sous-classe de AutoImmuneDisorder
(subclass PerniciousAnemia AutoImmuneDisorder) Medicine.kif 2684-2684 PerniciousAnemia est une sous-classe de AutoImmuneDisorder
(subclass CeliacDisease AutoImmuneDisorder) Medicine.kif 2706-2706 CeliacDisease est une sous-classe de AutoImmuneDisorder
(subclass Sepsis AutoImmuneDisorder) Medicine.kif 5502-5502 Sepsis est une sous-classe de AutoImmuneDisorder


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