| Magnetism | |
| appearance as argument number 1 |
|
|
| (documentation Magnetism EnglishLanguage "Any instance of RadiatingElectromagnetic which involves the attraction of Iron.") | Mid-level-ontology.kif 17152-17153 | |
| (subclass Magnetism RadiatingElectromagnetic) | Mid-level-ontology.kif 17151-17151 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Magnetism "磁") | domainEnglishFormat.kif 35642-35642 | |
| (termFormat ChineseTraditionalLanguage Magnetism "磁") | domainEnglishFormat.kif 35641-35641 | |
| (termFormat EnglishLanguage Magnetism "magnetism") | domainEnglishFormat.kif 35640-35640 |
| 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 17162-17167 |
|
|
|