(subclass Magnet Object) | Cars.kif 3874-3874 | Magnet est une sous-classe de objet |
(subclass NaturalMagnet Magnet) | Cars.kif 3888-3888 | NaturalMagnet est une sous-classe de Magnet |
(subclass Electromagnet Magnet) | Cars.kif 3894-3894 | Electromagnet est une sous-classe de Magnet |