(subclass Magnet Object) | Cars.kif 3866-3866 | Magnet は オブジェクト の subclass では %n |
(subclass NaturalMagnet Magnet) | Cars.kif 3880-3880 | NaturalMagnet は Magnet の subclass では %n |
(subclass Electromagnet Magnet) | Cars.kif 3886-3886 | Electromagnet は Magnet の subclass では %n |