Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WindSurfing
WindSurfing

appearance as argument number 1
-------------------------


(documentation WindSurfing EnglishLanguage "WindSurfing is a type of &$WaterSport that combines surfing and sailing") Sports.kif 1300-1301
(subclass WindSurfing WaterSport) Sports.kif 1299-1299 WindSurfingWaterSportsubclass

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage WindSurfing "wind surfing") Sports.kif 1302-1302

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 1304-1315

consequent
-------------------------


(=>
    (instance ?X WindSurfingBoard)
    (hasPurpose ?X
        (exists (?SURF)
            (and
                (instance ?SURF WindSurfing)
                (instrument ?SURF ?X)))))
Sports.kif 1291-1297


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners