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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Lupus
Lupus

appearance as argument number 1
-------------------------


(diseaseMedicine Lupus Benelysta Ingesting) Medicine.kif 4624-4624 diseaseMedicine Lupus, Benelysta and 摂取
(diseaseMedicine Lupus Hydroxychloroquine Ingesting) Medicine.kif 5617-5617 diseaseMedicine Lupus, Hydroxychloroquine and 摂取
(diseaseMedicine Lupus MycophenolicAcid Ingesting) Medicine.kif 4737-4737 diseaseMedicine Lupus, MycophenolicAcid and 摂取
(documentation Lupus EnglishLanguage "An AutoImmuneDisorder that often causes a SkinRash but can also cause problems in the BodyJoints, Heart, Brain and Kidneys.") Medicine.kif 2259-2261
(subclass Lupus AutoImmuneDisorder) Medicine.kif 2258-2258 LupusAutoImmuneDisordersubclass では %n

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


(termFormat EnglishLanguage Lupus "lupus") Medicine.kif 2263-2263
(termFormat EnglishLanguage Lupus "systemic lupus erythematosus") Medicine.kif 2262-2262

antecedent
-------------------------


(=>
    (and
        (instance ?L Lupus)
        (experiencer ?L ?H))
    (modalAttribute
        (exists (?SR)
            (and
                (instance ?SR SkinRash)
                (experiencer ?SR ?H))) Likely))
Medicine.kif 2265-2274


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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