| WindSurfing(wind surfing) | | windsurf |
| appearance as argument number 1 |
|
|
| (documentation WindSurfing EnglishLanguage "WindSurfing is a type of &$WaterSport that combines surfing and sailing") | Sports.kif 1314-1315 | |
| (subclass WindSurfing WaterSport) | Sports.kif 1313-1313 | Wind surfing is a subclass of water sport |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage WindSurfing "wind surfing") | Sports.kif 1316-1316 |
| 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 1318-1329 |
|
| consequent |
|
|
| (=> (instance ?X WindSurfingBoard) (hasPurpose ?X (exists (?SURF) (and (instance ?SURF WindSurfing) (instrument ?SURF ?X))))) |
Sports.kif 1305-1311 |
|
|
|
|