| (subclass SelfPoweredRoadVehicle RoadVehicle) | Transportation.kif 1943-1943 | |
| (subclass SelfPoweredRoadVehicle PoweredVehicle) | Transportation.kif 1944-1944 | |
| (subclass Motorcycle SelfPoweredRoadVehicle) | Transportation.kif 2016-2016 | |
| (subclass Automobile SelfPoweredRoadVehicle) | Transportation.kif 2087-2087 | |
| (subclass Bus SelfPoweredRoadVehicle) | Transportation.kif 2106-2106 | |
| (subclass Truck SelfPoweredRoadVehicle) | Transportation.kif 2149-2149 |
|
|