TreeView Knowledge Base Browser

appearance as argument number 1

(documentation WaterSport EnglishLanguage "WaterSport is a type of Sport that is played on Water")	Sports.kif 1208-1209
(subclass WaterSport Sport)	Sports.kif 1207-1207	Water sport is a subclass of sport

appearance as argument number 2

(subclass KiteSurfing WaterSport)	Sports.kif 222-222	Kite surfing is a subclass of water sport
(subclass Rafting WaterSport)	Sports.kif 233-233	Rafting is a subclass of water sport
(subclass Surfing WaterSport)	Sports.kif 208-208	Surfing is a subclass of water sport
(subclass WaterSkiing WaterSport)	Sports.kif 1241-1241	Water skiing is a subclass of water sport
(subclass WindSurfing WaterSport)	Sports.kif 1300-1300	Wind surfing is a subclass of water sport
(termFormat EnglishLanguage WaterSport "water sport")	Sports.kif 1210-1210

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 1212-1224

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 1271-1277

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: