JointPain - Sigma Knowledge base Browser

appearance as argument number 1

(documentation JointPain EnglishLanguage "Pain in a &$BodyJoint of an Animal.")	Medicine.kif 2012-2013
(subclass JointPain (PainFn BodyJoint))	Medicine.kif 2011-2011	Joint pain is a subclass of pain in the body joint

appearance as argument number 2

(termFormat EnglishLanguage JointPain "joint pain")

Medicine.kif 2014-2014

consequent

(=>
    (and
        (instance ?A RheumatoidArthritis)
        (experiencer ?A ?H))
    (modalAttribute
        (exists (?JP)
            (and
                (instance ?JP JointPain)
                (causes ?A ?JP))) Likely))

Medicine.kif 2230-2239