Solenoid Hour
|
|
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 は ElectricDevice の subclass では %n |
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 |
|