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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Sport
Sport
more pictures...
رِياضة اِحْتِكاك مُباشِر, رِياضة تماس, رِياضة اِتِّصال مُباشِر, رِيَاضَة اِحْتِكَاك مُبَاشِر, لُعْبة رِياضِيّة, لُعْبة فِي الفضاء الطلْق, لُعْبة ميْدانِيّة, ...

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


(documentation Sport ChineseLanguage "这是需要游戏参加者作出某种程度上的体力消耗的 Game。") Merge.kif 13317-13317
(documentation Sport EnglishLanguage "A Game which requires some degree of physical exercion from the participants of the game.") Merge.kif 13315-13316
(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 13314-13314

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


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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domain ClassOnAcademicFieldFn 1 Sport) Offers.kif 89-89
(domain ClassOnSportFn 1 Sport) Offers.kif 66-66

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