more pictures...
| 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 13424-13425 | |
| (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 13423-13423 |
| appearance as argument number 2 |
|
|
| (subclass Archery Sport) | Sports.kif 89-89 | |
| (subclass Badminton Sport) | Sports.kif 91-91 | |
| (subclass Bodybuilding Sport) | Sports.kif 772-772 | |
| (subclass Bowling Sport) | Sports.kif 1103-1103 | |
| (subclass Boxing Sport) | Sports.kif 585-585 | |
| (subclass Caving Sport) | Sports.kif 226-226 | |
| (subclass Curling Sport) | Sports.kif 95-95 | |
| (subclass CycleRacing Sport) | Sports.kif 97-97 | |
| (subclass Diving Sport) | Sports.kif 103-103 | |
| (subclass Equitation Sport) | Sports.kif 1182-1182 | |
| (subclass Fencing Sport) | Sports.kif 114-114 | |
| (subclass FigureSkating Sport) | Sports.kif 116-116 | |
| (subclass FishingSport Sport) | Sports.kif 236-236 | |
| (subclass Golf Sport) | Sports.kif 889-889 | |
| (subclass Gymnastics Sport) | Sports.kif 600-600 | |
| (subclass HorseRacing Sport) | Sports.kif 245-245 | |
| (subclass IceSkating Sport) | Sports.kif 112-112 | |
| (subclass KiteSurfing Sport) | Sports.kif 221-221 | |
| (subclass Lacrosse Sport) | Sports.kif 126-126 | |
| (subclass MartialArts Sport) | Sports.kif 133-133 | |
| (subclass OlympicGames Sport) | Sports.kif 1337-1337 | |
| (subclass Racing Sport) | Mid-level-ontology.kif 7767-7767 | |
| (subclass Racquetball Sport) | Sports.kif 1318-1318 | |
| (subclass Rafting Sport) | Sports.kif 232-232 | |
| (subclass RockClimbing Sport) | Sports.kif 496-496 | |
| 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 1364-1371 | |
| (=> (and (attribute ?ATHLETE ?PA) (instance ?PA ProfessionalAthlete)) (hasSkill Sport ?ATHLETE)) |
Sports.kif 1358-1362 | |
| (=> (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 7229-7235 | |
| (=> (instance ?GROUND SportsGround) (hasPurpose ?GROUND (exists (?SPORT) (and (instance ?SPORT Sport) (eventLocated ?SPORT ?GROUND))))) |
Mid-level-ontology.kif 15895-15901 | |
| (=> (instance ?SS SportServe) (exists (?S) (and (instance ?S Sport) (subProcess ?SS ?S) (starts (WhenFn ?SS) (WhenFn ?S))))) |
Mid-level-ontology.kif 17288-17294 | |
| (=> (instance ?TEAM SportsTeam) (exists (?SPORT) (and (subclass ?SPORT Sport) (capability ?SPORT agent ?TEAM)))) |
Mid-level-ontology.kif 7746-7751 |
|
|
|