Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| WaterSkiing(water skiing) |  | water-skiing |
| appearance as argument number 1 |
|
|
| (subclass WaterSkiing WaterSport) | Sports.kif 1268-1268 | Water skiing is a subclass of water sport |
| (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 1269-1271 | Water skiing is a subclass of water sport |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage WaterSkiing "water skiing") | Sports.kif 1272-1272 |
| 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 1274-1291 | If X is an instance of water skiing, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U,, , T (2) S such that W is an instance of water vehicle (3) U is an instance of water area (4) Z is an instance of water ski (5) X is located at U (6) Y is an instance of human (7) Y is located at Z (8) V connects Y (9) W (10) T is an instance of transportation (11) W is an instrument for T (12) S is an instance of motion (13) Y is an agent of S (14) Z is an instrument for S (15) T causes S (16) S is a subprocess of X |
|