|
|
   BimetalTemperatureSensor
|
|
|
| appearance as argument number 1 |
|
|
| (documentation BimetalTemperatureSensor EnglishLanguage "Two metals bonded together that have dissimilar thermal expansion properties. This leads to the strip curling one direction or another with changes in TemperatureMeasure, typically activating a switch or other device.") | Cars.kif 4050-4053 | |
| (subclass BimetalTemperatureSensor MeasuringDevice) | Cars.kif 4048-4048 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BimetalTemperatureSensor "bi-metal temperature sensor") | Cars.kif 4049-4049 |
| 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 4066-4098 | |
| (=> (instance ?BTS BimetalTemperatureSensor) (exists (?M1 ?M2) (and (instance ?M1 Metal) (instance ?M2 Metal) (part ?M1 ?BTS) (part ?M2 ?BTS) (not (equal ?M1 ?M2))))) |
Cars.kif 4055-4064 |
|
|
|