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 13517-13518
(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 13516-13516	Sport is a subclass of game

appearance as argument number 2

(subclass Archery Sport)	Sports.kif 101-101	Archery is a subclass of sport
(subclass Badminton Sport)	Sports.kif 103-103	Badminton is a subclass of sport
(subclass Bodybuilding Sport)	Sports.kif 784-784	Bodybuilding is a subclass of sport
(subclass Bowling Sport)	Sports.kif 1116-1116	Bowling is a subclass of sport
(subclass Boxing Sport)	Sports.kif 597-597	Boxing is a subclass of sport
(subclass Caving Sport)	Sports.kif 238-238	Caving is a subclass of sport
(subclass Curling Sport)	Sports.kif 107-107	Curling is a subclass of sport
(subclass CycleRacing Sport)	Sports.kif 109-109	Cycle racing is a subclass of sport
(subclass Diving Sport)	Sports.kif 115-115	Diving is a subclass of sport
(subclass Equitation Sport)	Sports.kif 1195-1195	Equitation is a subclass of sport
(subclass Fencing Sport)	Sports.kif 126-126	Fencing is a subclass of sport
(subclass FigureSkating Sport)	Sports.kif 128-128	Figure skating is a subclass of sport
(subclass FishingSport Sport)	Sports.kif 248-248	Fishing sport is a subclass of sport
(subclass Golf Sport)	Sports.kif 901-901	Golf is a subclass of sport
(subclass Gymnastics Sport)	Sports.kif 612-612	Gymnastics is a subclass of sport
(subclass HorseRacing Sport)	Sports.kif 257-257	Horse racing is a subclass of sport
(subclass IceSkating Sport)	Sports.kif 124-124	Ice skating is a subclass of sport
(subclass KiteSurfing Sport)	Sports.kif 233-233	Kite surfing is a subclass of sport
(subclass Lacrosse Sport)	Sports.kif 138-138	Lacrosse is a subclass of sport
(subclass MartialArts Sport)	Sports.kif 145-145	Martial arts is a subclass of sport
(subclass OlympicGames Sport)	Sports.kif 1350-1350	Olympic games is a subclass of sport
(subclass Racing Sport)	Mid-level-ontology.kif 8735-8735	Racing is a subclass of sport
(subclass Racquetball Sport)	Sports.kif 1331-1331	Racquetball is a subclass of sport
(subclass Rafting Sport)	Sports.kif 244-244	Rafting is a subclass of sport
(subclass RockClimbing Sport)	Sports.kif 508-508	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 1377-1384	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 1371-1375	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 (attribute ?H ?ATHLETE) (instance ?ATHLETE Athlete)) (hasSkill Sport ?ATHLETE))	Sports.kif 93-97	If an agent is an attribute of an object and the agent is an instance of 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 2364-2383	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 8191-8197	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 17068-17074	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 18477-18483	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 8714-8719	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: