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...

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 13517-13518
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/0/0b/ OHL_Hockey_Plymouth_Whalers_vs_Saginaw_Spirit.jpg") pictureList.kif 6888-6888
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/1/17/ Bruno_Senna_2006_Australian_Grand_Prix.jpg") pictureList.kif 7966-7966
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/2/26/ Putter_with_flag.jpg") pictureList.kif 7967-7967
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/3/33/ Gymnasta.jpg") pictureList.kif 7968-7968
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/9/92/ Youth_soccer_indiana.jpg") pictureList.kif 7969-7969
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/a/ab/ Showjumping_white_horse.jpg") pictureList.kif 7970-7970
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/f/f3/ Three_point_shoot.JPG") pictureList.kif 7971-7971
(subclass Sport Game) Merge.kif 13516-13516 Sport est une sous-classe de jeu

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


(subclass Archery Sport) Sports.kif 101-101 Archery est une sous-classe de sport
(subclass Badminton Sport) Sports.kif 103-103 Badminton est une sous-classe de sport
(subclass Bodybuilding Sport) Sports.kif 784-784 Bodybuilding est une sous-classe de sport
(subclass Bowling Sport) Sports.kif 1116-1116 Bowling est une sous-classe de sport
(subclass Boxing Sport) Sports.kif 597-597 Boxing est une sous-classe de sport
(subclass Caving Sport) Sports.kif 238-238 Caving est une sous-classe de sport
(subclass Curling Sport) Sports.kif 107-107 Curling est une sous-classe de sport
(subclass CycleRacing Sport) Sports.kif 109-109 CycleRacing est une sous-classe de sport
(subclass Diving Sport) Sports.kif 115-115 Diving est une sous-classe de sport
(subclass Equitation Sport) Sports.kif 1195-1195 Equitation est une sous-classe de sport
(subclass Fencing Sport) Sports.kif 126-126 Fencing est une sous-classe de sport
(subclass FigureSkating Sport) Sports.kif 128-128 FigureSkating est une sous-classe de sport
(subclass FishingSport Sport) Sports.kif 248-248 FishingSport est une sous-classe de sport
(subclass Golf Sport) Sports.kif 901-901 Golf est une sous-classe de sport
(subclass Gymnastics Sport) Sports.kif 612-612 Gymnastics est une sous-classe de sport
(subclass HorseRacing Sport) Sports.kif 257-257 HorseRacing est une sous-classe de sport
(subclass IceSkating Sport) Sports.kif 124-124 IceSkating est une sous-classe de sport
(subclass KiteSurfing Sport) Sports.kif 233-233 KiteSurfing est une sous-classe de sport
(subclass Lacrosse Sport) Sports.kif 138-138 Lacrosse est une sous-classe de sport
(subclass MartialArts Sport) Sports.kif 145-145 MartialArts est une sous-classe de sport
(subclass OlympicGames Sport) Sports.kif 1350-1350 OlympicGames est une sous-classe de sport
(subclass Racing Sport) Mid-level-ontology.kif 8716-8716 Racing est une sous-classe de sport
(subclass Racquetball Sport) Sports.kif 1331-1331 Racquetball est une sous-classe de sport
(subclass Rafting Sport) Sports.kif 244-244 Rafting est une sous-classe de sport
(subclass RockClimbing Sport) Sports.kif 508-508 RockClimbing est une sous-classe de 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 1377-1384
(=>
    (and
        (attribute ?ATHLETE ?PA)
        (instance ?PA ProfessionalAthlete))
    (hasSkill Sport ?ATHLETE))
Sports.kif 1371-1375
(=>
    (and
        (attribute ?H ?ATHLETE)
        (instance ?ATHLETE Athlete))
    (hasSkill Sport ?ATHLETE))
Sports.kif 93-97
(=>
    (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 2364-2383
(=>
    (instance ?G SportsFacility)
    (hasPurpose ?G
        (exists (?S)
            (and
                (instance ?S Sport)
                (eventLocated ?S ?G)))))
Mid-level-ontology.kif 8172-8178
(=>
    (instance ?GROUND SportsGround)
    (hasPurpose ?GROUND
        (exists (?SPORT)
            (and
                (instance ?SPORT Sport)
                (eventLocated ?SPORT ?GROUND)))))
Mid-level-ontology.kif 17050-17056
(=>
    (instance ?SS SportServe)
    (exists (?S)
        (and
            (instance ?S Sport)
            (subProcess ?SS ?S)
            (starts
                (WhenFn ?SS)
                (WhenFn ?S)))))
Mid-level-ontology.kif 18457-18463
(=>
    (instance ?TEAM SportsTeam)
    (exists (?SPORT)
        (and
            (subclass ?SPORT Sport)
            (capability ?SPORT agent ?TEAM))))
Mid-level-ontology.kif 8695-8700


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