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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Lupus

Sigma KEE - Lupus
Lupus

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


(diseaseMedicine Lupus Benelysta Ingesting) Medicine.kif 4624-4624 Lupus 是 對於 Ingestingdisease 治癒 Benelysta
(diseaseMedicine Lupus Hydroxychloroquine Ingesting) Medicine.kif 5617-5617 Lupus 是 對於 Ingestingdisease 治癒 Hydroxychloroquine
(diseaseMedicine Lupus MycophenolicAcid Ingesting) Medicine.kif 4737-4737 Lupus 是 對於 Ingestingdisease 治癒 MycophenolicAcid
(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 and AutoImmuneDisorder

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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