Sport - Sigma 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	子類 Sport and Game

appearance as argument number 2

(subclass Archery Sport)	Sports.kif 89-89	子類 Archery and Sport
(subclass Badminton Sport)	Sports.kif 91-91	子類 Badminton and Sport
(subclass Bodybuilding Sport)	Sports.kif 772-772	子類健美運動 and Sport
(subclass Bowling Sport)	Sports.kif 1102-1102	子類 Bowling and Sport
(subclass Boxing Sport)	Sports.kif 585-585	子類拳擊 and Sport
(subclass Caving Sport)	Sports.kif 226-226	子類 Caving and Sport
(subclass Curling Sport)	Sports.kif 95-95	子類 Curling and Sport
(subclass CycleRacing Sport)	Sports.kif 97-97	子類 CycleRacing and Sport
(subclass Diving Sport)	Sports.kif 103-103	子類 Diving and Sport
(subclass Equitation Sport)	Sports.kif 1181-1181	子類 Equitation and Sport
(subclass Fencing Sport)	Sports.kif 114-114	子類 Fencing and Sport
(subclass FigureSkating Sport)	Sports.kif 116-116	子類 FigureSkating and Sport
(subclass FishingSport Sport)	Sports.kif 236-236	子類 FishingSport and Sport
(subclass Golf Sport)	Sports.kif 889-889	子類高爾夫球 and Sport
(subclass Gymnastics Sport)	Sports.kif 600-600	子類體操 and Sport
(subclass HorseRacing Sport)	Sports.kif 245-245	子類 HorseRacing and Sport
(subclass IceSkating Sport)	Sports.kif 112-112	子類 IceSkating and Sport
(subclass KiteSurfing Sport)	Sports.kif 221-221	子類 KiteSurfing and Sport
(subclass Lacrosse Sport)	Sports.kif 126-126	子類 Lacrosse and Sport
(subclass MartialArts Sport)	Sports.kif 133-133	子類 MartialArts and Sport
(subclass OlympicGames Sport)	Sports.kif 1336-1336	子類奧運會 and Sport
(subclass Racing Sport)	Mid-level-ontology.kif 7549-7549	子類賽跑 and Sport
(subclass Racquetball Sport)	Sports.kif 1317-1317	子類 Racquetball and Sport
(subclass Rafting Sport)	Sports.kif 232-232	子類 Rafting and Sport
(subclass RockClimbing Sport)	Sports.kif 496-496	子類 RockClimbing and Sport

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 AutonomousAgent and Attribute 例 Attribute and ProfessionalAthlete Contest 例 Contest and Sport AutonomousAgent participates 在 Contest
(=> (and (attribute ?ATHLETE ?PA) (instance ?PA ProfessionalAthlete)) (hasSkill Sport ?ATHLETE))	Sports.kif 1357-1361	attribute AutonomousAgent and Attribute 例 Attribute and ProfessionalAthlete 有技巧 Sport and AutonomousAgent
(=> (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	例 Collection and Organization attribute Collection and 體育用品愛好書籍和音樂商店 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Object 例 AutonomousAgent and Selling 例 Object and Object 能力 Sport, 儀器 and Object 能力 MakingMusic, 儀器 and Object 例 Object and Book 例 Object and 音樂錄音例 Object and 音樂文本患者 AutonomousAgent and Object
(=> (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	attribute Object and ArtsAndRecreationTicketingServices 有目的 Object and entity entity and entity 例 entity and Selling 患者 entity and entity agent entity and Object 例 entity and 票目的地 entity and entity 有目的 entity and 賦予權利 entity entity 例 entity and Seeing agent entity and entity 患者 entity and entity 例 entity and 性能例 entity and Sport, Object and entity
(=> (instance ?G SportsFacility) (hasPurpose ?G (exists (?S) (and (instance ?S Sport) (eventLocated ?S ?G)))))	Mid-level-ontology.kif 7011-7017	例 Physical and 體育設施有目的 Physical and entity 例 entity and Sport entity 是 located 在 Physical
(=> (instance ?GROUND SportsGround) (hasPurpose ?GROUND (exists (?SPORT) (and (instance ?SPORT Sport) (eventLocated ?SPORT ?GROUND)))))	Mid-level-ontology.kif 15677-15683	例 Physical and 運動場有目的 Physical and entity 例 entity and Sport entity 是 located 在 Physical
(=> (instance ?SS SportServe) (exists (?S) (and (instance ?S Sport) (subProcess ?SS ?S) (starts (WhenFn ?SS) (WhenFn ?S)))))	Mid-level-ontology.kif 17070-17076	例 Process and 體育服務 Process 例 Process and Sport 子過程 Process and Process 啟動何時 Process and 何時 Process
(=> (instance ?TEAM SportsTeam) (exists (?SPORT) (and (subclass ?SPORT Sport) (capability ?SPORT agent ?TEAM))))	Mid-level-ontology.kif 7528-7533	例 Object and 運動隊 Process 子類 Process and Sport 能力 Process, agent and Object

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

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: