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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RheumatoidArthritis
RheumatoidArthritis

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


(diseaseMedicine RheumatoidArthritis Clarithromycin Injecting) Medicine.kif 3609-3609
(diseaseMedicine RheumatoidArthritis Hydroxychloroquine Ingesting) Medicine.kif 5601-5601
(diseaseMedicine RheumatoidArthritis Sarilumab Injecting) Medicine.kif 5254-5254
(diseaseMedicine RheumatoidArthritis Sulfasalazine Ingesting) Medicine.kif 3899-3899
(documentation RheumatoidArthritis EnglishLanguage "An AutoImmuneDisorder in which the immune system attacks the joints. ") Medicine.kif 2211-2212
(subclass RheumatoidArthritis Arthritis) Medicine.kif 2210-2210
(subclass RheumatoidArthritis AutoImmuneDisorder) Medicine.kif 2209-2209

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


(diseaseMedicine Abatacept RheumatoidArthritis Ingesting) Medicine.kif 4936-4936
(diseaseMedicine Upadacitinib RheumatoidArthritis Ingesting) Medicine.kif 5532-5532
(termFormat EnglishLanguage RheumatoidArthritis "rheumatoid arthritis") Medicine.kif 2213-2213

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


(=>
    (and
        (instance ?A RheumatoidArthritis)
        (experiencer ?A ?H))
    (modalAttribute
        (exists (?JP)
            (and
                (instance ?JP JointPain)
                (causes ?A ?JP))) Likely))
Medicine.kif 2215-2224


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