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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Lupus
Lupus(lupus)

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


(diseaseMedicine Lupus Benelysta Ingesting) Medicine.kif 4624-4624 Lupus is disease treatment Benelysta for ingesting
(diseaseMedicine Lupus Hydroxychloroquine Ingesting) Medicine.kif 5617-5617 Lupus is disease treatment hydroxychloroquine for ingesting
(diseaseMedicine Lupus MycophenolicAcid Ingesting) Medicine.kif 4737-4737 Lupus is disease treatment mycophenolic acid for ingesting
(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 Lupus is a subclass of auto-immune disease

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