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 13303-13307
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 9958-9958
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 10742-10742
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10743-10743
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. pictureList.kif 10741-10741
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. Merge.kif 13302-13302 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 1049-1049 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 19722-19722 Business competition is a subclass of contest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19702-19702 Debating is a subclass of contest
No TPTP formula. May not be expressible in strict first order. Merge.kif 13372-13372 Game is a subclass of contest
No TPTP formula. May not be expressible in strict first order. Merge.kif 13381-13381 Legal action is a subclass of contest
No TPTP formula. May not be expressible in strict first order. Music.kif 1002-1002 Music contest is a subclass of contest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19709-19709 Negotiating is a subclass of contest
No TPTP formula. May not be expressible in strict first order. Merge.kif 13322-13322 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
No TPTP formula. May not be expressible in strict first order. french_format.kif 886-886
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 419-419
No TPTP formula. May not be expressible in strict first order. terms-it.txt 422-422
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2570-2570
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 424-424
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 458-458
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 907-907
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 423-423

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


No TPTP formula. May not be expressible in strict first order. Music.kif 1082-1082 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 1063-1063 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 19680-19680 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 1105-1105 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 1047-1047 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 21776-21795
No TPTP formula. May not be expressible in strict first order. Merge.kif 13309-13320

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 17392-17402
No TPTP formula. May not be expressible in strict first order. Merge.kif 13391-13396


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