WaterSport
|
|
appearance as argument number 1 |
(documentation WaterSport EnglishLanguage "WaterSport is a type of Sport that is played on Water") | Sports.kif 1207-1208 | |
(subclass WaterSport Sport) | Sports.kif 1206-1206 | WaterSport est une sous-classe de sport |
appearance as argument number 2 |
(subclass KiteSurfing WaterSport) | Sports.kif 222-222 | KiteSurfing est une sous-classe de WaterSport |
(subclass Rafting WaterSport) | Sports.kif 233-233 | Rafting est une sous-classe de WaterSport |
(subclass Surfing WaterSport) | Sports.kif 208-208 | Surfing est une sous-classe de WaterSport |
(subclass WaterSkiing WaterSport) | Sports.kif 1240-1240 | WaterSkiing est une sous-classe de WaterSport |
(subclass WindSurfing WaterSport) | Sports.kif 1299-1299 | WindSurfing est une sous-classe de WaterSport |
(termFormat EnglishLanguage WaterSport "water sport") | Sports.kif 1209-1209 |
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 1211-1223 |
|
consequent |
(=> (instance ?X WaterBoard) (hasPurpose ?X (exists (?WS) (and (instance ?WS WaterSport) (instrument ?WS ?X))))) |
Sports.kif 1270-1276 |
|