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 1207-1208
(subclass WaterSport Sport)	Sports.kif 1206-1206	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 1240-1240	Water skiing is a subclass of water sport
(subclass WindSurfing WaterSport)	Sports.kif 1299-1299	Wind surfing is a subclass of water sport
(termFormat EnglishLanguage WaterSport "water sport")	Sports.kif 1209-1209

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 1211-1223

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 1270-1276

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: