(subclass EightCylinderEngine IntermittentCombustionEngine) | Cars.kif 4549-4549 | EightCylinderEngine は IntermittentCombustionEngine の subclass では %n |
(subclass RoverV8Engine EightCylinderEngine) | Cars.kif 4697-4697 | RoverV8Engine は EightCylinderEngine の subclass では %n |
(subclass GMLs1V8engine EightCylinderEngine) | Cars.kif 5099-5099 | GMLs1V8engine は EightCylinderEngine の subclass では %n |