| Magnet(magnet) | | bar_magnet, core, field_magnet, magnet, magnetic_needle, magnetic_pole, paramagnet, permanent_magnet, pole, static_magnet |
| appearance as argument number 1 |
|
|
| (subclass Magnet Object) | Cars.kif 3944-3944 | Magnet is a subclass of object |
| (documentation Magnet EnglishLanguage "Any object that emits Magnetism. Note that this includes both NaturalMagnets and Electromagnets and therefore the most specific superclass is Object, since natural magnets are divisible Substances and electromagnets are CorpuscularObjects.") | Cars.kif 3946-3949 | Magnet is a subclass of object |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Magnet "magnet") | Cars.kif 3945-3945 | |
| (subclass NaturalMagnet Magnet) | Cars.kif 3958-3958 | Magnet is a subclass of magnet |
| (subclass Electromagnet Magnet) | Cars.kif 3964-3964 | Electromagnet is a subclass of magnet |
| antecedent |
|
|
| (=> (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 |
|
|
|