Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| WaterSport(water sport) |  | aquatics, water_polo, water_sport |
| appearance as argument number 1 |
|
|
| (subclass WaterSport Sport) | Sports.kif 1234-1234 | Water sport is a subclass of sport |
| (documentation WaterSport EnglishLanguage "WaterSport is a type of Sport that is played on Water") | Sports.kif 1235-1236 | Water sport is a subclass of sport |
| appearance as argument number 2 |
|
|
| (subclass Surfing WaterSport) | Sports.kif 220-220 | Surfing is a subclass of water sport |
| (subclass KiteSurfing WaterSport) | Sports.kif 234-234 | Kite surfing is a subclass of water sport |
| (subclass Rafting WaterSport) | Sports.kif 245-245 | Rafting is a subclass of water sport |
| (termFormat EnglishLanguage WaterSport "water sport") | Sports.kif 1237-1237 | Rafting is a subclass of water sport |
| (subclass WaterSkiing WaterSport) | Sports.kif 1268-1268 | Water skiing is a subclass of water sport |
| (subclass WindSurfing WaterSport) | Sports.kif 1327-1327 | Wind surfing is a subclass of water sport |
| antecedent |
|
|
| (=> (instance ?X WaterSport) (exists (?W) (and (or (instance ?W WaterArea) (and (instance ?W FluidContainer) (exists (?WATER) (and (instance ?WATER Water) (located ?WATER ?W))))) (eventLocated ?X ?W)))) |
Sports.kif 1239-1251 | If X is an instance of water sport, then there exists Y such that Y is an instance of water area or Y is an instance of fluid container, there exists Z such that Z is an instance of water, Z is located at Y, and X is located at Y |
| consequent |
|
|
| (=> (instance ?X WaterBoard) (hasPurpose ?X (exists (?WS) (and (instance ?WS WaterSport) (instrument ?WS ?X))))) |
Sports.kif 1298-1304 | If X is an instance of water board, then X has the purpose there exists Y such that Y is an instance of water sport and X is an instrument for Y |
|