(subclass EngineCycle Motion) | Cars.kif 80-80 | EngineCycle est une sous-classe de d�palcement |
(subclass FourStrokeEngineCycle EngineCycle) | Cars.kif 134-134 | FourStrokeEngineCycle est une sous-classe de EngineCycle |
(subclass TwoStrokeEngineCycle EngineCycle) | Cars.kif 251-251 | TwoStrokeEngineCycle est une sous-classe de EngineCycle |