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 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 is a subclass of game

appearance as argument number 2

(subclass Archery Sport)	Sports.kif 89-89	Archery is a subclass of sport
(subclass Badminton Sport)	Sports.kif 91-91	Badminton is a subclass of sport
(subclass Bodybuilding Sport)	Sports.kif 772-772	Bodybuilding is a subclass of sport
(subclass Bowling Sport)	Sports.kif 1103-1103	Bowling is a subclass of sport
(subclass Boxing Sport)	Sports.kif 585-585	Boxing is a subclass of sport
(subclass Caving Sport)	Sports.kif 226-226	Caving is a subclass of sport
(subclass Curling Sport)	Sports.kif 95-95	Curling is a subclass of sport
(subclass CycleRacing Sport)	Sports.kif 97-97	Cycle racing is a subclass of sport
(subclass Diving Sport)	Sports.kif 103-103	Diving is a subclass of sport
(subclass Equitation Sport)	Sports.kif 1182-1182	Equitation is a subclass of sport
(subclass Fencing Sport)	Sports.kif 114-114	Fencing is a subclass of sport
(subclass FigureSkating Sport)	Sports.kif 116-116	Figure skating is a subclass of sport
(subclass FishingSport Sport)	Sports.kif 236-236	Fishing sport is a subclass of sport
(subclass Golf Sport)	Sports.kif 889-889	Golf is a subclass of sport
(subclass Gymnastics Sport)	Sports.kif 600-600	Gymnastics is a subclass of sport
(subclass HorseRacing Sport)	Sports.kif 245-245	Horse racing is a subclass of sport
(subclass IceSkating Sport)	Sports.kif 112-112	Ice skating is a subclass of sport
(subclass KiteSurfing Sport)	Sports.kif 221-221	Kite surfing is a subclass of sport
(subclass Lacrosse Sport)	Sports.kif 126-126	Lacrosse is a subclass of sport
(subclass MartialArts Sport)	Sports.kif 133-133	Martial arts is a subclass of sport
(subclass OlympicGames Sport)	Sports.kif 1337-1337	Olympic games is a subclass of sport
(subclass Racing Sport)	Mid-level-ontology.kif 7767-7767	Racing is a subclass of sport
(subclass Racquetball Sport)	Sports.kif 1318-1318	Racquetball is a subclass of sport
(subclass Rafting Sport)	Sports.kif 232-232	Rafting is a subclass of sport
(subclass RockClimbing Sport)	Sports.kif 496-496	Rock climbing is a subclass of 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 1364-1371	If an attribute is an attribute of an agent and the attribute is an instance of professional athlete, then there exists a contest such that the contest is an instance of sport and the agent participates in the contest
(=> (and (attribute ?ATHLETE ?PA) (instance ?PA ProfessionalAthlete)) (hasSkill Sport ?ATHLETE))	Sports.kif 1358-1362	If an attribute is an attribute of an agent and the attribute is an instance of professional athlete, then the agent has the skill to do sport
(=> (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	If a collection is an instance of organization and sporting goods hobby book and music stores is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists an object such that the agent is an instance of selling and the object is an instance of object and the object is capable of doing sport as a instrument or the object is capable of doing making music as a instrument or the object is an instance of book or the object is an instance of music recording or the object is an instance of music text and the object is a patient of the agent
(=> (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	If arts and recreation tickets is an attribute of an object, then the object has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of selling and the other entity is a patient of the entity and the object is an agent of the entity and the other entity is an instance of ticket and the entity ends up at the third entity and the other entity has the purpose the object allows the third entity to perform task of the type there exist a fourth entity and a fifth entity such that the fourth entity is an instance of seeing and the third entity is an agent of the fourth entity and the fifth entity is a patient of the fourth entity and the fifth entity is an instance of performance or the fifth entity is an instance of sport
(=> (instance ?G SportsFacility) (hasPurpose ?G (exists (?S) (and (instance ?S Sport) (eventLocated ?S ?G)))))	Mid-level-ontology.kif 7229-7235	If a physical is an instance of sports facility, then the physical has the purpose there exists an entity such that the entity is an instance of sport and the entity is located at the physical
(=> (instance ?GROUND SportsGround) (hasPurpose ?GROUND (exists (?SPORT) (and (instance ?SPORT Sport) (eventLocated ?SPORT ?GROUND)))))	Mid-level-ontology.kif 15895-15901	If a physical is an instance of sports ground, then the physical has the purpose there exists an entity such that the entity is an instance of sport and the entity is located at the physical
(=> (instance ?SS SportServe) (exists (?S) (and (instance ?S Sport) (subProcess ?SS ?S) (starts (WhenFn ?SS) (WhenFn ?S)))))	Mid-level-ontology.kif 17288-17294	If a process is an instance of sport serve, then there exists another process such that the other process is an instance of sport and the process is a subprocess of the other process and the time of existence of the process starts the time of existence of the other process
(=> (instance ?TEAM SportsTeam) (exists (?SPORT) (and (subclass ?SPORT Sport) (capability ?SPORT agent ?TEAM))))	Mid-level-ontology.kif 7746-7751	If an object is an instance of sports team, then there exists a kind of process such that a kind of process is a subclass of sport and the object is capable of doing the kind of process as a agent

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: