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