WindSurfingBoard
|
|
appearance as argument number 1 |
(documentation WindSurfingBoard EnglishLanguage "WindSurfingBoard is a WaterBoard with a Mast and Sail that uses the Wind to glide through Water") | Sports.kif 1281-1282 | |
(subclass WindSurfingBoard TransportationDevice) | Sports.kif 1280-1280 | WindSurfingBoard e' uma sub-classe de Veiculo de Transporte |
(subclass WindSurfingBoard WaterBoard) | Sports.kif 1279-1279 | WindSurfingBoard e' uma sub-classe de WaterBoard |
appearance as argument number 2 |
(termFormat EnglishLanguage WindSurfingBoard "wind surfing board") | Sports.kif 1283-1283 |
antecedent |
(=> (instance ?X WindSurfingBoard) (exists (?SAIL) (and (instance ?SAIL Sail) (part ?SAIL ?X)))) |
Sports.kif 1285-1290 | |
(=> (instance ?X WindSurfingBoard) (hasPurpose ?X (exists (?SURF) (and (instance ?SURF WindSurfing) (instrument ?SURF ?X))))) |
Sports.kif 1292-1298 |
|
consequent |
(=> (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 |
|