|
|
   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 4747-4749 | |
| (subclass AllTerrainVehicle LandVehicle) | Cars.kif 4746-4746 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AllTerrainVehicle "ATV") | Cars.kif 4750-4750 | |
| (termFormat EnglishLanguage AllTerrainVehicle "all-terrain vehicle") | Cars.kif 4751-4751 |
| 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 4753-4763 |
|
|
|