ATVTire(atv tire) |
appearance as argument number 1 |
![]() |
(documentation ATVTire EnglishLanguage "A Tire designed to fit the WheelRim on an AllTerrainVehicle.") | Cars.kif 4816-4817 | |
(subclass ATVTire Tire) | Cars.kif 4815-4815 | Atv tire is a subclass of tire |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage ATVTire "atv tire") | Cars.kif 4818-4818 |
![]() |
![]() |