(subclass Magnet Object) | Cars.kif 3874-3874 | Magnet è una sottoclasse di Oggetto |
(subclass NaturalMagnet Magnet) | Cars.kif 3888-3888 | NaturalMagnet è una sottoclasse di Magnet |
(subclass Electromagnet Magnet) | Cars.kif 3894-3894 | Electromagnet è una sottoclasse di Magnet |