ATVTire |
appearance as argument number 1 |
(documentation ATVTire EnglishLanguage "A Tire designed to fit the WheelRim on an AllTerrainVehicle.") | Cars.kif 4824-4825 | |
(subclass ATVTire Tire) | Cars.kif 4823-4823 |
appearance as argument number 2 |
(termFormat EnglishLanguage ATVTire "atv tire") | Cars.kif 4826-4826 |