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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Surfing
Surfingsurf, surfboard, surfboarding, surfing, surfriding

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


(documentation Surfing EnglishLanguage "The sport of riding a surfboard towards the shore on the crest of a wave.") Sports.kif 174-174
(subclass Surfing Sport) Sports.kif 172-172 Surfing is a subclass of sport
(subclass Surfing WaterSport) Sports.kif 173-173 Surfing is a subclass of water sport

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


(=>
    (instance ?X Surfboard)
    (hasPurpose ?X
        (exists (?S)
            (and
                (instance ?S Surfing)
                (instrument ?S ?X)))))
Sports.kif 178-184


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