TreeView Knowledge Base Browser - RheumatoidArthritis

appearance as argument number 1

(subclass RheumatoidArthritis AutoImmuneDisorder)	Medicine.kif 2230-2230	Rheumatoid arthritis is a subclass of auto-immune disease
(subclass RheumatoidArthritis Arthritis)	Medicine.kif 2231-2231	Rheumatoid arthritis is a subclass of arthritis
(documentation RheumatoidArthritis EnglishLanguage "An AutoImmuneDisorder in which the immune system attacks the joints. ")	Medicine.kif 2232-2233	Rheumatoid arthritis is a subclass of arthritis
(diseaseMedicine RheumatoidArthritis Clarithromycin Injecting)	Medicine.kif 3655-3655	Rheumatoid arthritis is disease treatment clarithromycin for injecting
(diseaseMedicine RheumatoidArthritis Sulfasalazine Ingesting)	Medicine.kif 3948-3948	Rheumatoid arthritis is disease treatment sulfasalazine for ingesting
(diseaseMedicine RheumatoidArthritis Sarilumab Injecting)	Medicine.kif 5291-5291	Rheumatoid arthritis is disease treatment sarilumab for injecting
(diseaseMedicine RheumatoidArthritis Hydroxychloroquine Ingesting)	Medicine.kif 5639-5639	Rheumatoid arthritis is disease treatment hydroxychloroquine for ingesting

appearance as argument number 2

(termFormat EnglishLanguage RheumatoidArthritis "rheumatoid arthritis")	Medicine.kif 2234-2234
(diseaseMedicine Abatacept RheumatoidArthritis Ingesting)	Medicine.kif 4972-4972	Abatacept is disease treatment rheumatoid arthritis for ingesting
(diseaseMedicine Upadacitinib RheumatoidArthritis Ingesting)	Medicine.kif 5569-5569	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))

If X is an instance of rheumatoid arthritis and Y experiences X, then the statement there exists Z such that Z is an instance of joint pain and X causes Z has the modal force of likely