Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Magnetism
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Magnetism RadiatingElectromagnetic) | Mid-level-ontology.kif 17377-17377 | Magnetism is a subclass of radiating electromagnetic |
| (documentation Magnetism EnglishLanguage "Any instance of RadiatingElectromagnetic which involves the attraction of Iron.") | Mid-level-ontology.kif 17378-17379 | 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 17390-17395 | 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 3742-3747 | 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 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 |
|