| Magnet(magnet) | | bar_magnet, core, field_magnet, magnet, magnetic_needle, magnetic_pole, paramagnet, permanent_magnet, pole, static_magnet |
| appearance as argument number 1 |
|
|
| (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 3929-3932 | |
| (subclass Magnet Object) | Cars.kif 3927-3927 | Magnet is a subclass of object |
| appearance as argument number 2 |
|
|
| (subclass Electromagnet Magnet) | Cars.kif 3947-3947 | Electromagnet is a subclass of magnet |
| (subclass NaturalMagnet Magnet) | Cars.kif 3941-3941 | Magnet is a subclass of magnet |
| (termFormat EnglishLanguage Magnet "magnet") | Cars.kif 3928-3928 | Magnet is a subclass of magnet |
| antecedent |
|
|
| (=> (instance ?M Magnet) (exists (?MAG) (and (instance ?MAG Magnetism) (instrument ?MAG ?M)))) |
Cars.kif 3934-3939 |
|
|
|
|