WaterSki - Sigma Knowledge base Browser

appearance as argument number 1

(documentation WaterSki EnglishLanguage "WaterSki is a type of TransportationDevice used to glide through water")	Sports.kif 1078-1079
(subclass WaterSki TransportationDevice)	Sports.kif 1077-1077	subclass WaterSki and TransportationDevice

appearance as argument number 2

(termFormat EnglishLanguage WaterSki "water ski")

Sports.kif 1080-1080

antecedent

(=>
    (instance ?SKI WaterSki)
    (hasPurpose ?SKI
        (exists (?GLIDE ?WATER)
            (and
                (instance ?WATER WaterArea)
                (instance ?GLIDE Transportation)
                (instrument ?GLIDE ?SKI)
                (eventLocated ?GLIDE ?WATER)))))

Sports.kif 1082-1090

instance Physical and WaterSki
hasPurpose Physical and entity entity instance entity and WaterArea instance entity and Transportation instrument entity and Physical eventLocated entity and entity

consequent

(=>
    (instance ?X WaterSkiing)
    (exists (?HUMAN ?SKI ?BOAT ?LINE ?WATER ?TRANS ?MOTION)
        (and
            (instance ?BOAT WaterVehicle)
            (instance ?WATER WaterArea)
            (instance ?SKI WaterSki)
            (eventLocated ?X ?WATER)
            (instance ?HUMAN Human)
            (located ?HUMAN ?SKI)
            (connects ?LINE ?HUMAN ?BOAT)
            (instance ?TRANS Transportation)
            (instrument ?TRANS ?BOAT)
            (instance ?MOTION Motion)
            (agent ?MOTION ?HUMAN)
            (instrument ?MOTION ?SKI)
            (causes ?TRANS ?MOTION)
            (subProcess ?MOTION ?X))))

Sports.kif 1098-1115

instance Process and WaterSkiing
Agent Object, Object, Object, Entity, Process and Process instance Object and WaterVehicle instance Entity and WaterArea instance Object and WaterSki eventLocated Process and Entity instance Agent and Human located Agent and Object connects Object, Agent and Object instance Process and Transportation instrument Process and Object instance Process and Motion agent Process and Agent instrument Process and Object causes Process and Process subProcess Process and Process

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

KB Term:			Term intersection

English Word: