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 508-517
(domain coreBodyTemp 1 Organism) Medicine.kif 506-506 The number 1 argument of coreBodyTemp is an instance of organism
(domain coreBodyTemp 2 TemperatureMeasure) Medicine.kif 507-507 The number 2 argument of coreBodyTemp is an instance of temperature measure
(instance coreBodyTemp BinaryPredicate) Medicine.kif 505-505 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 686-694
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T
            (and
                (attribute ?T Hypothermia)
                (coreBodyTemp ?H
                    (MeasureFn ?N CelsiusDegree)))))
    (lessThan ?N 35.0))
Medicine.kif 651-659
(=>
    (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 519-530


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