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
-------------------------


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

chinese_format.kif 2415-2416
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 5943-5945
s__subclass(s__TemperatureMeasure,s__ConstantQuantity)

s__instance(s__TemperatureMeasure,s__SetOrClass)

s__instance(s__ConstantQuantity,s__SetOrClass)

Merge.kif 5941-5941 Temperature measure is a subclass of constant quantity

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 1840-1840

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


s__domain(s__airTemperature__m,n__2,s__TemperatureMeasure)

Mid-level-ontology.kif 23605-23605 The number 2 argument of air temperature is an instance of temperature measure
s__domain(s__averageTemperatureForPeriod__m,n__3,s__TemperatureMeasure)

Weather.kif 598-598 The number 3 argument of average temperature for period is an instance of temperature measure
s__domain(s__boilingPoint__m,n__2,s__TemperatureMeasure)

Merge.kif 12753-12753 The number 2 argument of boiling point is an instance of temperature measure
s__domain(s__highestTemperatureForPeriod__m,n__3,s__TemperatureMeasure)

Weather.kif 610-610 The number 3 argument of highest temperature for period is an instance of temperature measure
s__domain(s__lowestTemperatureForPeriod__m,n__3,s__TemperatureMeasure)

Weather.kif 622-622 The number 3 argument of lowest temperature for period is an instance of temperature measure
s__domain(s__maxDeviceOperatingTemp__m,n__2,s__TemperatureMeasure)

ComputingBrands.kif 3613-3613 The number 2 argument of maximum device operating temperature is an instance of temperature measure
s__domain(s__maxDeviceStorageTemp__m,n__2,s__TemperatureMeasure)

ComputingBrands.kif 3638-3638 The number 2 argument of maximum device storage temperature is an instance of temperature measure
s__domain(s__meltingPoint__m,n__2,s__TemperatureMeasure)

Merge.kif 12817-12817 The number 2 argument of melting point is an instance of temperature measure
s__domain(s__minDeviceOperatingTemp__m,n__2,s__TemperatureMeasure)

ComputingBrands.kif 3660-3660 The number 2 argument of minimum device operating temperature is an instance of temperature measure
s__domain(s__minDeviceStorageTemp__m,n__2,s__TemperatureMeasure)

ComputingBrands.kif 3682-3682 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 4054-4086

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 23619-23628
( ! [V__QUANT,V__NUMBER,V__UNIT] :
   ((s__instance(V__QUANT,s__PhysicalQuantity) &
       s__instance(V__NUMBER,s__RealNumber))
     =>
     ((s__MeasureFn(V__NUMBER,V__UNIT)
       = V__QUANT)
     &
     s__instance(V__UNIT,s__UnitOfTemperature))
   =>
   s__instance(V__QUANT,s__TemperatureMeasure) )
)

Merge.kif 6034-6038
( ! [V__X,V__Y,V__CLASS] :
   ((s__instance(V__X,s__Object) &
       s__instance(V__Y,s__Object))
     =>
     (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 23654-23666
No TPTP formula. May not be expressible in strict first order. Merge.kif 10198-10211
No TPTP formula. May not be expressible in strict first order. Merge.kif 10157-10170
( ! [V__Q,V__T,V__M] :
   ((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 3402-3408
( ! [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 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