WaterSki
|
|
appearance as argument number 1 |
(documentation WaterSki EnglishLanguage "WaterSki is a type of TransportationDevice used to glide through water") | Sports.kif 1227-1228 | |
(subclass WaterSki TransportationDevice) | Sports.kif 1226-1226 | WaterSki e' uma sub-classe de Veiculo de Transporte |
appearance as argument number 2 |
(termFormat EnglishLanguage WaterSki "water ski") | Sports.kif 1229-1229 |
antecedent |
(=> (instance ?SKI WaterSki) (hasPurpose ?SKI (exists (?GLIDE ?WATER) (and (instance ?WATER WaterArea) (instance ?GLIDE Transportation) (instrument ?GLIDE ?SKI) (eventLocated ?GLIDE ?WATER))))) |
Sports.kif 1231-1239 |
|
consequent |