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 |
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 |