WindSurfing
|
|
appearance as argument number 1 |
(documentation WindSurfing EnglishLanguage "WindSurfing is a type of &$WaterSport that combines surfing and sailing") | Sports.kif 1300-1301 | |
(subclass WindSurfing WaterSport) | Sports.kif 1299-1299 | WindSurfing est une sous-classe de WaterSport |
appearance as argument number 2 |
(termFormat EnglishLanguage WindSurfing "wind surfing") | Sports.kif 1302-1302 |
antecedent |
(=> (instance ?X WindSurfing) (exists (?BOARD ?WATER ?MOTION ?WIND) (and (instance ?BOARD WindSurfingBoard) (instance ?WATER WaterArea) (instance ?WIND Wind) (instance ?MOTION Motion) (eventLocated ?X ?WATER) (subProcess ?MOTION ?X) (instrument ?MOTION ?BOARD) (causes ?WIND ?MOTION)))) |
Sports.kif 1304-1315 |
|
consequent |
(=> (instance ?X WindSurfingBoard) (hasPurpose ?X (exists (?SURF) (and (instance ?SURF WindSurfing) (instrument ?SURF ?X))))) |
Sports.kif 1291-1297 |
|