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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Sport
Sport
more pictures...

VerbNet: captain-29.8|caddy, captain-29.8|caddy,


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


(documentation Sport ChineseLanguage "这是需要游戏参加者作出某种程度上的体力消耗的 Game。") chinese_format.kif 3298-3298
(documentation Sport EnglishLanguage "A Game which requires some degree of physical exercion from the participants of the game.") Merge.kif 12428-12429
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/0/0b/ OHL-Hockey-Plymouth-Whalers-vs-Saginaw-Spirit.jpg") pictureList.kif 6890-6890
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/1/17/ Bruno_Senna_2006_Australian_Grand_Prix.jpg") pictureList.kif 7969-7969
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/2/26/ Putter_with_flag.jpg") pictureList.kif 7970-7970
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/3/33/ Gymnasta.jpg") pictureList.kif 7971-7971
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/9/92/ Youth-soccer-indiana.jpg") pictureList.kif 7972-7972
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/a/ab/ Showjumping_white_horse.jpg") pictureList.kif 7973-7973
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/f/f3/ Three_point_shoot.JPG") pictureList.kif 7974-7974
(subclass Sport Game) Merge.kif 12427-12427 subclass Sport and Game

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


(subclass Archery Sport) Sports.kif 89-89 subclass Archery and Sport
(subclass Badminton Sport) Sports.kif 91-91 subclass Badminton and Sport
(subclass Bodybuilding Sport) Sports.kif 658-658 subclass Bodybuilding and Sport
(subclass Bowling Sport) Sports.kif 954-954 subclass Bowling and Sport
(subclass Boxing Sport) Sports.kif 471-471 subclass Boxing and Sport
(subclass Caving Sport) Sports.kif 191-191 subclass Caving and Sport
(subclass Cricket Sport) Sports.kif 93-93 subclass Cricket and Sport
(subclass Curling Sport) Sports.kif 95-95 subclass Curling and Sport
(subclass CycleRacing Sport) Sports.kif 97-97 subclass CycleRacing and Sport
(subclass Diving Sport) Sports.kif 103-103 subclass Diving and Sport
(subclass Dodgeball Sport) Sports.kif 128-128 subclass Dodgeball and Sport
(subclass Equitation Sport) Sports.kif 1033-1033 subclass Equitation and Sport
(subclass Fencing Sport) Sports.kif 114-114 subclass Fencing and Sport
(subclass FigureSkating Sport) Sports.kif 116-116 subclass FigureSkating and Sport
(subclass FishingSport Sport) Sports.kif 201-201 subclass FishingSport and Sport
(subclass Golf Sport) Sports.kif 740-740 subclass Golf and Sport
(subclass Gymnastics Sport) Sports.kif 486-486 subclass Gymnastics and Sport
(subclass Handball Sport) Sports.kif 122-122 subclass Handball and Sport
(subclass Hockey Sport) Sports.kif 118-118 subclass Hockey and Sport
(subclass HorseRacing Sport) Sports.kif 210-210 subclass HorseRacing and Sport
(subclass IceHockey Sport) Sports.kif 120-120 subclass IceHockey and Sport
(subclass IceSkating Sport) Sports.kif 112-112 subclass IceSkating and Sport
(subclass KiteSurfing Sport) Sports.kif 186-186 subclass KiteSurfing and Sport
(subclass Lacrosse Sport) Sports.kif 126-126 subclass Lacrosse and Sport
(subclass MartialArts Sport) Sports.kif 133-133 subclass MartialArts and Sport

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (attribute ?ATHLETE ?PA)
        (instance ?PA ProfessionalAthlete))
    (exists (?GAME)
        (and
            (instance ?GAME Sport)
            (contestParticipant ?GAME ?ATHLETE))))
Sports.kif 1215-1222
(=>
    (and
        (attribute ?ATHLETE ?PA)
        (instance ?PA ProfessionalAthlete))
    (hasSkill Sport ?ATHLETE))
Sports.kif 1209-1213
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG SportingGoodsHobbyBookAndMusicStores))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING)
                (and
                    (instance ?EV Selling)
                    (instance ?THING Object)
                    (or
                        (capability Sport instrument ?THING)
                        (capability MakingMusic instrument ?THING)
                        (instance ?THING Book)
                        (instance ?THING MusicRecording)
                        (instance ?THING MusicText))
                    (patient ?EV ?THING))))))
naics.kif 7607-7625
(=>
    (attribute ?X ArtsAndRecreationTicketingServices)
    (hasPurpose ?X
        (exists (?SELL ?TICKET)
            (and
                (instance ?SELL Selling)
                (patient ?SELL ?TICKET)
                (agent ?SELL ?X)
                (instance ?TICKET Ticket)
                (destination ?SELL ?CUST)
                (hasPurpose ?TICKET
                    (confersRight
                        (exists (?WATCH ?PERF)
                            (and
                                (instance ?WATCH Seeing)
                                (agent ?WATCH ?CUST)
                                (patient ?WATCH ?PERF)
                                (or
                                    (instance ?PERF Performance)
                                    (instance ?PERF Sport)))) ?X ?CUST))))))
Hotel.kif 2299-2318
(=>
    (instance ?G SportsFacility)
    (hasPurpose ?G
        (exists (?S)
            (and
                (instance ?S Sport)
                (eventLocated ?S ?G)))))
Mid-level-ontology.kif 6649-6655
(=>
    (instance ?GROUND SportsGround)
    (hasPurpose ?GROUND
        (exists (?SPORT)
            (and
                (instance ?SPORT Sport)
                (eventLocated ?SPORT ?GROUND)))))
Mid-level-ontology.kif 13355-13360
(=>
    (instance ?SS SportServe)
    (exists (?S)
        (and
            (instance ?S Sport)
            (subProcess ?SS ?S)
            (starts
                (WhenFn ?SS)
                (WhenFn ?S)))))
Mid-level-ontology.kif 14649-14655
(=>
    (instance ?TEAM SportsTeam)
    (exists (?SPORT)
        (and
            (subclass ?SPORT Sport)
            (capability ?SPORT agent ?TEAM))))
Mid-level-ontology.kif 7217-7222


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