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。") Merge.kif 13375-13375
(documentation Sport EnglishLanguage "A Game which requires some degree of physical exercion from the participants of the game.") Merge.kif 13373-13374
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/0/0b/ OHL-Hockey-Plymouth-Whalers-vs-Saginaw-Spirit.jpg") pictureList.kif 6890-6890 "http://upload.wikimedia.org/wikipedia/commons/0/0b/ OHL-Hockey-Plymouth-Whalers-vs-Saginaw-Spirit.jpg" is a URL depicting sport
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/1/17/ Bruno_Senna_2006_Australian_Grand_Prix.jpg") pictureList.kif 7969-7969 "http://upload.wikimedia.org/wikipedia/commons/1/17/ Bruno_Senna_2006_Australian_Grand_Prix.jpg" is a URL depicting sport
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/2/26/ Putter_with_flag.jpg") pictureList.kif 7970-7970 "http://upload.wikimedia.org/wikipedia/commons/2/26/ Putter_with_flag.jpg" is a URL depicting sport
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/3/33/ Gymnasta.jpg") pictureList.kif 7971-7971 "http://upload.wikimedia.org/wikipedia/commons/3/33/ Gymnasta.jpg" is a URL depicting sport
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/9/92/ Youth-soccer-indiana.jpg") pictureList.kif 7972-7972 "http://upload.wikimedia.org/wikipedia/commons/9/92/ Youth-soccer-indiana.jpg" is a URL depicting sport
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/a/ab/ Showjumping_white_horse.jpg") pictureList.kif 7973-7973 "http://upload.wikimedia.org/wikipedia/commons/a/ab/ Showjumping_white_horse.jpg" is a URL depicting sport
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/f/f3/ Three_point_shoot.JPG") pictureList.kif 7974-7974 "http://upload.wikimedia.org/wikipedia/commons/f/f3/ Three_point_shoot.JPG" is a URL depicting sport
(subclass Sport Game) Merge.kif 13372-13372 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 658-658 Bodybuilding is a subclass of sport
(subclass Bowling Sport) Sports.kif 952-952 Bowling is a subclass of sport
(subclass Boxing Sport) Sports.kif 471-471 Boxing is a subclass of sport
(subclass Caving Sport) Sports.kif 191-191 Caving is a subclass of sport
(subclass Cricket Sport) Sports.kif 93-93 Cricket 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 CycleRacing is a subclass of sport
(subclass Diving Sport) Sports.kif 103-103 Diving is a subclass of sport
(subclass Dodgeball Sport) Sports.kif 128-128 Dodgeball is a subclass of sport
(subclass Equitation Sport) Sports.kif 1031-1031 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 FigureSkating is a subclass of sport
(subclass FishingSport Sport) Sports.kif 201-201 FishingSport is a subclass of sport
(subclass Golf Sport) Sports.kif 738-738 Golf is a subclass of sport
(subclass Gymnastics Sport) Sports.kif 486-486 Gymnastics is a subclass of sport
(subclass Handball Sport) Sports.kif 122-122 Handball is a subclass of sport
(subclass Hockey Sport) Sports.kif 118-118 Hockey is a subclass of sport
(subclass HorseRacing Sport) Sports.kif 210-210 HorseRacing is a subclass of sport
(subclass IceHockey Sport) Sports.kif 120-120 IceHockey is a subclass of sport
(subclass IceSkating Sport) Sports.kif 112-112 IceSkating is a subclass of sport
(subclass KiteSurfing Sport) Sports.kif 186-186 KiteSurfing 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 MartialArts 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 1213-1220
(=>
    (and
        (attribute ?ATHLETE ?PA)
        (instance ?PA ProfessionalAthlete))
    (hasSkill Sport ?ATHLETE))
Sports.kif 1207-1211
(=>
    (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 2294-2313
(=>
    (instance ?G SportsFacility)
    (hasPurpose ?G
        (exists (?S)
            (and
                (instance ?S Sport)
                (eventLocated ?S ?G)))))
Mid-level-ontology.kif 6669-6675
(=>
    (instance ?GROUND SportsGround)
    (hasPurpose ?GROUND
        (exists (?SPORT)
            (and
                (instance ?SPORT Sport)
                (eventLocated ?SPORT ?GROUND)))))
Mid-level-ontology.kif 13330-13335
(=>
    (instance ?SS SportServe)
    (exists (?S)
        (and
            (instance ?S Sport)
            (subProcess ?SS ?S)
            (starts
                (WhenFn ?SS)
                (WhenFn ?S)))))
Mid-level-ontology.kif 14623-14629
(=>
    (instance ?TEAM SportsTeam)
    (exists (?SPORT)
        (and
            (subclass ?SPORT Sport)
            (capability ?SPORT agent ?TEAM))))
Mid-level-ontology.kif 7236-7241


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