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 13378-13379
(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 13377-13377	运动是游戏的 subclass

appearance as argument number 2

(subclass Archery Sport)	Sports.kif 89-89	Archery 是运动的 subclass
(subclass Badminton Sport)	Sports.kif 91-91	Badminton 是运动的 subclass
(subclass Bodybuilding Sport)	Sports.kif 772-772	健美运动是运动的 subclass
(subclass Bowling Sport)	Sports.kif 1102-1102	Bowling 是运动的 subclass
(subclass Boxing Sport)	Sports.kif 585-585	拳击是运动的 subclass
(subclass Caving Sport)	Sports.kif 226-226	Caving 是运动的 subclass
(subclass Curling Sport)	Sports.kif 95-95	Curling 是运动的 subclass
(subclass CycleRacing Sport)	Sports.kif 97-97	CycleRacing 是运动的 subclass
(subclass Diving Sport)	Sports.kif 103-103	Diving 是运动的 subclass
(subclass Equitation Sport)	Sports.kif 1181-1181	Equitation 是运动的 subclass
(subclass Fencing Sport)	Sports.kif 114-114	Fencing 是运动的 subclass
(subclass FigureSkating Sport)	Sports.kif 116-116	FigureSkating 是运动的 subclass
(subclass FishingSport Sport)	Sports.kif 236-236	FishingSport 是运动的 subclass
(subclass Golf Sport)	Sports.kif 889-889	高尔夫球是运动的 subclass
(subclass Gymnastics Sport)	Sports.kif 600-600	体操是运动的 subclass
(subclass HorseRacing Sport)	Sports.kif 245-245	HorseRacing 是运动的 subclass
(subclass IceSkating Sport)	Sports.kif 112-112	IceSkating 是运动的 subclass
(subclass KiteSurfing Sport)	Sports.kif 221-221	KiteSurfing 是运动的 subclass
(subclass Lacrosse Sport)	Sports.kif 126-126	Lacrosse 是运动的 subclass
(subclass MartialArts Sport)	Sports.kif 133-133	MartialArts 是运动的 subclass
(subclass OlympicGames Sport)	Sports.kif 1336-1336	奥运会是运动的 subclass
(subclass Racing Sport)	Mid-level-ontology.kif 7549-7549	赛跑是运动的 subclass
(subclass Racquetball Sport)	Sports.kif 1317-1317	Racquetball 是运动的 subclass
(subclass Rafting Sport)	Sports.kif 232-232	Rafting 是运动的 subclass
(subclass RockClimbing Sport)	Sports.kif 496-496	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 1363-1370	如果属性是施事体的 attribute 和那个属性是 ProfessionalAthlete 的 instance，然后有存在比赛这样那个比赛是运动的 instance 和那个施事体 participates 在那个比赛
(=> (and (attribute ?ATHLETE ?PA) (instance ?PA ProfessionalAthlete)) (hasSkill Sport ?ATHLETE))	Sports.kif 1357-1361	如果属性是施事体的 attribute 和那个属性是 ProfessionalAthlete 的 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 2353-2372	如果 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 7011-7017	如果物理是体育设施的 instance，然后那个物理的目的是有存在实体这样那个实体是运动的 instance 和那个实体是 located 在那个物理
(=> (instance ?GROUND SportsGround) (hasPurpose ?GROUND (exists (?SPORT) (and (instance ?SPORT Sport) (eventLocated ?SPORT ?GROUND)))))	Mid-level-ontology.kif 15677-15683	如果物理是运动场的 instance，然后那个物理的目的是有存在实体这样那个实体是运动的 instance 和那个实体是 located 在那个物理
(=> (instance ?SS SportServe) (exists (?S) (and (instance ?S Sport) (subProcess ?SS ?S) (starts (WhenFn ?SS) (WhenFn ?S)))))	Mid-level-ontology.kif 17070-17076	如果过程是体育服务的 instance，然后有存在另一个过程这样那个另外过程是运动的 instance 和那个过程%n是那个另外过程的subProcess 和那个过程出现的 time starts了才到那个另外过程出现的 time
(=> (instance ?TEAM SportsTeam) (exists (?SPORT) (and (subclass ?SPORT Sport) (capability ?SPORT agent ?TEAM))))	Mid-level-ontology.kif 7528-7533	如果客体是运动队的 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: