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 3624-3624 RheumatoidArthritis 是 对于 注射dis​​ease 治愈 Clarithromycin
(diseaseMedicine RheumatoidArthritis Hydroxychloroquine Ingesting) Medicine.kif 5616-5616 RheumatoidArthritis 是 对于 消化dis​​ease 治愈 Hydroxychloroquine
(diseaseMedicine RheumatoidArthritis Sarilumab Injecting) Medicine.kif 5269-5269 RheumatoidArthritis 是 对于 注射dis​​ease 治愈 Sarilumab
(diseaseMedicine RheumatoidArthritis Sulfasalazine Ingesting) Medicine.kif 3914-3914 RheumatoidArthritis 是 对于 消化dis​​ease 治愈 Sulfasalazine
(documentation RheumatoidArthritis EnglishLanguage "An AutoImmuneDisorder in which the immune system attacks the joints. ") Medicine.kif 2226-2227
(subclass RheumatoidArthritis Arthritis) Medicine.kif 2225-2225 RheumatoidArthritisArthritissubclass
(subclass RheumatoidArthritis AutoImmuneDisorder) Medicine.kif 2224-2224 RheumatoidArthritisAutoImmuneDisordersubclass

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


(diseaseMedicine Abatacept RheumatoidArthritis Ingesting) Medicine.kif 4951-4951 Abatacept 是 对于 消化dis​​ease 治愈 RheumatoidArthritis
(diseaseMedicine Upadacitinib RheumatoidArthritis Ingesting) Medicine.kif 5547-5547 Upadacitinib 是 对于 消化dis​​ease 治愈 RheumatoidArthritis
(termFormat EnglishLanguage RheumatoidArthritis "rheumatoid arthritis") Medicine.kif 2228-2228

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


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


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