| Solenoid | |
| appearance as argument number 1 |
|
|
| (documentation Solenoid EnglishLanguage "A Device that uses an Electromagnet to actuate an arm or shaft to perform some function.") | Cars.kif 3985-3986 | |
| (subclass Solenoid ElectricDevice) | Cars.kif 3983-3983 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Solenoid "solenoid") | Cars.kif 3984-3984 |
| antecedent |
|
|
| (=> (instance ?S Solenoid) (hasPurpose ?S (exists (?P ?T1 ?T2 ?L1 ?L2) (and (part ?P ?S) (holdsDuring ?T1 (and (attribute ?S DeviceOn) (located ?P ?L1))) (holdsDuring ?T2 (and (attribute ?S DeviceOn) (located ?P ?L2))) (not (equal ?L1 ?L2)))))) |
Cars.kif 3988-4003 |
|
|
|