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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3286-3288
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12202-12206
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10761-10761	"http://upload.wikimedia.org/wikipedia/commons/3/3d/ Masskrug.jpg" is a URL depicting contest
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9976-9976	"http://upload.wikimedia.org/wikipedia/commons/7/7a/ Basketball_shot.jpg" is a URL depicting contest
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10759-10759	"http://upload.wikimedia.org/wikipedia/commons/8/80/ Mrs_Texas.jpg" is a URL depicting contest
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10763-10763	"http://upload.wikimedia.org/wikipedia/commons/9/97/ Chess_Olympiad_Torino_2006.jpg" is a URL depicting contest
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10764-10764	"http://upload.wikimedia.org/wikipedia/commons/9/97/ MissEarth2006Awards.jpg" is a URL depicting contest
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10758-10758	"http://upload.wikimedia.org/wikipedia/commons/a/af/ Basketball_game.jpg" is a URL depicting contest
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10762-10762	"http://upload.wikimedia.org/wikipedia/commons/e/ed/ SCP._Bajada._Reina_Lustral_2.jpg" is a URL depicting contest
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12201-12201	Contest is a subclass of social interaction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Music.kif 1041-1041	The range of contest function is an instance of contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17404-17404	Business competition is a subclass of contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17384-17384	Debating is a subclass of contest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12271-12271	Game is a subclass of contest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12280-12280	Legal action is a subclass of contest
No TPTP formula. May not be expressible in strict first order.	Music.kif 994-994	Music contest is a subclass of contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17391-17391	Negotiating is a subclass of contest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12221-12221	Violent contest is a subclass of contest
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1208-1208	"比赛" is the printable form of contest in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1638-1638	"contest" is the printable form of contest in english language

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Music.kif 1074-1074	The number 3 argument of contest entry is an instance of contest
No TPTP formula. May not be expressible in strict first order.	Dining.kif 832-832	The number 1 argument of contestObject is an instance of contest
No TPTP formula. May not be expressible in strict first order.	Music.kif 1055-1055	The number 1 argument of contest organizer is an instance of contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17362-17362	The number 1 argument of contest participant is an instance of contest
No TPTP formula. May not be expressible in strict first order.	Music.kif 1097-1097	The number 1 argument of contest representation is an instance of contest
No TPTP formula. May not be expressible in strict first order.	Music.kif 1039-1039	The number 1 argument of contest function is a subclass of contest

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19466-19485	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12208-12219	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

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 163-183	If a process is an instance of unconventional warfare and a government is an agent of the process and the government is not equal to an agent and the government is not equal to a geopolitical area の government and the agent is a patient of the process and the agent is a member of the resident of the geopolitical area or the 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 agent is an agent of the other process and the geopolitical area の government is an agent of the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16029-16039	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12290-12295	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