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...

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 13457-13461
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10738-10738
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9957-9957
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10736-10736
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10740-10740
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10741-10741
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10735-10735
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10739-10739
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10737-10737
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13456-13456	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 1051-1051	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 21293-21293	Business competition is a subclass of contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21273-21273	Debating is a subclass of contest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13526-13526	Game is a subclass of contest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13535-13535	Legal action is a subclass of contest
No TPTP formula. May not be expressible in strict first order.	Music.kif 1004-1004	Music contest is a subclass of contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21280-21280	Negotiating is a subclass of contest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13476-13476	Violent contest is a subclass of contest
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1208-1208	Violent contest is a subclass of contest
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1633-1633	Violent contest is a subclass of contest
No TPTP formula. May not be expressible in strict first order.	french_format.kif 886-886	Violent contest is a subclass of contest
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 419-419	Violent contest is a subclass of contest
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 422-422	Violent contest is a subclass of contest
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2570-2570	Violent contest is a subclass of contest
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 424-424	Violent contest is a subclass of contest
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 458-458	Violent contest is a subclass of contest
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 717-717	Violent contest is a subclass of contest
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 907-907	Violent contest is a subclass of contest
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 423-423	Violent contest is a subclass of contest

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Music.kif 1084-1084	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 879-879	The number 1 argument of contest object is an instance of contest
No TPTP formula. May not be expressible in strict first order.	Music.kif 1065-1065	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 21251-21251	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 1107-1107	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 1049-1049	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 23418-23437	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 equal the agent and 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 13463-13474	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 has the purpose the formula for the agent and the process has the purpose the other formula for the other agent and equal the agent and the other agent and equal the formula and 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 equal the government and an agent and equal the government and not the government of a geopolitical area 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 government of the geopolitical area is an agent of the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17567-17577	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 13545-13550	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 3.0 is open source software produced by Articulate Software and its partners