WindSurfingBoard - Sigma Knowledge base Browser

appearance as argument number 2

antecedent

(=> (instance ?X WindSurfingBoard) (exists (?SAIL) (and (instance ?SAIL Sail) (part ?SAIL ?X))))	Sports.kif 1312-1317	If X is an instance of wind surfing board, then there exists Y such that Y is an instance of sail and Y is a part of X
(=> (instance ?X WindSurfingBoard) (hasPurpose ?X (exists (?SURF) (and (instance ?SURF WindSurfing) (instrument ?SURF ?X)))))	Sports.kif 1319-1325	If X is an instance of wind surfing board, then X has the purpose there exists Y such that Y is an instance of wind surfing and X is an instrument for Y

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))))

If X is an instance of wind surfing, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of wind surfing board (3) Z is an instance of water area (4) V is an instance of wind (5) W is an instance of motion (6) X is located at Z (7) W is a subprocess of X (8) Y is an instrument for W (9) V causes W

(subclass WindSurfingBoard WaterBoard)	Sports.kif 1306-1306	Wind surfing board is a subclass of water board
(subclass WindSurfingBoard TransportationDevice)	Sports.kif 1307-1307	Wind surfing board is a subclass of transportation device
(documentation WindSurfingBoard EnglishLanguage "WindSurfingBoard is a WaterBoard with a Mast and Sail that uses the Wind to glide through Water")	Sports.kif 1308-1309	Wind surfing board is a subclass of transportation device