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。") 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 13532-13533
(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 13531-13531 スポーツ は ゲーム の subclass では

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


(subclass Archery Sport) Sports.kif 101-101 Archery は スポーツ の subclass では
(subclass Badminton Sport) Sports.kif 103-103 Badminton は スポーツ の subclass では
(subclass Bodybuilding Sport) Sports.kif 784-784 Bodybuilding は スポーツ の subclass では
(subclass Bowling Sport) Sports.kif 1116-1116 Bowling は スポーツ の subclass では
(subclass Boxing Sport) Sports.kif 597-597 Boxing は スポーツ の subclass では
(subclass Caving Sport) Sports.kif 238-238 Caving は スポーツ の subclass では
(subclass Curling Sport) Sports.kif 107-107 Curling は スポーツ の subclass では
(subclass CycleRacing Sport) Sports.kif 109-109 CycleRacing は スポーツ の subclass では
(subclass Diving Sport) Sports.kif 115-115 Diving は スポーツ の subclass では
(subclass Equitation Sport) Sports.kif 1195-1195 Equitation は スポーツ の subclass では
(subclass Fencing Sport) Sports.kif 126-126 Fencing は スポーツ の subclass では
(subclass FigureSkating Sport) Sports.kif 128-128 FigureSkating は スポーツ の subclass では
(subclass FishingSport Sport) Sports.kif 248-248 FishingSport は スポーツ の subclass では
(subclass Golf Sport) Sports.kif 901-901 Golf は スポーツ の subclass では
(subclass Gymnastics Sport) Sports.kif 612-612 Gymnastics は スポーツ の subclass では
(subclass HorseRacing Sport) Sports.kif 257-257 HorseRacing は スポーツ の subclass では
(subclass IceSkating Sport) Sports.kif 124-124 IceSkating は スポーツ の subclass では
(subclass KiteSurfing Sport) Sports.kif 233-233 KiteSurfing は スポーツ の subclass では
(subclass Lacrosse Sport) Sports.kif 138-138 Lacrosse は スポーツ の subclass では
(subclass MartialArts Sport) Sports.kif 145-145 MartialArts は スポーツ の subclass では
(subclass OlympicGames Sport) Sports.kif 1350-1350 OlympicGames は スポーツ の subclass では
(subclass Racing Sport) Mid-level-ontology.kif 8716-8716 Racing は スポーツ の subclass では
(subclass Racquetball Sport) Sports.kif 1331-1331 Racquetball は スポーツ の subclass では
(subclass Rafting Sport) Sports.kif 244-244 Rafting は スポーツ の subclass では
(subclass RockClimbing Sport) Sports.kif 508-508 RockClimbing は スポーツ の subclass では

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