Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| WaterSki(water ski) |
| appearance as argument number 1 |
|
| (subclass WaterSki TransportationDevice) | Sports.kif 1253-1253 | Water ski is a subclass of transportation device |
| (documentation WaterSki EnglishLanguage "WaterSki is a type of TransportationDevice used to glide through water") | Sports.kif 1254-1255 | Water ski is a subclass of transportation device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage WaterSki "water ski") | Sports.kif 1256-1256 |
| antecedent |
|
|
| (=> (instance ?SKI WaterSki) (hasPurpose ?SKI (exists (?GLIDE ?WATER) (and (instance ?WATER WaterArea) (instance ?GLIDE Transportation) (instrument ?GLIDE ?SKI) (eventLocated ?GLIDE ?WATER))))) |
Sports.kif 1258-1266 | If X is an instance of water ski, then X has the purpose there exist Y, Z such that Z is an instance of water area, Y is an instance of transportation, X is an instrument for Y, and Y is located at Z |
| consequent |
|
|
| (=> (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 |
|