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 3925-3926 | |
(subclass Solenoid ElectricDevice) | Cars.kif 3923-3923 | 子類 Solenoid and 電器 |
appearance as argument number 2 |
(termFormat EnglishLanguage Solenoid "solenoid") | Cars.kif 3924-3924 |
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 3928-3943 |