| Magnetism(magnetism) | | magnetic, magnetic_attraction, magnetic_force, magnetism, paramagnetic |
| appearance as argument number 1 |
|
|
| (subclass Magnetism RadiatingElectromagnetic) | Mid-level-ontology.kif 17280-17280 | Magnetism is a subclass of radiating electromagnetic |
| (documentation Magnetism EnglishLanguage "Any instance of RadiatingElectromagnetic which involves the attraction of Iron.") | Mid-level-ontology.kif 17281-17282 | Magnetism is a subclass of radiating electromagnetic |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?M Magnet) (exists (?MAG) (and (instance ?MAG Magnetism) (instrument ?MAG ?M)))) |
Cars.kif 3951-3956 | If X is an instance of magnet, then there exists Y such that Y is an instance of magnetism and X is an instrument for Y |
| (=> (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 3971-3981 | 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 3983-3999 | 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 |
| (=> (instance ?MF MagneticField) (exists (?MAGNETISM) (and (instance ?MAGNETISM Magnetism) (eventLocated ?MAGNETISM ?MF)))) |
Mid-level-ontology.kif 17293-17298 | If X is an instance of magnetic field, then there exists Y such that Y is an instance of magnetism and Y is located at X |
|
|
|