WaterSkiing
|
|
appearance as argument number 1 |
(documentation WaterSkiing EnglishLanguage "WaterSkiing is a type of WaterSport wherein WaterSki is used to glid across the surface of the Water while being towed by a motorboat") | Sports.kif 1241-1243 | |
(subclass WaterSkiing WaterSport) | Sports.kif 1240-1240 |
appearance as argument number 2 |
(termFormat EnglishLanguage WaterSkiing "water skiing") | Sports.kif 1244-1244 |
antecedent |
(=> (instance ?X WaterSkiing) (exists (?HUMAN ?SKI ?BOAT ?LINE ?WATER ?TRANS ?MOTION) (and (instance ?BOAT WaterVehicle) (instance ?WATER WaterArea) (instance ?SKI WaterSki) (eventLocated ?X ?WATER) (instance ?HUMAN Human) (located ?HUMAN ?SKI) (connects ?LINE ?HUMAN ?BOAT) (instance ?TRANS Transportation) (instrument ?TRANS ?BOAT) (instance ?MOTION Motion) (agent ?MOTION ?HUMAN) (instrument ?MOTION ?SKI) (causes ?TRANS ?MOTION) (subProcess ?MOTION ?X)))) |
Sports.kif 1246-1263 |