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 ist eine teilkategorie von ElectricDevice |
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 |
|