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