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