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 3889-3891 | |
(subclass Electromagnet ElectricDevice) | Cars.kif 3887-3887 | 子類 Electromagnet and 電器 |
(subclass Electromagnet Magnet) | Cars.kif 3886-3886 | 子類 Electromagnet and Magnet |
appearance as argument number 2 |
(termFormat EnglishLanguage Electromagnet "electromagnet") | Cars.kif 3888-3888 |
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 3893-3903 | |
(=> (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 3905-3921 |