EvergreenLoan Hyperthermia
|
|
appearance as argument number 1 |
(documentation Hyperthermia EnglishLanguage "In humans, hyperthermia is defined as a temperature greater than 37.5–38.3 degC (99.5–100.9 degF), depending on the reference used, that occurs without a change in the body's temperature set point. The normal human body temperature can be as high as 37.7 degC (99.9 degF) in the late afternoon. Hyperthermia requires an elevation from the temperature that would otherwise be expected. Such elevations range from mild to extreme; body temperatures above 40 degC (104 degF) can be life-threatening.[from Wikipedia]") | Medicine.kif 678-683 | |
(instance Hyperthermia DiseaseOrSyndrome) | Medicine.kif 677-677 |
appearance as argument number 2 |
(termFormat EnglishLanguage Hyperthermia "hyperthermia") | Medicine.kif 684-684 |
antecedent |
(=> (and (instance ?H Human) (holdsDuring ?T (and (attribute ?T Hyperthermia) (coreBodyTemp ?H (MeasureFn ?N CelsiusDegree))))) (greaterThan ?N 38.3)) |
Medicine.kif 686-694 |