Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PostExertionalMalaise
PostExertionalMalaise

appearance as argument number 1
-------------------------


(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 1459-1463
(instance PostExertionalMalaise DiseaseOrSyndrome) Medicine.kif 1457-1457 PostExertionalMalaise and DiseaseOrSyndrome

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage PostExertionalMalaise "PEM") Medicine.kif 1467-1467
(termFormat EnglishLanguage PostExertionalMalaise "Post-exertional malaise") Medicine.kif 1465-1466

antecedent
-------------------------


(=>
    (holdsDuring ?T
        (attribute ?P PostExertionalMalaise))
    (exists (?R)
        (and
            (instance ?R RecreationOrExercise)
            (agent ?R ?A)
            (earlier
                (WhenFn ?R) ?T))))
Medicine.kif 1469-1477

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))
Medicine.kif 1500-1512


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners