| (subclass Automobile SelfPoweredRoadVehicle) | Transportation.kif 1955-1955 | |
| (subclass Automobile PassengerVehicle) | Transportation.kif 1956-1956 | |
| (subclass Automobile PhysicalSystem) | Cars.kif 836-836 | |
| (subclass Taxicab Automobile) | Transportation.kif 1970-1970 | |
| (subclass CommodoreAutomobile Automobile) | Cars.kif 4508-4508 | |
| (subclass MiniCooper Automobile) | Cars.kif 4854-4854 | |
| (subclass HoldenToranaAutomobile Automobile) | Cars.kif 4866-4866 | |
| (subclass FordAutomobile Automobile) | Cars.kif 4912-4912 | |
| (subclass ChevroletAutomobile Automobile) | Cars.kif 4969-4969 | |
| (subclass Corvette Automobile) | Cars.kif 5121-5121 |
|
|