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 1280-1281 | |
(subclass WindSurfingBoard TransportationDevice) | Sports.kif 1279-1279 | WindSurfingBoard ist eine teilkategorie von TransportationDevice |
(subclass WindSurfingBoard WaterBoard) | Sports.kif 1278-1278 | WindSurfingBoard ist eine teilkategorie von WaterBoard |
appearance as argument number 2 |
(termFormat EnglishLanguage WindSurfingBoard "wind surfing board") | Sports.kif 1282-1282 |
antecedent |
(=> (instance ?X WindSurfingBoard) (exists (?SAIL) (and (instance ?SAIL Sail) (part ?SAIL ?X)))) |
Sports.kif 1284-1289 |
|
(=> (instance ?X WindSurfingBoard) (hasPurpose ?X (exists (?SURF) (and (instance ?SURF WindSurfing) (instrument ?SURF ?X))))) |
Sports.kif 1291-1297 |
|
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 1304-1315 |
|