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 13400-13401
(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 13399-13399	Sport est une sous-classe de jeu

appearance as argument number 2

(subclass Archery Sport)	Sports.kif 89-89	Archery est une sous-classe de sport
(subclass Badminton Sport)	Sports.kif 91-91	Badminton est une sous-classe de sport
(subclass Bodybuilding Sport)	Sports.kif 772-772	Bodybuilding est une sous-classe de sport
(subclass Bowling Sport)	Sports.kif 1103-1103	Bowling est une sous-classe de sport
(subclass Boxing Sport)	Sports.kif 585-585	Boxing est une sous-classe de sport
(subclass Caving Sport)	Sports.kif 226-226	Caving est une sous-classe de sport
(subclass Curling Sport)	Sports.kif 95-95	Curling est une sous-classe de sport
(subclass CycleRacing Sport)	Sports.kif 97-97	CycleRacing est une sous-classe de sport
(subclass Diving Sport)	Sports.kif 103-103	Diving est une sous-classe de sport
(subclass Equitation Sport)	Sports.kif 1182-1182	Equitation est une sous-classe de sport
(subclass Fencing Sport)	Sports.kif 114-114	Fencing est une sous-classe de sport
(subclass FigureSkating Sport)	Sports.kif 116-116	FigureSkating est une sous-classe de sport
(subclass FishingSport Sport)	Sports.kif 236-236	FishingSport est une sous-classe de sport
(subclass Golf Sport)	Sports.kif 889-889	Golf est une sous-classe de sport
(subclass Gymnastics Sport)	Sports.kif 600-600	Gymnastics est une sous-classe de sport
(subclass HorseRacing Sport)	Sports.kif 245-245	HorseRacing est une sous-classe de sport
(subclass IceSkating Sport)	Sports.kif 112-112	IceSkating est une sous-classe de sport
(subclass KiteSurfing Sport)	Sports.kif 221-221	KiteSurfing est une sous-classe de sport
(subclass Lacrosse Sport)	Sports.kif 126-126	Lacrosse est une sous-classe de sport
(subclass MartialArts Sport)	Sports.kif 133-133	MartialArts est une sous-classe de sport
(subclass OlympicGames Sport)	Sports.kif 1337-1337	OlympicGames est une sous-classe de sport
(subclass Racing Sport)	Mid-level-ontology.kif 7548-7548	Racing est une sous-classe de sport
(subclass Racquetball Sport)	Sports.kif 1318-1318	Racquetball est une sous-classe de sport
(subclass Rafting Sport)	Sports.kif 232-232	Rafting est une sous-classe de sport
(subclass RockClimbing Sport)	Sports.kif 496-496	RockClimbing est une sous-classe de 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	Attribut est un attribut de AutonomousAgent attribut est une instance de ProfessionalAthlete affrontement affrontement est une instance de sport contestParticipant affrontement and AutonomousAgent
(=> (and (attribute ?ATHLETE ?PA) (instance ?PA ProfessionalAthlete)) (hasSkill Sport ?ATHLETE))	Sports.kif 1358-1362	Attribut est un attribut de AutonomousAgent attribut est une instance de ProfessionalAthlete AutonomousAgent a la capacit� de faire 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	Collection est une instance de organisation SportingGoodsHobbyBookAndMusicStores est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent objet AutonomousAgent est une instance de vendre objet est une instance de objet objet est capable de faire sport dans le r�le instrument objet est capable de faire MakingMusic dans le r�le instrument objet est une instance de livre objet est une instance de MusicRecording objet est une instance de MusicText objet est un patient de AutonomousAgent
(=> (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 est un attribut de objet objet a pour but entit� entit� and entit� entit� est une instance de vendre entit� est un patient de entit� entit� est un agent de objet entit� est une instance de Ticket entit� aboutit � entit� entit� a pour but objet autorise entit� � ex�cut� des t�ches du type entit� entit� entit� est une instance de voir entit� est un agent de entit� entit� est un patient de entit� entit� est une instance de Performance entit� est une instance de sport
(=> (instance ?G SportsFacility) (hasPurpose ?G (exists (?S) (and (instance ?S Sport) (eventLocated ?S ?G)))))	Mid-level-ontology.kif 7010-7016	Physique est une instance de SportsFacility physique a pour but entit� entit� est une instance de sport eventLocated entit� and physique
(=> (instance ?GROUND SportsGround) (hasPurpose ?GROUND (exists (?SPORT) (and (instance ?SPORT Sport) (eventLocated ?SPORT ?GROUND)))))	Mid-level-ontology.kif 15676-15682	Physique est une instance de SportsGround physique a pour but entit� entit� est une instance de sport eventLocated entit� and physique
(=> (instance ?SS SportServe) (exists (?S) (and (instance ?S Sport) (subProcess ?SS ?S) (starts (WhenFn ?SS) (WhenFn ?S)))))	Mid-level-ontology.kif 17069-17075	Processus est une instance de SportServe processus processus est une instance de sport processus est un sous-processus de processus temps d'existence de processus commence temps d'existence de processus
(=> (instance ?TEAM SportsTeam) (exists (?SPORT) (and (subclass ?SPORT Sport) (capability ?SPORT agent ?TEAM))))	Mid-level-ontology.kif 7527-7532	Objet est une instance de SportsTeam processus processus est une sous-classe de sport objet est capable de faire processus dans le r�le agent

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: