(subclass Magnet Object) | Cars.kif 3874-3874 | Magnet is a subclass of object |
(subclass NaturalMagnet Magnet) | Cars.kif 3888-3888 | Magnet is a subclass of magnet |
(subclass Electromagnet Magnet) | Cars.kif 3894-3894 | Electromagnet is a subclass of magnet |
![]() |