| (subclass Magnet Object) | Cars.kif 3874-3874 | Magnet ist eine teilkategorie von Object |
| (subclass NaturalMagnet Magnet) | Cars.kif 3888-3888 | NaturalMagnet ist eine teilkategorie von Magnet |
| (subclass Electromagnet Magnet) | Cars.kif 3894-3894 | Electromagnet ist eine teilkategorie von Magnet |
|
|