ColdTemperature - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ColdTemperature

ColdTemperature(cold)

cold, ice-cold, stone-cold

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25732-25733
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25731-25731	Cold is an instance of temperature attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25741-25741	Cold is an immediate successor attribute of cool
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25735-25735	Cold is a successor attribute of hot

appearance as argument number 2

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

Mid-level-ontology.kif 25734-25734

antecedent

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

Mid-level-ontology.kif 25755-25770

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.

emotion.kif 1551-1558

If a process is an instance of temperature falling (experienced as feeling cold) and the process is located at an object and an agent experiences the process,
then the agent believes cold is an attribute of the object holds during the time of existence 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