Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Electromagnet
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Electromagnet Magnet) | Cars.kif 3756-3756 | Electromagnet is a subclass of magnet |
| (subclass Electromagnet ElectricDevice) | Cars.kif 3757-3757 | Electromagnet is a subclass of electric device |
| (documentation Electromagnet EnglishLanguage "A Magnet that is created by sending Electricity through coils of Wire that are wound around a ferromagnetic core.") | Cars.kif 3759-3761 | Electromagnet is a subclass of electric device |
| appearance as argument number 2 |
|
|
| 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 3763-3773 | If X is an instance of electromagnet, Y is an instance of transfer, Z is an instance of electricity, the object transferred in Y is Z, and X is path along which Y occurs, then there exists W such that W is an instance of magnetism and X is an instrument for W |
| (=> (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 3775-3791 | If X is an instance of electromagnet and there don't exist Y, Z such that Y is an instance of transfer, Z is an instance of electricity, the object transferred in Y is Z, and X is path along which Y occurs doesn't hold during W, then there doesn't exist V such that V is an instance of magnetism and X is an instrument for V doesn't hold during W |
|