| Magnetism | |
| appearance as argument number 1 |
|
|
| (documentation Magnetism EnglishLanguage "Any instance of RadiatingElectromagnetic which involves the attraction of Iron.") | Mid-level-ontology.kif 16029-16030 | |
| (subclass Magnetism RadiatingElectromagnetic) | Mid-level-ontology.kif 16028-16028 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Magnetism "磁") | domainEnglishFormat.kif 35662-35662 | |
| (termFormat ChineseTraditionalLanguage Magnetism "磁") | domainEnglishFormat.kif 35661-35661 | |
| (termFormat EnglishLanguage Magnetism "magnetism") | domainEnglishFormat.kif 35660-35660 |
| 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 |
|
|
|