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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Sport
Sport(Esporte)
more pictures...

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 13378-13379
(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 13377-13377 Esporte e' uma sub-classe de Jogo

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


(subclass Archery Sport) Sports.kif 89-89 Archery e' uma sub-classe de Esporte
(subclass Badminton Sport) Sports.kif 91-91 Badminton e' uma sub-classe de Esporte
(subclass Bodybuilding Sport) Sports.kif 772-772 Bodybuilding e' uma sub-classe de Esporte
(subclass Bowling Sport) Sports.kif 1102-1102 Bowling e' uma sub-classe de Esporte
(subclass Boxing Sport) Sports.kif 585-585 Boxing e' uma sub-classe de Esporte
(subclass Caving Sport) Sports.kif 226-226 Caving e' uma sub-classe de Esporte
(subclass Curling Sport) Sports.kif 95-95 Curling e' uma sub-classe de Esporte
(subclass CycleRacing Sport) Sports.kif 97-97 CycleRacing e' uma sub-classe de Esporte
(subclass Diving Sport) Sports.kif 103-103 Diving e' uma sub-classe de Esporte
(subclass Equitation Sport) Sports.kif 1181-1181 Equitation e' uma sub-classe de Esporte
(subclass Fencing Sport) Sports.kif 114-114 Fencing e' uma sub-classe de Esporte
(subclass FigureSkating Sport) Sports.kif 116-116 FigureSkating e' uma sub-classe de Esporte
(subclass FishingSport Sport) Sports.kif 236-236 FishingSport e' uma sub-classe de Esporte
(subclass Golf Sport) Sports.kif 889-889 Golf e' uma sub-classe de Esporte
(subclass Gymnastics Sport) Sports.kif 600-600 Gymnastics e' uma sub-classe de Esporte
(subclass HorseRacing Sport) Sports.kif 245-245 HorseRacing e' uma sub-classe de Esporte
(subclass IceSkating Sport) Sports.kif 112-112 IceSkating e' uma sub-classe de Esporte
(subclass KiteSurfing Sport) Sports.kif 221-221 KiteSurfing e' uma sub-classe de Esporte
(subclass Lacrosse Sport) Sports.kif 126-126 Lacrosse e' uma sub-classe de Esporte
(subclass MartialArts Sport) Sports.kif 133-133 MartialArts e' uma sub-classe de Esporte
(subclass OlympicGames Sport) Sports.kif 1336-1336 OlympicGames e' uma sub-classe de Esporte
(subclass Racing Sport) Mid-level-ontology.kif 7549-7549 Racing e' uma sub-classe de Esporte
(subclass Racquetball Sport) Sports.kif 1317-1317 Racquetball e' uma sub-classe de Esporte
(subclass Rafting Sport) Sports.kif 232-232 Rafting e' uma sub-classe de Esporte
(subclass RockClimbing Sport) Sports.kif 496-496 RockClimbing e' uma sub-classe de Esporte

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 1363-1370
(=>
    (and
        (attribute ?ATHLETE ?PA)
        (instance ?PA ProfessionalAthlete))
    (hasSkill Sport ?ATHLETE))		 Sports.kif 1357-1361
(=>
    (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 7011-7017
(=>
    (instance ?GROUND SportsGround)
    (hasPurpose ?GROUND
        (exists (?SPORT)
            (and
                (instance ?SPORT Sport)
                (eventLocated ?SPORT ?GROUND)))))		 Mid-level-ontology.kif 15677-15683
(=>
    (instance ?SS SportServe)
    (exists (?S)
        (and
            (instance ?S Sport)
            (subProcess ?SS ?S)
            (starts
                (WhenFn ?SS)
                (WhenFn ?S)))))		 Mid-level-ontology.kif 17070-17076
(=>
    (instance ?TEAM SportsTeam)
    (exists (?SPORT)
        (and
            (subclass ?SPORT Sport)
            (capability ?SPORT agent ?TEAM))))		 Mid-level-ontology.kif 7528-7533


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