(subclass EightCylinderEngine IntermittentCombustionEngine) | Cars.kif 4572-4572 | EightCylinderEngine は IntermittentCombustionEngine の subclass では %n |
(subclass RoverV8Engine EightCylinderEngine) | Cars.kif 4720-4720 | RoverV8Engine は EightCylinderEngine の subclass では %n |
(subclass GMLs1V8engine EightCylinderEngine) | Cars.kif 5122-5122 | GMLs1V8engine は EightCylinderEngine の subclass では %n |