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 3868-3871 | |
(subclass Magnet Object) | Cars.kif 3866-3866 | Magnet ist eine teilkategorie von Object |
appearance as argument number 2 |
(subclass Electromagnet Magnet) | Cars.kif 3886-3886 | Electromagnet ist eine teilkategorie von Magnet |
(subclass NaturalMagnet Magnet) | Cars.kif 3880-3880 | NaturalMagnet ist eine teilkategorie von Magnet |
(termFormat EnglishLanguage Magnet "magnet") | Cars.kif 3867-3867 |
antecedent |
(=> (instance ?M Magnet) (exists (?MAG) (and (instance ?MAG Magnetism) (instrument ?MAG ?M)))) |
Cars.kif 3873-3878 |