| 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 1302-1303 | |
| (subclass WindSurfing WaterSport) | Sports.kif 1301-1301 | Wind surfing is a subclass of water sport |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage WindSurfing "wind surfing") | Sports.kif 1304-1304 |
| 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 1306-1317 |
|
| consequent |
|
|
| (=> (instance ?X WindSurfingBoard) (hasPurpose ?X (exists (?SURF) (and (instance ?SURF WindSurfing) (instrument ?SURF ?X))))) |
Sports.kif 1293-1299 |
|
|
|
|