coreBodyTemp - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 508-517
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 506-506	The number 1 argument of coreBodyTemp is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 507-507	The number 2 argument of coreBodyTemp is an instance of temperature measure
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 505-505	coreBodyTemp is an instance of binary predicate

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 686-694	If an entity is an instance of human and hyperthermia is an attribute of a time position and coreBodyTemp the entity and a real number celsius degree(s) holds during the time position, then the real number is greater than 38.3
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 651-659	If an entity is an instance of human and hypothermia is an attribute of a time position and coreBodyTemp the entity and a real number celsius degree(s) holds during the time position, then the real number is less than 35.0
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 519-530	If an object is an instance of human and another object is an instance of rectum and the other object is a part of the object and coreBodyTemp the object and a real number an entity(s) and the measure of the other object is the real number2 the entity(s) holds during a time position, then the approximate value of the real number is the real number2