| Magnetism(magnetism) | | magnetic, magnetic_attraction, magnetic_force, magnetism, paramagnetic |
| appearance as argument number 1 |
|
|
| (subclass Magnetism RadiatingElectromagnetic) | Mid-level-ontology.kif 17303-17303 | Magnetism is a subclass of radiating electromagnetic |
| (documentation Magnetism EnglishLanguage "Any instance of RadiatingElectromagnetic which involves the attraction of Iron.") | Mid-level-ontology.kif 17304-17305 | Magnetism is a subclass of radiating electromagnetic |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?MF MagneticField) (exists (?MAGNETISM) (and (instance ?MAGNETISM Magnetism) (eventLocated ?MAGNETISM ?MF)))) |
Mid-level-ontology.kif 17316-17321 | 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 |
| (=> (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 |
|
|
|