| 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 4822-4824 | |
| (subclass AllTerrainVehicle LandVehicle) | Cars.kif 4821-4821 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AllTerrainVehicle "ATV") | Cars.kif 4825-4825 | |
| (termFormat EnglishLanguage AllTerrainVehicle "all-terrain vehicle") | Cars.kif 4826-4826 |
| 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 4828-4838 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners