| (subclass Automobile SelfPoweredRoadVehicle) | Transportation.kif 1947-1947 | |
| (subclass Automobile PassengerVehicle) | Transportation.kif 1948-1948 | |
| (subclass Automobile PhysicalSystem) | Cars.kif 836-836 | |
| (subclass Taxicab Automobile) | Transportation.kif 1962-1962 | |
| (subclass CommodoreAutomobile Automobile) | Cars.kif 4513-4513 | |
| (subclass MiniCooper Automobile) | Cars.kif 4859-4859 | |
| (subclass HoldenToranaAutomobile Automobile) | Cars.kif 4871-4871 | |
| (subclass FordAutomobile Automobile) | Cars.kif 4917-4917 | |
| (subclass ChevroletAutomobile Automobile) | Cars.kif 4974-4974 | |
| (subclass Corvette Automobile) | Cars.kif 5126-5126 |
|
|