|
|
   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 3892-3894 | |
| (subclass Electromagnet ElectricDevice) | Cars.kif 3890-3890 | |
| (subclass Electromagnet Magnet) | Cars.kif 3889-3889 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Electromagnet "electromagnet") | Cars.kif 3891-3891 |
| 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 3896-3906 | |
| (=> (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 3908-3924 |
|
|
|