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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - coreBodyTemp
coreBodyTemp

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


(documentation coreBodyTemp EnglishLanguage "Core temperature, also called core body temperature, is the operating temperature of an Organism, specifically in deep structures of the body such as the Liver, in comparison to temperatures of peripheral tissues. Core temperature is normally maintained within a narrow range so that essential enzymatic reactions can occur. Significant core temperature elevation (Hyperthermia) or depression (Hypothermia) over more than a brief period of time is incompatible with Human life. Temperature examination in the Heart, using a catheter, is the traditional gold standard measurement used to estimate core temperature (oral temperature is affected by hot or cold drinks, ambient temperature fluctuations as well as mouth-breathing). Since catheters are highly invasive, the generally accepted alternative for measuring core body temperature is through measurements in the Rectum. [from Wikipedia]") Medicine.kif 496-505
(domain coreBodyTemp 1 Organism) Medicine.kif 494-494 The number 1 argument of coreBodyTemp is an instance of organism
(domain coreBodyTemp 2 TemperatureMeasure) Medicine.kif 495-495 The number 2 argument of coreBodyTemp is an instance of temperature measure
(instance coreBodyTemp BinaryPredicate) Medicine.kif 493-493 coreBodyTemp is an instance of binary predicate

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


(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T
            (and
                (attribute ?T Hyperthermia)
                (coreBodyTemp ?H
                    (MeasureFn ?N CelsiusDegree)))))
    (greaterThan ?N 38.3))
Medicine.kif 674-682
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T
            (and
                (attribute ?T Hypothermia)
                (coreBodyTemp ?H
                    (MeasureFn ?N CelsiusDegree)))))
    (lessThan ?N 35.0))
Medicine.kif 639-647
(=>
    (and
        (instance ?H Human)
        (instance ?R Rectum)
        (part ?R ?H)
        (holdsDuring ?T
            (and
                (coreBodyTemp ?H
                    (MeasureFn ?N ?U))
                (measure ?R
                    (MeasureFn ?N2 ?U)))))
    (approximateValue ?N ?N2))
Medicine.kif 507-518


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