Electromagnet |
appearance as argument number 1 |
(documentation Electromagnet EnglishLanguage "A Magnet that is created by sending Electricity through coils of Wire that are wound around a ferromagnetic core.") | Cars.kif 3949-3951 | |
(subclass Electromagnet ElectricDevice) | Cars.kif 3947-3947 | |
(subclass Electromagnet Magnet) | Cars.kif 3946-3946 |
appearance as argument number 2 |
(subclass ElectroMechanicalFitting Electromagnet) | engineering.kif 935-935 | |
(termFormat EnglishLanguage Electromagnet "electromagnet") | Cars.kif 3948-3948 |
antecedent |
(=> (and (instance ?EM Electromagnet) (instance ?T Transfer) (instance ?E Electricity) (objectTransferred ?T ?E) (path ?T ?EM)) (exists (?M) (and (instance ?M Magnetism) (instrument ?M ?EM)))) |
Cars.kif 3953-3963 | |
(=> (and (instance ?EM Electromagnet) (not (holdsDuring ?T1 (exists (?T ?E) (and (instance ?T Transfer) (instance ?E Electricity) (objectTransferred ?T ?E) (path ?T ?EM)))))) (not (holdsDuring ?T1 (exists (?M) (and (instance ?M Magnetism) (instrument ?M ?EM)))))) |
Cars.kif 3965-3981 |