TreeView Knowledge Base Browser - PostExertionalMalaise

appearance as argument number 1

(instance PostExertionalMalaise DiseaseOrSyndrome)	Medicine.kif 1440-1440	PEM is an instance of disease or syndrome
(documentation PostExertionalMalaise EnglishLanguage "Post-exertional malaise (PEM) is the worsening of symptoms following even minor physical or mental exertion, with symptoms typically worsening 12 to 48 hours after activity and lasting for days or even weeks. [from cdc.gov]")	Medicine.kif 1442-1446	PEM is an instance of disease or syndrome

appearance as argument number 2

(termFormat EnglishLanguage PostExertionalMalaise "Post-exertional malaise")	Medicine.kif 1448-1449
(termFormat EnglishLanguage PostExertionalMalaise "PEM")	Medicine.kif 1450-1450

antecedent

(=>
    (holdsDuring ?T
        (attribute ?P PostExertionalMalaise))
    (exists (?R)
        (and
            (instance ?R RecreationOrExercise)
            (agent ?R ?A)
            (earlier
                (WhenFn ?R) ?T))))

If PEM is an attribute of X holds during Y, then there exists Z such that Z is an instance of recreation or exercise, W is an agent of Z, and the time of existence of Z happens earlier than Y

consequent

(=>
    (and
        (holdsDuring ?T
            (attribute ?H ChronicFatigueSyndrome))
        (instance ?R RecreationOrExercise)
        (agent ?R ?H)
        (during
            (WhenFn ?R) ?T))
    (modalAttribute
        (and
            (holdsDuring ?T2
                (attribute ?H PostExertionalMalaise))
            (earlier
                (WhenFn ?R) ?T2)) Likely))

If ME/CFS is an attribute of X holds during Y, Z is an instance of recreation or exercise, X is an agent of Z, and the time of existence of Z takes place during Y, then the statement PEM is an attribute of X holds during W and the time of existence of Z happens earlier than W has the modal force of likely