Contest - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Contest

Contest(contest)

more pictures...

Cold_War, Great_Revolt, Peasant's_Revolt, advance, aggress, aggression, agitate, agonistic, agonistical, antagonise, antagonize, anti-takeover_defense, arbitration, argle-bargle, arguing, argument, argy-bargy, arise, arm, arms_race, athletic_competition, athletic_contest, athletics, attack, avenge, balk, bargaining, barricade, bat, batrachomyomachia, battle, battle_of_wits, battle_royal, baulk, beat, beat_out, bench, beset, bet, bicker, bickering, bidding_contest, blitz, block, brush, buck, build_up, bulldog, bullfight, bulwark...

VerbNet: amuse-31.1|antagonize, amuse-31.1|antagonize, conspire-71|rebel, equip-13.4.2|fortify, exceed-90|overreach, pocket-9.10|bench, risk-94|wager, destroy-44|blitz, fill-9.8|block, equip-13.4.2|fortify, captain-29.8|champion, exceed-90|overreach, battle-36.4|vie, battle-36.4|vie, captain-29.8|champion, fill-9.8|block, cheat-10.6|disarm, escape-51.1|recede, exceed-90|surpass, confront-98|confront, escape-51.1|recede, escape-51.1|recede, battle-36.4|feud, equip-13.4.2|fortify, equip-13.4.2|fortify, force-59|harass, escape-51.1|recede, amalgamate-22.2|oppose, exceed-90|surpass, exceed-90|overreach, exceed-90|surpass, exceed-90|surpass, exceed-90|surpass, exceed-90|overreach, exceed-90|surpass, exceed-90|overreach, exceed-90|overreach, fill-9.8|block, amalgamate-22.2|oppose, amalgamate-22.2|oppose, escape-51.1|recede, captain-29.8|umpire, conspire-71|rebel, conspire-71|rebel, confront-98|rival, battle-36.4|skirmish, force-59|steamroller, force-59|steamroller, conspire-71|retaliate, exceed-90|surpass, ...

appearance as argument number 1

(documentation Contest ChineseLanguage "这是一种 SocialInteraction，当中 agent 和 patient 皆是试图击败对方的 CognitiveAgent。注：这个概念在自然语言常常以隐喻的意义被应用，我们会说譬如植物为了空间和阳光而争斗，或细菌在某些环境为了食物而斗争。")	Merge.kif 17662-17664
(documentation Contest EnglishLanguage "A SocialInteraction where the agent and patient are CognitiveAgents who are trying to defeat one another. Note that this concept is often applied in a metaphorical sense in natural language, when we speak, e.g., of the struggle of plants for space or sunlight, or of bacteria for food resources in some environment.")	Merge.kif 17657-17661
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/3/ 3d/ Masskrug.jpg")	pictureList.kif 10761-10761	"http://upload.wikimedia.org/wikipedia/commons/3/3d/ Masskrug.jpg" is a URL depicting contest
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/7/ 7a/ Basketball_shot.jpg")	pictureList.kif 9976-9976	"http://upload.wikimedia.org/wikipedia/commons/7/7a/ Basketball_shot.jpg" is a URL depicting contest
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/8/ 80/ Mrs_Texas.jpg")	pictureList.kif 10759-10759	"http://upload.wikimedia.org/wikipedia/commons/8/80/ Mrs_Texas.jpg" is a URL depicting contest
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/9/ 97/ Chess_Olympiad_Torino_2006.jpg")	pictureList.kif 10763-10763	"http://upload.wikimedia.org/wikipedia/commons/9/97/ Chess_Olympiad_Torino_2006.jpg" is a URL depicting contest
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/9/ 97/ MissEarth2006Awards.jpg")	pictureList.kif 10764-10764	"http://upload.wikimedia.org/wikipedia/commons/9/97/ MissEarth2006Awards.jpg" is a URL depicting contest
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/a/ af/ Basketball_game.jpg")	pictureList.kif 10758-10758	"http://upload.wikimedia.org/wikipedia/commons/a/af/ Basketball_game.jpg" is a URL depicting contest
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/e/ ed/ SCP._Bajada._Reina_Lustral_2.jpg")	pictureList.kif 10762-10762	"http://upload.wikimedia.org/wikipedia/commons/e/ed/ SCP._Bajada._Reina_Lustral_2.jpg" is a URL depicting contest
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/f/ f5/ ESC_2007_Poland_-_The_Jet_Set_-_Time_to_party.jpg")	pictureList.kif 10760-10760	"http://upload.wikimedia.org/wikipedia/commons/f/f5/ ESC_2007_Poland_-_The_Jet_Set_-_Time_to_party.jpg" is a URL depicting contest
(subclass Contest SocialInteraction)	Merge.kif 17656-17656	Contest is a subclass of social interaction

appearance as argument number 2

(range ContestFn Contest)	Music.kif 1047-1047	The range of contest function is an instance of contest
(subclass BusinessCompetition Contest)	Mid-level-ontology.kif 17500-17500	Business competition is a subclass of contest
(subclass Debating Contest)	Mid-level-ontology.kif 17480-17480	Debating is a subclass of contest
(subclass Game Contest)	Merge.kif 17737-17737	Game is a subclass of contest
(subclass LegalAction Contest)	Merge.kif 17748-17748	Legal action is a subclass of contest
(subclass MusicContest Contest)	Music.kif 1000-1000	Music contest is a subclass of contest
(subclass Negotiating Contest)	Mid-level-ontology.kif 17487-17487	Negotiating is a subclass of contest
(subclass ViolentContest Contest)	Merge.kif 17679-17679	Violent contest is a subclass of contest
(termFormat ChineseLanguage Contest "比赛")	chinese_format.kif 1208-1208	"比赛" is the printable form of contest in ChineseLanguage
(termFormat EnglishLanguage Contest "contest")	english_format.kif 2333-2333	"contest" is the printable form of contest in english language
(termFormat JapaneseLanguage Contest "コンテスト")	english_format.kif 2334-2334	"コンテスト" is the printable form of contest in japanese language

appearance as argument number 3

(domain contestEntry 3 Contest)	Music.kif 1080-1080	The number 3 argument of contest entry is an instance of contest
(domain contestObject 1 Contest)	Dining.kif 836-836	The number 1 argument of contestObject is an instance of contest
(domain contestOrganizer 1 Contest)	Music.kif 1061-1061	The number 1 argument of contest organizer is an instance of contest
(domain contestParticipant 1 Contest)	Mid-level-ontology.kif 17458-17458	The number 1 argument of contest participant is an instance of contest
(domain contestParticipantRepresentation 1 Contest)	Music.kif 1103-1103	The number 1 argument of contest representation is an instance of contest
(domainSubclass ContestFn 1 Contest)	Music.kif 1045-1045	The number 1 argument of contest function is a subclass of contest

antecedent

(=> (and (instance ?B Blockade) (instance ?C Contest) (subProcess ?B ?C) (contestParticipant ?C ?A1) (agent ?B ?A1)) (exists (?C1 ?A2) (and (prevents ?C1 Translocation) (instance ?B ?C1) (contestParticipant ?C ?A2) (not (equal ?A1 ?A2)) (desires ?A2 (exists (?I) (and (instance ?I ?C1) (agent ?I ?A1) (subProcess ?I ?C)))))))	Mid-level-ontology.kif 19562-19581	If a process is an instance of blockade and a contest is an instance of contest and the process is a subprocess of the contest and an agent participates in the contest and the agent is an agent of the process, then there exist the contest1 and a cognitive agent such that the contest1 prevents the occurrence of translocation and the process is an instance of the contest1 and the cognitive agent participates in the contest and the agent is not equal to the cognitive agent and the cognitive agent desires there exists an entity such that the entity is an instance of the contest1 and the agent is an agent of the entity and the entity is a subprocess of the contest
(=> (instance ?CONTEST Contest) (exists (?AGENT1 ?AGENT2 ?PURP1 ?PURP2) (and (agent ?CONTEST ?AGENT1) (agent ?CONTEST ?AGENT2) (hasPurposeForAgent ?CONTEST ?PURP1 ?AGENT1) (hasPurposeForAgent ?CONTEST ?PURP2 ?AGENT2) (not (equal ?AGENT1 ?AGENT2)) (not (equal ?PURP1 ?PURP2)))))	Merge.kif 17666-17677	If a process is an instance of contest, then there exist an agent, another agent,, , a formula and another formula such that the agent is an agent of the process and the other agent is an agent of the process and the process purpose the formula for the agent and the process purpose the other formula for the other agent and the agent is not equal to the other agent and the formula is not equal to the other formula

consequent

(=> (and (instance ?UW UnconventionalWarfare) (agent ?UW ?AGENT) (patient ?UW ?POPULACE) (or (member ?POPULACE (ResidentFn ?NATION)) (subCollection ?POPULACE (ResidentFn ?NATION)))) (exists (?CONTEST) (and (instance ?CONTEST Contest) (agent ?CONTEST ?POPULACE) (agent ?CONTEST (GovernmentFn ?NATION)))))	MilitaryProcesses.kif 163-174	If a process is an instance of unconventional warfare and an agent is an agent of the process and another agent is a patient of the process and the other agent is a member of the resident of a geopolitical area or the other agent is a proper sub-collection of the resident of the geopolitical area, then there exists another process such that the other process is an instance of contest and the other agent is an agent of the other process and the geopolitical area の government is an agent of the other process
(=> (and (property ?THING ?ATTR) (instance ?ATTR ContestAttribute)) (exists (?CONTEST) (and (instance ?CONTEST Contest) (or (agent ?CONTEST ?THING) (patient ?CONTEST ?THING) (subProcess ?THING ?CONTEST)))))	Merge.kif 22151-22161	If an agent the attribute an attribute and the attribute is an instance of contest attribute, then there exists a process such that the process is an instance of contest and the agent is an agent of the process or the agent is a patient of the process or the agent is a subprocess of the process
(=> (instance ?MOVE Maneuver) (exists (?CONTEST) (and (instance ?CONTEST Contest) (subProcess ?MOVE ?CONTEST))))	Merge.kif 17763-17768	If a process is an instance of maneuver, then there exists another process such that the other process is an instance of contest and the process is a subprocess of the other process

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners