(subclass TwoStrokeEngine IntermittentCombustionEngine) | Cars.kif 240-240 | TwoStrokeEngine は IntermittentCombustionEngine の subclass では %n |
(subclass SeagullOutboard TwoStrokeEngine) | Cars.kif 4736-4736 | SeagullOutboard は TwoStrokeEngine の subclass では %n |