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, Medida_de_Temperatura, MisuraDiTemperatura, 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, kainiton-kabugnawon_sukod_sa_panahon, low_temperature, lukewarmness, melting_point, mercury, mesure_de_temperature, nip, passion, red-hot, red_heat, room_temperature, simmer, sizzling, sukat_ng_temperatura, taapa_maapa, temperature...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6404-6405
No TPTP formula. May not be expressible in strict first order. Merge.kif 6401-6403
No TPTP formula. May not be expressible in strict first order. Merge.kif 6400-6400 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 "温度测量" is the printable form of temperature measure in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 994-994 "temperature measure" is the printable form of temperature measure in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 985-985 "mesure de temperature" is the printable form of temperature measure in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 520-520 "taapa maapa" is the printable form of temperature measure in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 522-522 "MisuraDiTemperatura" is the printable form of temperature measure in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 937-937 "Medida de Temperatura" is the printable form of temperature measure in portuguese language
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 526-526 "kainiton-kabugnawon sukod sa panahon" is the printable form of temperature measure in cb
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 560-560 "temperature measure" is the printable form of temperature measure in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 525-525 "sukat ng temperatura" is the printable form of temperature measure in tg

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23151-23151 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 599-599 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 13644-13644 The number 2 argument of boiling point is an instance of temperature measure
No TPTP formula. May not be expressible in strict first order. Weather.kif 611-611 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 623-623 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. Merge.kif 13710-13710 The number 2 argument of melting point is an instance of temperature measure

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 4088-4118

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23165-23174
No TPTP formula. May not be expressible in strict first order. Merge.kif 6505-6509
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23200-23212
No TPTP formula. May not be expressible in strict first order. Merge.kif 10782-10795
No TPTP formula. May not be expressible in strict first order. Merge.kif 10739-10752
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3402-3408
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3390-3396


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners