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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Sport
Sport(sport)
more pictures...
1-hitter, 2-hitter, 3-hitter, 4-hitter, 5-hitter, American_football, American_football_game, Fosbury_flop, Olympic, Special_Olympics, ace, acrobatics, athletic, athletic_game, athletics, away_game, backpedal, backstop, ball_game, ballgame, bandy, battledore, battledore_and_shuttlecock, bear_down, birdie, birling, blood_sport, boat-race, bocce, bocci, boccie, bogey, bowl, bowls, break, broad_jump, bullfighting, caddie, caddy, candlepin_bowling, candlepins, catch, chip, cockfighting, come_back, contact_sport, count_out, court_game, cradle, cricket...

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 13424-13425
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/0/0b/ OHL-Hockey-Plymouth-Whalers-vs-Saginaw-Spirit.jpg") pictureList.kif 6889-6889
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/1/17/ Bruno_Senna_2006_Australian_Grand_Prix.jpg") pictureList.kif 7967-7967
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/2/26/ Putter_with_flag.jpg") pictureList.kif 7968-7968
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/3/33/ Gymnasta.jpg") pictureList.kif 7969-7969
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/9/92/ Youth-soccer-indiana.jpg") pictureList.kif 7970-7970
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/a/ab/ Showjumping_white_horse.jpg") pictureList.kif 7971-7971
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/f/f3/ Three_point_shoot.JPG") pictureList.kif 7972-7972
(subclass Sport Game) Merge.kif 13423-13423 Sport is a subclass of game

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


(subclass Archery Sport) Sports.kif 89-89 Archery is a subclass of sport
(subclass Badminton Sport) Sports.kif 91-91 Badminton is a subclass of sport
(subclass Bodybuilding Sport) Sports.kif 772-772 Bodybuilding is a subclass of sport
(subclass Bowling Sport) Sports.kif 1103-1103 Bowling is a subclass of sport
(subclass Boxing Sport) Sports.kif 585-585 Boxing is a subclass of sport
(subclass Caving Sport) Sports.kif 226-226 Caving is a subclass of sport
(subclass Curling Sport) Sports.kif 95-95 Curling is a subclass of sport
(subclass CycleRacing Sport) Sports.kif 97-97 Cycle racing is a subclass of sport
(subclass Diving Sport) Sports.kif 103-103 Diving is a subclass of sport
(subclass Equitation Sport) Sports.kif 1182-1182 Equitation is a subclass of sport
(subclass Fencing Sport) Sports.kif 114-114 Fencing is a subclass of sport
(subclass FigureSkating Sport) Sports.kif 116-116 Figure skating is a subclass of sport
(subclass FishingSport Sport) Sports.kif 236-236 Fishing sport is a subclass of sport
(subclass Golf Sport) Sports.kif 889-889 Golf is a subclass of sport
(subclass Gymnastics Sport) Sports.kif 600-600 Gymnastics is a subclass of sport
(subclass HorseRacing Sport) Sports.kif 245-245 Horse racing is a subclass of sport
(subclass IceSkating Sport) Sports.kif 112-112 Ice skating is a subclass of sport
(subclass KiteSurfing Sport) Sports.kif 221-221 Kite surfing is a subclass of sport
(subclass Lacrosse Sport) Sports.kif 126-126 Lacrosse is a subclass of sport
(subclass MartialArts Sport) Sports.kif 133-133 Martial arts is a subclass of sport
(subclass OlympicGames Sport) Sports.kif 1337-1337 Olympic games is a subclass of sport
(subclass Racing Sport) Mid-level-ontology.kif 7576-7576 Racing is a subclass of sport
(subclass Racquetball Sport) Sports.kif 1318-1318 Racquetball is a subclass of sport
(subclass Rafting Sport) Sports.kif 232-232 Rafting is a subclass of sport
(subclass RockClimbing Sport) Sports.kif 496-496 Rock climbing is a subclass of 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 1364-1371
(=>
    (and
        (attribute ?ATHLETE ?PA)
        (instance ?PA ProfessionalAthlete))
    (hasSkill Sport ?ATHLETE))
Sports.kif 1358-1362
(=>
    (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 7600-7618
(=>
    (attribute ?X ArtsAndRecreationTicketingServices)
    (hasPurpose ?X
        (exists (?SELL ?TICKET ?CUST)
            (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 2353-2372
(=>
    (instance ?G SportsFacility)
    (hasPurpose ?G
        (exists (?S)
            (and
                (instance ?S Sport)
                (eventLocated ?S ?G)))))
Mid-level-ontology.kif 7038-7044
(=>
    (instance ?GROUND SportsGround)
    (hasPurpose ?GROUND
        (exists (?SPORT)
            (and
                (instance ?SPORT Sport)
                (eventLocated ?SPORT ?GROUND)))))
Mid-level-ontology.kif 15704-15710
(=>
    (instance ?SS SportServe)
    (exists (?S)
        (and
            (instance ?S Sport)
            (subProcess ?SS ?S)
            (starts
                (WhenFn ?SS)
                (WhenFn ?S)))))
Mid-level-ontology.kif 17097-17103
(=>
    (instance ?TEAM SportsTeam)
    (exists (?SPORT)
        (and
            (subclass ?SPORT Sport)
            (capability ?SPORT agent ?TEAM))))
Mid-level-ontology.kif 7555-7560


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