TreeView Knowledge Base Browser

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	健美运动是运动的 subclass
(subclass Bowling Sport)	Sports.kif 1116-1116	Bowling 是运动的 subclass
(subclass Boxing Sport)	Sports.kif 597-597	拳击是运动的 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	高尔夫球是运动的 subclass
(subclass Gymnastics Sport)	Sports.kif 612-612	体操是运动的 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	奥运会是运动的 subclass
(subclass Racing Sport)	Mid-level-ontology.kif 8716-8716	赛跑是运动的 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	如果属性是施事体的 attribute 和那个属性是 ProfessionalAthlete 的 instance，然后有存在比赛这样那个比赛是运动的 instance 和那个施事体 participates 在那个比赛
(=> (and (attribute ?ATHLETE ?PA) (instance ?PA ProfessionalAthlete)) (hasSkill Sport ?ATHLETE))	Sports.kif 1371-1375	如果属性是施事体的 attribute 和那个属性是 ProfessionalAthlete 的 instance，然后那个施事体 hasSkill 去做运动
(=> (and (attribute ?H ?ATHLETE) (instance ?ATHLETE Athlete)) (hasSkill Sport ?ATHLETE))	Sports.kif 93-97	如果施事体是客体的 attribute 和那个施事体是 Athlete 的 instance，然后那个施事体 hasSkill 去做运动
(=> (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	如果群体是机构的 instance 和体育用品爱好书籍和音乐商店是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在客体这样那个施事体是出售的 instance 和那个客体是客体的 instance 和那个客体能够担当工具的角色做运动或那个客体能够担当工具的角色做制作音乐或那个客体是书的 instance 或那个客体是音乐录音的 instance 或那个客体是音乐文本的 instance 和那个客体是那个施事体的 patient
(=> (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	如果 ArtsAndRecreationTicketingServices 是客体的 attribute，然后那个客体的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是出售的 instance 和那个另外实体是那个实体的 patient 和那个客体是那个实体的 agent 和那个另外实体是票的 instance 和那个实体在那个第三实体结束和那个另外实体的目的是那个客体允许那个第三实体执行有存在第四实体和第五实体这样那个第四实体是看的 instance 和那个第三实体是那个第四实体的 agent 和那个第五实体是那个第四实体的 patient 和那个第五实体是性能的 instance 或那个第五实体是运动的 instance 的任务
(=> (instance ?G SportsFacility) (hasPurpose ?G (exists (?S) (and (instance ?S Sport) (eventLocated ?S ?G)))))	Mid-level-ontology.kif 8172-8178	如果物理是体育设施的 instance，然后那个物理的目的是有存在实体这样那个实体是运动的 instance 和那个实体是 located 在那个物理
(=> (instance ?GROUND SportsGround) (hasPurpose ?GROUND (exists (?SPORT) (and (instance ?SPORT Sport) (eventLocated ?SPORT ?GROUND)))))	Mid-level-ontology.kif 17050-17056	如果物理是运动场的 instance，然后那个物理的目的是有存在实体这样那个实体是运动的 instance 和那个实体是 located 在那个物理
(=> (instance ?SS SportServe) (exists (?S) (and (instance ?S Sport) (subProcess ?SS ?S) (starts (WhenFn ?SS) (WhenFn ?S)))))	Mid-level-ontology.kif 18457-18463	如果过程是体育服务的 instance，然后有存在另一个过程这样那个另外过程是运动的 instance 和那个过程是那个另外过程的subProcess 和那个过程出现的 time starts了才到那个另外过程出现的 time
(=> (instance ?TEAM SportsTeam) (exists (?SPORT) (and (subclass ?SPORT Sport) (capability ?SPORT agent ?TEAM))))	Mid-level-ontology.kif 8695-8700	如果客体是运动队的 instance，然后有存在有点过程这样有点过程是运动的 subclass 和那个客体能够担当主事的角色做那个有点过程

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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

KB Term:			Term intersection

English Word: