Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Contest

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 13057-13061
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10750-10750
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9966-9966
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10748-10748
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10752-10752
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10753-10753
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10747-10747
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10751-10751
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10749-10749
No TPTP formula. May not be expressible in strict first order. Merge.kif 13056-13056 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 1042-1042 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 19072-19072 Business competition is a subclass of contest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19052-19052 Debating is a subclass of contest
No TPTP formula. May not be expressible in strict first order. Merge.kif 13126-13126 Game is a subclass of contest
No TPTP formula. May not be expressible in strict first order. Merge.kif 13135-13135 Legal action is a subclass of contest
No TPTP formula. May not be expressible in strict first order. Music.kif 995-995 Music contest is a subclass of contest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19059-19059 Negotiating is a subclass of contest
No TPTP formula. May not be expressible in strict first order. Merge.kif 13076-13076 Violent contest is a subclass of contest
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1208-1208
No TPTP formula. May not be expressible in strict first order. english_format.kif 1633-1633

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Music.kif 1075-1075 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 1056-1056 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 19030-19030 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 1098-1098 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 1040-1040 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 21234-21253
No TPTP formula. May not be expressible in strict first order. Merge.kif 13063-13074

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 17132-17142
No TPTP formula. May not be expressible in strict first order. Merge.kif 13145-13150


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