|
|
   WaterSport
|
|
|
| appearance as argument number 1 |
|
|
| (documentation WaterSport EnglishLanguage "WaterSport is a type of Sport that is played on Water") | Sports.kif 1208-1209 | |
| (subclass WaterSport Sport) | Sports.kif 1207-1207 | WaterSport ist eine teilkategorie von Sport |
| appearance as argument number 2 |
|
|
| (subclass KiteSurfing WaterSport) | Sports.kif 222-222 | KiteSurfing ist eine teilkategorie von WaterSport |
| (subclass Rafting WaterSport) | Sports.kif 233-233 | Rafting ist eine teilkategorie von WaterSport |
| (subclass Surfing WaterSport) | Sports.kif 208-208 | Surfing ist eine teilkategorie von WaterSport |
| (subclass WaterSkiing WaterSport) | Sports.kif 1241-1241 | WaterSkiing ist eine teilkategorie von WaterSport |
| (subclass WindSurfing WaterSport) | Sports.kif 1300-1300 | WindSurfing ist eine teilkategorie von WaterSport |
| (termFormat EnglishLanguage WaterSport "water sport") | Sports.kif 1210-1210 |
| 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 1212-1224 |
|
| consequent |
|
|
| (=> (instance ?X WaterBoard) (hasPurpose ?X (exists (?WS) (and (instance ?WS WaterSport) (instrument ?WS ?X))))) |
Sports.kif 1271-1277 |
|
|
|
|