JointPain - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage JointPain "joint pain")

Medicine.kif 2002-2002

consequent

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

Medicine.kif 2218-2227