|
|
   WaterSki
|
|
|
| appearance as argument number 1 |
|
|
| (documentation WaterSki EnglishLanguage "WaterSki is a type of TransportationDevice used to glide through water") | Sports.kif 1226-1227 | |
| (subclass WaterSki TransportationDevice) | Sports.kif 1225-1225 | WaterSki est une sous-classe de v�hicule de transport |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage WaterSki "water ski") | Sports.kif 1228-1228 |
| antecedent |
|
|
| (=> (instance ?SKI WaterSki) (hasPurpose ?SKI (exists (?GLIDE ?WATER) (and (instance ?WATER WaterArea) (instance ?GLIDE Transportation) (instrument ?GLIDE ?SKI) (eventLocated ?GLIDE ?WATER))))) |
Sports.kif 1230-1238 |
|
| consequent |
|
|
|
|
|