| TemperatureMeasure | |
| appearance as argument number 1 |
|
|
| (documentation TemperatureMeasure ChineseLanguage "这是用来量度温度的，科学上来说，一件东西的温度 是构成这个东西原子或分子的平均速度。") | chinese_format.kif 2415-2416 | |
| (documentation TemperatureMeasure 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 6201-6203 | |
| (subclass TemperatureMeasure ConstantQuantity) | Merge.kif 6199-6199 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage TemperatureMeasure "温度测量") | chinese_format.kif 1307-1307 | |
| (termFormat EnglishLanguage TemperatureMeasure "temperature measure") | english_format.kif 1831-1831 |
| appearance as argument number 3 |
|
|
| (domain airTemperature 2 TemperatureMeasure) | Mid-level-ontology.kif 25065-25065 | |
| (domain averageTemperatureForPeriod 3 TemperatureMeasure) | Weather.kif 987-987 | |
| (domain boilingPoint 2 TemperatureMeasure) | Merge.kif 13554-13554 | |
| (domain highestTemperatureForPeriod 3 TemperatureMeasure) | Weather.kif 999-999 | |
| (domain lowestTemperatureForPeriod 3 TemperatureMeasure) | Weather.kif 1011-1011 | |
| (domain maxDeviceOperatingTemp 2 TemperatureMeasure) | ComputingBrands.kif 3584-3584 | |
| (domain maxDeviceStorageTemp 2 TemperatureMeasure) | ComputingBrands.kif 3612-3612 | |
| (domain meltingPoint 2 TemperatureMeasure) | Merge.kif 13618-13618 | |
| (domain minDeviceOperatingTemp 2 TemperatureMeasure) | ComputingBrands.kif 3637-3637 | |
| (domain minDeviceStorageTemp 2 TemperatureMeasure) | ComputingBrands.kif 3662-3662 |
| antecedent |
|
|
| (=> (and (instance ?BTS BimetalTemperatureSensor) (instance ?M1 Metal) (instance ?M2 Metal) (not (equal ?M1 ?M2)) (part ?M1 ?BTS) (part ?M2 ?BTS) (instance ?T1 TemperatureMeasure) (instance ?T2 TemperatureMeasure) (instance ?L1 LengthMeasure) (instance ?L2 LengthMeasure) (instance ?L3 LengthMeasure) (instance ?L4 LengthMeasure) (not (equal ?T1 ?T2)) (not (equal ?TM1 ?TM2)) (holdsDuring ?TM1 (and (measure ?BTS ?T1) (measure ?M1 ?L1) (measure ?M2 ?L2))) (holdsDuring ?TM2 (and (measure ?BTS ?T2) (measure ?M1 ?L3) (measure ?M2 ?L4)))) (not (equal (DivisionFn ?L1 ?L2) (DivisionFn ?L3 ?L4)))) |
Cars.kif 4084-4116 |
| consequent |
|
|
| (=> (and (attribute ?X ?Y) (instance ?Y TemperatureAttribute) (instance ?X Object)) (exists (?TEMP) (and (measure ?X ?TEMP) (instance ?TEMP TemperatureMeasure) (attribute ?TEMP ?Y)))) |
Mid-level-ontology.kif 25078-25087 | |
| (=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfTemperature)) (instance ?QUANT TemperatureMeasure)) |
Merge.kif 6292-6296 | |
| (=> (and (immediateInstance ?X ?CLASS) (immediateInstance ?Y ?CLASS) (attribute ?X ColdTemperature) (attribute ?Y HotTemperature)) (exists (?TEMPX ?TEMPY ?UNIT) (and (measure ?X (MeasureFn ?TEMPX ?UNIT)) (instance ?UNIT UnitOfTemperature) (instance ?TEMPX TemperatureMeasure) (measure ?Y (MeasureFn ?TEMPY ?UNIT)) (instance ?TEMPY TemperatureMeasure) (greaterThan ?TEMPY ?TEMPX)))) |
Mid-level-ontology.kif 25113-25128 | |
| (=> (and (instance ?COOL Cooling) (patient ?COOL ?OBJ)) (exists (?UNIT ?QUANT1 ?QUANT2) (and (instance ?UNIT TemperatureMeasure) (holdsDuring (BeginFn (WhenFn ?COOL)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT1)) (holdsDuring (EndFn (WhenFn ?COOL)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT2)) (lessThan ?QUANT2 ?QUANT1)))) |
Merge.kif 10837-10850 | |
| (=> (and (instance ?HEAT Heating) (patient ?HEAT ?OBJ)) (exists (?UNIT ?QUANT1 ?QUANT2) (and (instance ?UNIT TemperatureMeasure) (holdsDuring (BeginFn (WhenFn ?HEAT)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT1)) (holdsDuring (EndFn (WhenFn ?HEAT)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT2)) (greaterThan ?QUANT2 ?QUANT1)))) |
Merge.kif 10796-10809 | |
| (=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?T) (instance ?T Thermometer)) (instance ?Q TemperatureMeasure)) |
Mid-level-ontology.kif 2877-2883 | |
| (=> (and (instance ?MEASURE Measuring) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?THERMOMETER) (instance ?THERMOMETER Thermometer)) (instance ?QUANTITY TemperatureMeasure)) |
Mid-level-ontology.kif 2865-2871 |
|
|
|