(subclass WearingFrictionSurface Device) | Cars.kif 582-582 | WearingFrictionSurface は デバイス の subclass では %n |
(subclass BrakeShoe WearingFrictionSurface) | Cars.kif 596-596 | BrakeShoe は WearingFrictionSurface の subclass では %n |
(subclass BrakePad WearingFrictionSurface) | Cars.kif 658-658 | BrakePad は WearingFrictionSurface の subclass では %n |