| (subclass SelfPoweredRoadVehicle RoadVehicle) | Transportation.kif 1811-1811 | |
| (subclass SelfPoweredRoadVehicle PoweredVehicle) | Transportation.kif 1812-1812 | |
| (subclass Motorcycle SelfPoweredRoadVehicle) | Transportation.kif 1884-1884 | |
| (subclass Automobile SelfPoweredRoadVehicle) | Transportation.kif 1955-1955 | |
| (subclass Bus SelfPoweredRoadVehicle) | Transportation.kif 1974-1974 | |
| (subclass Truck SelfPoweredRoadVehicle) | Transportation.kif 2017-2017 |
|
|