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 は 輸送機 の subclass では %n |
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 |