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


KB Term:  Term intersection
English Word: 

Sigma KEE - coreBodyTemp
coreBodyTemp

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


(instance coreBodyTemp BinaryPredicate) Medicine.kif 481-481 core body temp is an instance of binary predicate
(domain coreBodyTemp 1 Organism) Medicine.kif 482-482 The number 1 argument of core body temp is an instance of organism
(domain coreBodyTemp 2 TemperatureMeasure) Medicine.kif 483-483 The number 2 argument of core body temp is an instance of temperature measure
(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 485-494 The number 2 argument of core body temp is an instance of temperature measure

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


(termFormat EnglishLanguage coreBodyTemp "core body temp") Medicine.kif 484-484

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


(=>
    (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 496-507 If X is an instance of human, Y is an instance of rectum, Y is a part of X, and core body temp X and Z W(s) and the measure of Y is V W(s) holds during U, then the approximate value of Z is V
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T
            (and
                (attribute ?T Hypothermia)
                (coreBodyTemp ?H
                    (MeasureFn ?N CelsiusDegree)))))
    (lessThan ?N 35.0))
Medicine.kif 629-637 If X is an instance of human and hypothermia is an attribute of Y and core body temp X and Z celsius degree(s) holds during Y, then Z is less than 35.0
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T
            (and
                (attribute ?T Hyperthermia)
                (coreBodyTemp ?H
                    (MeasureFn ?N CelsiusDegree)))))
    (greaterThan ?N 38.3))
Medicine.kif 664-672 If X is an instance of human and hyperthermia is an attribute of Y and core body temp X and Z celsius degree(s) holds during Y, then Z is greater than 38.3


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners