| (subclass Vehicle TransportationDevice) | Merge.kif 15974-15974 | |
| (subclass PassengerVehicle Vehicle) | Transportation.kif 1742-1742 | |
| (subclass CargoVehicle Vehicle) | Transportation.kif 1760-1760 | |
| (subclass UnpoweredVehicle Vehicle) | Transportation.kif 1783-1783 | |
| (subclass PoweredVehicle Vehicle) | Transportation.kif 1793-1793 | |
| (subclass AgentPoweredVehicle Vehicle) | Transportation.kif 1811-1811 | |
| (subclass MilitaryVehicle Vehicle) | Military.kif 131-131 | |
| (subclass ArmoredVehicle Vehicle) | MilitaryDevices.kif 1596-1596 | |
| (subclass LandVehicle Vehicle) | Mid-level-ontology.kif 3465-3465 | |
| (subclass WaterVehicle Vehicle) | Mid-level-ontology.kif 3483-3483 | |
| (subclass Spacecraft Vehicle) | Mid-level-ontology.kif 17711-17711 | |
| (subclass Aircraft Vehicle) | Mid-level-ontology.kif 17817-17817 | |
| (subclass RecreationalVehicle Vehicle) | Mid-level-ontology.kif 25763-25763 | |
| (subclass DamagedVehicle Vehicle) | Mid-level-ontology.kif 30092-30092 |
|
|