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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TemperatureMeasure
TemperatureMeasureCurie_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
-------------------------


s__documentation(s__TemperatureMeasure,s__ChineseLanguage,'这是用来量度温度的,科学上来说,一件东西的温度 是构成这个东西原子或分子的平均速度。')

Merge.kif 6425-6426
s__documentation(s__TemperatureMeasure,s__EnglishLanguage,'Measures of temperature. In scientific circles, the temperature of something is understood as the average velocity of the atoms or molecules that make up the thing.')

Merge.kif 6422-6424
s__instance(s__ConstantQuantity,s__SetOrClass)

Merge.kif 6421-6421

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


s__termFormat(s__ChineseLanguage,s__TemperatureMeasure,'温度测量')

chinese_format.kif 1307-1307
s__termFormat(s__EnglishLanguage,s__TemperatureMeasure,'temperature measure')

english_format.kif 994-994
s__termFormat(s__FrenchLanguage,s__TemperatureMeasure,'mesure de temperature')

french_format.kif 985-985
s__termFormat(s__Hindi,s__TemperatureMeasure,'taapa maapa')

terms-hindi.txt 520-520
s__termFormat(s__ItalianLanguage,s__TemperatureMeasure,'MisuraDiTemperatura')

terms-it.txt 522-522
s__termFormat(s__PortugueseLanguage,s__TemperatureMeasure,'Medida de Temperatura')

portuguese_format.kif 937-937
s__termFormat(s__cb__m,s__TemperatureMeasure,'kainiton-kabugnawon sukod sa panahon')

terms-cb.txt 526-526
s__termFormat(s__cz__m,s__TemperatureMeasure,'temperature measure')

terms-cz.txt 560-560
s__termFormat(s__tg__m,s__TemperatureMeasure,'sukat ng temperatura')

terms-tg.txt 525-525

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


s__domain(s__airTemperature__m,2,s__TemperatureMeasure)

Mid-level-ontology.kif 23512-23512
s__domain(s__averageTemperatureForPeriod__m,3,s__TemperatureMeasure)

Weather.kif 599-599
s__domain(s__boilingPoint__m,2,s__TemperatureMeasure)

Merge.kif 13723-13723
s__domain(s__highestTemperatureForPeriod__m,3,s__TemperatureMeasure)

Weather.kif 611-611
s__domain(s__lowestTemperatureForPeriod__m,3,s__TemperatureMeasure)

Weather.kif 623-623
s__domain(s__meltingPoint__m,2,s__TemperatureMeasure)

Merge.kif 13789-13789

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 4047-4077

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


( ! [V__X,V__Y] :
   ((s__attribute(V__X,V__Y)
     &
     s__instance(V__Y,s__TemperatureAttribute) &
     s__instance(V__X,s__Object))
   =>
   (? [V__TEMP] :
     (s__measure(V__X,V__TEMP)
     &
     s__instance(V__TEMP,s__TemperatureMeasure) &
     s__attribute(V__TEMP,V__Y))))
)

Mid-level-ontology.kif 23526-23535
( ! [V__NUMBER,V__UNIT,V__QUANT] :
   (((s__MeasureFn(V__NUMBER,V__UNIT)
       = V__QUANT)
     &
     s__instance(V__UNIT,s__UnitOfTemperature))
   =>
   s__instance(V__QUANT,s__TemperatureMeasure))
)

Merge.kif 6526-6530
( ! [V__X,V__CLASS,V__Y] :
   ((s__immediateInstance(V__X,V__CLASS)
     &
     s__immediateInstance(V__Y,V__CLASS)
   &
   s__attribute(V__X,s__ColdTemperature) &
   s__attribute(V__Y,s__HotTemperature))
=>
(? [V__TEMPX,V__TEMPY] :
   (s__measure(V__X,V__TEMPX)
   &
   s__instance(V__TEMPX,s__TemperatureMeasure) &
   s__measure(V__Y,V__TEMPY)
&
s__instance(V__TEMPY,s__TemperatureMeasure) &
s__greaterThan(V__TEMPY,V__TEMPX))))
)

Mid-level-ontology.kif 23561-23573
No TPTP formula. May not be expressible in strict first order. Merge.kif 10862-10875
No TPTP formula. May not be expressible in strict first order. Merge.kif 10819-10832
( ! [V__M,V__Q,V__T] :
   ((s__instance(V__M,s__Measuring) &
       s__result(V__M,V__Q)
     &
     s__instrument(V__M,V__T)
   &
   s__instance(V__T,s__Thermometer))
=>
s__instance(V__Q,s__TemperatureMeasure))
)

Mid-level-ontology.kif 3406-3412
( ! [V__MEASURE,V__QUANTITY,V__THERMOMETER] :
   ((s__instance(V__MEASURE,s__Measuring) &
       s__result(V__MEASURE,V__QUANTITY)
     &
     s__instrument(V__MEASURE,V__THERMOMETER)
   &
   s__instance(V__THERMOMETER,s__Thermometer))
=>
s__instance(V__QUANTITY,s__TemperatureMeasure))
)

Mid-level-ontology.kif 3394-3400


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