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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RheumatoidArthritis

Sigma KEE - RheumatoidArthritis
RheumatoidArthritis(rheumatoid arthritis)

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


(diseaseMedicine RheumatoidArthritis Clarithromycin Injecting) Medicine.kif 3612-3612 Rheumatoid arthritis is disease treatment clarithromycin for injecting
(diseaseMedicine RheumatoidArthritis Hydroxychloroquine Ingesting) Medicine.kif 5604-5604 Rheumatoid arthritis is disease treatment hydroxychloroquine for ingesting
(diseaseMedicine RheumatoidArthritis Sarilumab Injecting) Medicine.kif 5257-5257 Rheumatoid arthritis is disease treatment sarilumab for injecting
(diseaseMedicine RheumatoidArthritis Sulfasalazine Ingesting) Medicine.kif 3902-3902 Rheumatoid arthritis is disease treatment sulfasalazine for ingesting
(documentation RheumatoidArthritis EnglishLanguage "An AutoImmuneDisorder in which the immune system attacks the joints. ") Medicine.kif 2214-2215 Rheumatoid arthritis is disease treatment sulfasalazine for ingesting
(subclass RheumatoidArthritis Arthritis) Medicine.kif 2213-2213 Rheumatoid arthritis is a subclass of arthritis
(subclass RheumatoidArthritis AutoImmuneDisorder) Medicine.kif 2212-2212 Rheumatoid arthritis is a subclass of auto_immune disease

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


(diseaseMedicine Abatacept RheumatoidArthritis Ingesting) Medicine.kif 4939-4939 Abatacept is disease treatment rheumatoid arthritis for ingesting
(diseaseMedicine Upadacitinib RheumatoidArthritis Ingesting) Medicine.kif 5535-5535 Upadacitinib is disease treatment rheumatoid arthritis for ingesting
(termFormat EnglishLanguage RheumatoidArthritis "rheumatoid arthritis") Medicine.kif 2216-2216 Upadacitinib is disease treatment rheumatoid arthritis for ingesting

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


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


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