(subclass SpeedGovernor Device) | Cars.kif 2904-2904 | Governor is a subclass of device |
(subclass EngineGovernor SpeedGovernor) | Cars.kif 2923-2923 | Governor is a subclass of governor |
(subclass AutomobileGovernor SpeedGovernor) | Cars.kif 2950-2950 | Governor is a subclass of governor |