LowBodyTemperature - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - LowBodyTemperature

LowBodyTemperature(low body temperature)

appearance as argument number 1

(documentation LowBodyTemperature EnglishLanguage "A body temperature below 97 FahrenheitDegrees.")	Medicine.kif 5629-5630
(instance LowBodyTemperature BiologicalAttribute)	Medicine.kif 5628-5628	Low body temperature is an instance of biological attribute

appearance as argument number 2

(termFormat EnglishLanguage LowBodyTemperature "low body temperature")

Medicine.kif 5631-5631

antecedent

(=>
    (holdsDuring ?T
        (attribute ?H LowBodyTemperature))
    (holdsDuring ?T
        (and
            (measure ?H
                (MeasureFn ?N FahrenheitDegree))
            (lessThan ?N 97))))

Medicine.kif 5633-5640

If low body temperature is an attribute of an entity holds during a time position,
then the measure of the entity is another entity fahrenheit degree(s) and the other entity is less than 97 holds during the time position

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