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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WaterSport
WaterSport(water sport)aquatics, water_polo, water_sport

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


(documentation WaterSport EnglishLanguage "WaterSport is a type of Sport that is played on Water") Sports.kif 1059-1060
(subclass WaterSport Sport) Sports.kif 1058-1058 Water sport is a subclass of sport

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


(subclass KiteSurfing WaterSport) Sports.kif 187-187 KiteSurfing is a subclass of water sport
(subclass Rafting WaterSport) Sports.kif 198-198 Rafting is a subclass of water sport
(subclass Surfing WaterSport) Sports.kif 173-173 Surfing is a subclass of water sport
(subclass WaterSkiing WaterSport) Sports.kif 1092-1092 Water skiing is a subclass of water sport
(subclass WindSurfing WaterSport) Sports.kif 1151-1151 Wind surfing is a subclass of water sport
(termFormat EnglishLanguage WaterSport "water sport") Sports.kif 1061-1061

antecedent
-------------------------


(=>
    (instance ?X WaterSport)
    (exists (?W)
        (and
            (or
                (instance ?W WaterArea)
                (and
                    (instance ?W FluidContainer)
                    (exists (?WATER)
                        (and
                            (instance ?WATER Water)
                            (located ?WATER ?W)))))
            (eventLocated ?X ?W))))
Sports.kif 1063-1075

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


(=>
    (instance ?X WaterBoard)
    (hasPurpose ?X
        (exists (?WS)
            (and
                (instance ?WS WaterSport)
                (instrument ?WS ?X)))))
Sports.kif 1122-1128


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners