|
|
   AllTerrainVehicle
|
|
|
| appearance as argument number 1 |
|
|
| (documentation AllTerrainVehicle EnglishLanguage "A Vehicle that travels on low-pressure tires, with a seat that is straddled by the operator, along with handlebars for Steering control, that is designed to handle a wider variety of terrain than most RoadVehicles") | Cars.kif 4765-4767 | |
| (subclass AllTerrainVehicle LandVehicle) | Cars.kif 4764-4764 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AllTerrainVehicle "ATV") | Cars.kif 4768-4768 | |
| (termFormat EnglishLanguage AllTerrainVehicle "all-terrain vehicle") | Cars.kif 4769-4769 |
| antecedent |
|
|
| (=> (instance ?ATV AllTerrainVehicle) (hasPurpose ?ATV (exists (?D ?L) (and (instance ?D Transportation) (instrument ?D ?ATV) (holdsDuring (WhenFn ?D) (orientation ?ATV ?L On)) (not (instance ?L Roadway)))))) |
Cars.kif 4771-4781 |
|
|
|