TreeView Knowledge Base Browser - ChronicFatigueSyndrome

appearance as argument number 1

(instance ChronicFatigueSyndrome DiseaseOrSyndrome)	Medicine.kif 1462-1462	ME/CFS is an instance of disease or syndrome
(documentation ChronicFatigueSyndrome EnglishLanguage "Chronic fatigue syndrome (CFS), also called myalgic encephalomyelitis (ME) and ME/ CFS, is a complex, fatiguing, long term medical condition diagnosed by required primary symptoms and criteria, and often involves a broad range of symptoms. Distinguishing core symptoms are lengthy exacerbations or 'flares' of the illness after ordinary minor physical or mental activity, known as post-exertional malaise (PEM); greatly diminished capacity to accomplish tasks that were routine before the illness; and sleep disturbances. Orthostatic intolerance (difficulty sitting and standing upright) and cognitive dysfunction are also diagnostic. Other common symptoms may involve numerous body systems, and chronic pain is common. [from Wikipedia]")	Medicine.kif 1464-1475	ME/CFS is an instance of disease or syndrome

appearance as argument number 2

(termFormat EnglishLanguage ChronicFatigueSyndrome "Chronic fatigue syndrome")	Medicine.kif 1477-1478
(termFormat EnglishLanguage ChronicFatigueSyndrome "CFS")	Medicine.kif 1479-1479
(termFormat EnglishLanguage ChronicFatigueSyndrome "myalgic encephalomyelitis")	Medicine.kif 1480-1480
(termFormat EnglishLanguage ChronicFatigueSyndrome "ME/CFS")	Medicine.kif 1481-1481

antecedent

(=>
    (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