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 | AllTerrainVehicle ist eine teilkategorie von LandVehicle |
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 |
|