ChristianService
|
|
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 3874-3876 | |
(subclass Electromagnet ElectricDevice) | Cars.kif 3872-3872 | Electromagnet は ElectricDevice の subclass では %n |
(subclass Electromagnet Magnet) | Cars.kif 3871-3871 | Electromagnet は Magnet の subclass では %n |
appearance as argument number 2 |
(termFormat EnglishLanguage Electromagnet "electromagnet") | Cars.kif 3873-3873 |
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 3878-3888 | |
(=> (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 3890-3906 |
|