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 1242-1244 | |
(subclass WaterSkiing WaterSport) | Sports.kif 1241-1241 | WaterSkiing 是 WaterSport 的 subclass |
appearance as argument number 2 |
(termFormat EnglishLanguage WaterSkiing "water skiing") | Sports.kif 1245-1245 |
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 1247-1264 |
|