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 6063-6065
s__subclass(s__TemperatureMeasure,s__ConstantQuantity)

s__instance(s__ConstantQuantity,s__Class)

s__instance(s__TemperatureMeasure,s__Class)

Merge.kif 6061-6061 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 1836-1836

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


s__domain(s__airTemperature__m,n__2,s__TemperatureMeasure)

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

Weather.kif 987-987 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 13163-13163 The number 2 argument of boiling point is an instance of temperature measure
s__domain(s__highestTemperatureForPeriod__m,n__3,s__TemperatureMeasure)

Weather.kif 999-999 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 1011-1011 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 3592-3592 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 3620-3620 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 13227-13227 The number 2 argument of melting point is an instance of temperature measure
s__domain(s__minDeviceOperatingTemp__m,n__2,s__TemperatureMeasure)

ComputingBrands.kif 3645-3645 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 3670-3670 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 4084-4116

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 24725-24734
( ! [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 6154-6158
( ! [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, V__UNIT] :
           ((s__measure(V__X,s__MeasureFn(V__TEMPX,V__UNIT))
           &
           s__instance(V__UNIT,s__UnitOfTemperature) &
           s__instance(V__TEMPX,s__TemperatureMeasure) &
           s__measure(V__Y,s__MeasureFn(V__TEMPY,V__UNIT))
       &
       s__instance(V__TEMPY,s__TemperatureMeasure) &
       s__greaterThan(V__TEMPY,V__TEMPX))))))))
)
)

Mid-level-ontology.kif 24760-24775
No TPTP formula. May not be expressible in strict first order. Merge.kif 10517-10530
No TPTP formula. May not be expressible in strict first order. Merge.kif 10476-10489
( ! [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 2856-2862
( ! [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 2844-2850


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