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 3933-3934 | |
(subclass Solenoid ElectricDevice) | Cars.kif 3931-3931 | 子類 Solenoid and 電器 |
appearance as argument number 2 |
(termFormat EnglishLanguage Solenoid "solenoid") | Cars.kif 3932-3932 |
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 3936-3951 |