| (subclass SpeedGovernor Device) | Cars.kif 2904-2904 | SpeedGovernor は デバイス の subclass では %n |
| (subclass EngineGovernor SpeedGovernor) | Cars.kif 2923-2923 | EngineGovernor は SpeedGovernor の subclass では %n |
| (subclass AutomobileGovernor SpeedGovernor) | Cars.kif 2950-2950 | AutomobileGovernor は SpeedGovernor の subclass では %n |
|
|