WaterSport - Sigma Knowledge base Browser

appearance as argument number 1

(documentation WaterSport EnglishLanguage "WaterSport is a type of Sport that is played on Water")	Sports.kif 1221-1222
(subclass WaterSport Sport)	Sports.kif 1220-1220	Water sport is a subclass of sport

appearance as argument number 2

(subclass KiteSurfing WaterSport)	Sports.kif 234-234	Kite surfing is a subclass of water sport
(subclass Rafting WaterSport)	Sports.kif 245-245	Rafting is a subclass of water sport
(subclass Surfing WaterSport)	Sports.kif 220-220	Surfing is a subclass of water sport
(subclass WaterSkiing WaterSport)	Sports.kif 1254-1254	Water skiing is a subclass of water sport
(subclass WindSurfing WaterSport)	Sports.kif 1313-1313	Wind surfing is a subclass of water sport
(termFormat EnglishLanguage WaterSport "water sport")	Sports.kif 1223-1223	Wind surfing is a subclass of water sport

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 1225-1237

If a process is an instance of water sport,
then there exists an object such that the object is an instance of water area or the object is an instance of fluid container and there exists the objectATER such that the objectATER is an instance of water and the objectATER is located at the object and the process is located at the object

consequent

(=>
    (instance ?X WaterBoard)
    (hasPurpose ?X
        (exists (?WS)
            (and
                (instance ?WS WaterSport)
                (instrument ?WS ?X)))))

Sports.kif 1284-1290

If a physical is an instance of water board,
then the physical has the purpose there exists an entity such that the entity is an instance of water sport and the physical is an instrument for the entity

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

KB Term:			Term intersection

English Word: