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 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 |
| appearance as argument number 2 |
|
|
| (subclass Archery Sport) | Sports.kif 101-101 | |
| (subclass Badminton Sport) | Sports.kif 103-103 | |
| (subclass Bodybuilding Sport) | Sports.kif 784-784 | |
| (subclass Bowling Sport) | Sports.kif 1116-1116 | |
| (subclass Boxing Sport) | Sports.kif 597-597 | |
| (subclass Caving Sport) | Sports.kif 238-238 | |
| (subclass Curling Sport) | Sports.kif 107-107 | |
| (subclass CycleRacing Sport) | Sports.kif 109-109 | |
| (subclass Diving Sport) | Sports.kif 115-115 | |
| (subclass Equitation Sport) | Sports.kif 1195-1195 | |
| (subclass Fencing Sport) | Sports.kif 126-126 | |
| (subclass FigureSkating Sport) | Sports.kif 128-128 | |
| (subclass FishingSport Sport) | Sports.kif 248-248 | |
| (subclass Golf Sport) | Sports.kif 901-901 | |
| (subclass Gymnastics Sport) | Sports.kif 612-612 | |
| (subclass HorseRacing Sport) | Sports.kif 257-257 | |
| (subclass IceSkating Sport) | Sports.kif 124-124 | |
| (subclass KiteSurfing Sport) | Sports.kif 233-233 | |
| (subclass Lacrosse Sport) | Sports.kif 138-138 | |
| (subclass MartialArts Sport) | Sports.kif 145-145 | |
| (subclass OlympicGames Sport) | Sports.kif 1350-1350 | |
| (subclass Racing Sport) | Mid-level-ontology.kif 8735-8735 | |
| (subclass Racquetball Sport) | Sports.kif 1331-1331 | |
| (subclass Rafting Sport) | Sports.kif 244-244 | |
| (subclass RockClimbing Sport) | Sports.kif 508-508 | |
| 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 8191-8197 | |
| (=> (instance ?GROUND SportsGround) (hasPurpose ?GROUND (exists (?SPORT) (and (instance ?SPORT Sport) (eventLocated ?SPORT ?GROUND))))) |
Mid-level-ontology.kif 17068-17074 | |
| (=> (instance ?SS SportServe) (exists (?S) (and (instance ?S Sport) (subProcess ?SS ?S) (starts (WhenFn ?SS) (WhenFn ?S))))) |
Mid-level-ontology.kif 18477-18483 | |
| (=> (instance ?TEAM SportsTeam) (exists (?SPORT) (and (subclass ?SPORT Sport) (capability ?SPORT agent ?TEAM)))) |
Mid-level-ontology.kif 8714-8719 |
|
|
|