Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - TemperatureMeasure
TemperatureMeasure(temperature measure)Curie_point, Curie_temperature, H, absolute_temperature, absolute_zero, basal_body_temperature, basal_temperature, blood_heat, body_temperature, boil, boiling_point, chill, chilliness, cold, coldness, cool, coolness, dew_point, enthalpy, fieriness, flash_point, flashpoint, freezing_point, frigidity, frigidness, frostiness, gelidity, heat, heat_content, high_temperature, hotness, iciness, low_temperature, lukewarmness, melting_point, mercury, nip, passion, red-hot, red_heat, room_temperature, simmer, sizzling, temperature, temperature_unit, tepidity, tepidness, torridity, total_heat, warmness...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2415-2416
No TPTP formula. May not be expressible in strict first order. Merge.kif 6316-6318
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1102-1103
No TPTP formula. May not be expressible in strict first order. Merge.kif 6314-6314 Temperature measure is a subclass of constant quantity

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1307-1307
No TPTP formula. May not be expressible in strict first order. english_format.kif 1831-1831
No TPTP formula. May not be expressible in strict first order. french_format.kif 985-985
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 520-520
No TPTP formula. May not be expressible in strict first order. terms-it.txt 524-524
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2669-2669
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 937-937
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 526-526
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 560-560
No TPTP formula. May not be expressible in strict first order. terms-de.txt 819-819
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 1006-1006
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 525-525

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27572-27572 The number 2 argument of air temperature is an instance of temperature measure
No TPTP formula. May not be expressible in strict first order. Weather.kif 1222-1222 The number 3 argument of average temperature for period is an instance of temperature measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 13947-13947 The number 2 argument of boiling point is an instance of temperature measure
No TPTP formula. May not be expressible in strict first order. Medicine.kif 496-496 The number 2 argument of core body temp is an instance of temperature measure
No TPTP formula. May not be expressible in strict first order. Weather.kif 1234-1234 The number 3 argument of highest temperature for period is an instance of temperature measure
No TPTP formula. May not be expressible in strict first order. Weather.kif 1246-1246 The number 3 argument of lowest temperature for period is an instance of temperature measure
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3616-3616 The number 2 argument of maximum device operating temperature is an instance of temperature measure
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3644-3644 The number 2 argument of maximum device storage temperature is an instance of temperature measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 14011-14011 The number 2 argument of melting point is an instance of temperature measure
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3669-3669 The number 2 argument of minimum device operating temperature is an instance of temperature measure
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3694-3694 The number 2 argument of minimum device storage temperature is an instance of temperature measure

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 4142-4174

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27585-27594
No TPTP formula. May not be expressible in strict first order. Merge.kif 6407-6411
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27620-27635
No TPTP formula. May not be expressible in strict first order. Merge.kif 11099-11112
No TPTP formula. May not be expressible in strict first order. Merge.kif 11058-11071
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3385-3391
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3373-3379


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