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

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 163-183
No TPTP formula. May not be expressible in strict first order. Merge.kif 16029-16039
No TPTP formula. May not be expressible in strict first order. Merge.kif 12290-12295


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