Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   AllTerrainVehicle
|
|
|
| appearance as argument number 1 |
|
|
| (subclass AllTerrainVehicle LandVehicle) | Cars.kif 4653-4653 | All_terrain vehicle is a subclass of land vehicle |
| (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 4654-4656 | All_terrain vehicle is a subclass of land vehicle |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AllTerrainVehicle "ATV") | Cars.kif 4657-4657 | |
| (termFormat EnglishLanguage AllTerrainVehicle "all_terrain vehicle") | Cars.kif 4658-4658 |
| 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 4660-4670 | If X is an instance of all_terrain vehicle, then X has the purpose there exist Y, Z such that Y is an instance of transportation, X is an instrument for Y, X is on to Z holds during the time of existence of Y, and Z is not an instance of roadway |
|