| (subclass SelfPoweredRoadVehicle RoadVehicle) | Transportation.kif 1803-1803 | |
| (subclass SelfPoweredRoadVehicle PoweredVehicle) | Transportation.kif 1804-1804 | |
| (subclass Motorcycle SelfPoweredRoadVehicle) | Transportation.kif 1876-1876 | |
| (subclass Automobile SelfPoweredRoadVehicle) | Transportation.kif 1947-1947 | |
| (subclass Bus SelfPoweredRoadVehicle) | Transportation.kif 1966-1966 | |
| (subclass Truck SelfPoweredRoadVehicle) | Transportation.kif 2009-2009 |
|
|