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 13349-13353
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 13348-13348 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 19749-19749 Business competition is a subclass of contest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19729-19729 Debating is a subclass of contest
No TPTP formula. May not be expressible in strict first order. Merge.kif 13418-13418 Game is a subclass of contest
No TPTP formula. May not be expressible in strict first order. Merge.kif 13427-13427 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 19736-19736 Negotiating is a subclass of contest
No TPTP formula. May not be expressible in strict first order. Merge.kif 13368-13368 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 19707-19707 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 21828-21847
No TPTP formula. May not be expressible in strict first order. Merge.kif 13355-13366

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 17463-17473
No TPTP formula. May not be expressible in strict first order. Merge.kif 13437-13442


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