Sport
|
|
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 6889-6889 | |
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/1/17/ Bruno_Senna_2006_Australian_Grand_Prix.jpg") | pictureList.kif 7967-7967 | |
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/2/26/ Putter_with_flag.jpg") | pictureList.kif 7968-7968 | |
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/3/33/ Gymnasta.jpg") | pictureList.kif 7969-7969 | |
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/9/92/ Youth-soccer-indiana.jpg") | pictureList.kif 7970-7970 | |
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/a/ab/ Showjumping_white_horse.jpg") | pictureList.kif 7971-7971 | |
(externalImage Sport "http://upload.wikimedia.org/wikipedia/commons/f/f3/ Three_point_shoot.JPG") | pictureList.kif 7972-7972 | |
(subclass Sport Game) | Merge.kif 13423-13423 | Sport ist eine teilkategorie von Game |
appearance as argument number 2 |
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 7038-7044 |
|
(=> (instance ?GROUND SportsGround) (hasPurpose ?GROUND (exists (?SPORT) (and (instance ?SPORT Sport) (eventLocated ?SPORT ?GROUND))))) |
Mid-level-ontology.kif 15704-15710 |
|
(=> (instance ?SS SportServe) (exists (?S) (and (instance ?S Sport) (subProcess ?SS ?S) (starts (WhenFn ?SS) (WhenFn ?S))))) |
Mid-level-ontology.kif 17097-17103 |
|
(=> (instance ?TEAM SportsTeam) (exists (?SPORT) (and (subclass ?SPORT Sport) (capability ?SPORT agent ?TEAM)))) |
Mid-level-ontology.kif 7555-7560 |
|