WindSurfing - Sigma Knowledge base Browser

appearance as argument number 1

(subclass WindSurfing WaterSport)	Sports.kif 1327-1327	Wind surfing is a subclass of water sport
(documentation WindSurfing EnglishLanguage "WindSurfing is a type of &$WaterSport that combines surfing and sailing")	Sports.kif 1328-1329	Wind surfing is a subclass of water sport

appearance as argument number 2

(termFormat EnglishLanguage WindSurfing "wind surfing")

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

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

consequent

(=>
    (instance ?X WindSurfingBoard)
    (hasPurpose ?X
        (exists (?SURF)
            (and
                (instance ?SURF WindSurfing)
                (instrument ?SURF ?X)))))

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