HotTemperature - Sigma Knowledge base Browser

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 25717-25718
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25716-25716	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 25720-25720	Warm is an immediate successor attribute of hot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25702-25702	Cold is a successor attribute of hot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25719-25719

antecedent

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

Mid-level-ontology.kif 25722-25737

If an object is an immediate instance of a class and another object is an immediate instance of the class 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 unit of temperature 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

consequent

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

Food.kif 1429-1439

If an entity is an instance of long black,
then there exist a process, an object and another entity such that the process is an instance of pouring and the object is a patient of the process and the object is an instance of potable water and hot is an attribute of the object and the process ends up at the other entity and the other entity is an instance of espresso and the entity is a result of the process

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