| Magnetism | |
| appearance as argument number 1 |
|
|
| (documentation Magnetism EnglishLanguage "Any instance of RadiatingElectromagnetic which involves the attraction of Iron.") | Mid-level-ontology.kif 17141-17142 | |
| (subclass Magnetism RadiatingElectromagnetic) | Mid-level-ontology.kif 17140-17140 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Magnetism "磁") | domainEnglishFormat.kif 35641-35641 | |
| (termFormat ChineseTraditionalLanguage Magnetism "磁") | domainEnglishFormat.kif 35640-35640 | |
| (termFormat EnglishLanguage Magnetism "magnetism") | domainEnglishFormat.kif 35639-35639 |
| consequent |
|
|
| (=> (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 3954-3964 | |
| (=> (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 3966-3982 | |
| (=> (instance ?M Magnet) (exists (?MAG) (and (instance ?MAG Magnetism) (instrument ?MAG ?M)))) |
Cars.kif 3934-3939 | |
| (=> (instance ?MF MagneticField) (exists (?MAGNETISM) (and (instance ?MAGNETISM Magnetism) (eventLocated ?MAGNETISM ?MF)))) |
Mid-level-ontology.kif 17151-17156 |
|
|
|