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 Hydroxychloroquine Ingesting) Medicine.kif 5617-5617
(diseaseMedicine Lupus MycophenolicAcid Ingesting) Medicine.kif 4737-4737
(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

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