Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BimetalTemperatureSensor(bi_metal temperature sensor) |
| appearance as argument number 1 |
|
| (subclass BimetalTemperatureSensor MeasuringDevice) | Cars.kif 3933-3933 | Bi_metal temperature sensor is a subclass of measuring device |
| (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 3935-3938 | Bi_metal temperature sensor is a subclass of measuring device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BimetalTemperatureSensor "bi_metal temperature sensor") | Cars.kif 3934-3934 |
| antecedent |
|
|
| (=> (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 3940-3949 | If X is an instance of bi_metal temperature sensor, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of metal (3) Z is an instance of metal (4) Y is a part of X (5) Z is a part of X (6) equal Y (7) Z |
| (=> (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 3951-3983 | If All of the following hold: (1) X is an instance of bi_metal temperature sensor (2) Y is an instance of metal (3) Z is an instance of metal (4) equal Y and Z (5) Y is a part of X (6) Z is a part of X (7) W is an instance of temperature measure (8) V is an instance of temperature measure (9) U is an instance of length measure (10) T is an instance of length measure (11) S is an instance of length measure (12) R is an instance of length measure (13) equal W and V (14) equal Q and P (15) the measure of X is W, the measure of Y is U, and the measure of Z is T holds during Q (16) the measure of X is V, the measure of Y is S, and the measure of Z is R holds during P, then equal U, T, S, and R |
|