TreeView Knowledge Base Browser - HotTemperature

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - HotTemperature

HotTemperature(hot)

blistering, blistery, hot, scorching, sweltering, sweltry

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25108-25109
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25107-25107	Hot is an instance of temperature attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25111-25111	Warm is an immediate successor attribute of hot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25093-25093	Cold is a successor attribute of hot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25110-25110

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 25113-25128

If an object is an immediate instance of an entity and another object is an immediate instance of the entity and cold is an attribute of the object and hot is an attribute of the other object,
then there exist a real number, another real number and an unit of measure such that the measure of the object is the real number the unit of measure(s) and the unit of measure is an instance of UnitOfTemperature and the real number is an instance of temperature measure and the measure of the other object is the other real number the unit of measure(s) and the other real number is an instance of temperature measure and the other real number is greater than the real number

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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