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


s__documentation(s__Contest,s__ChineseLanguage,'"这是一种 SocialInteraction,当中 agentpatient 皆是试图击败对方的 CognitiveAgent。注:这个概念在自然语言常常以隐喻的意义被应用,我们会说 譬如植物为了空间和阳光而争斗,或细菌在某些环境为了食物而斗争。"')

chinese_format.kif 3286-3288
s__documentation(s__Contest,s__EnglishLanguage,'"A SocialInteraction where the agent and patient are CognitiveAgents who are trying to defeat one another. Note that this concept is often applied in a metaphorical sense in natural language, when we speak, e.g., of the struggle of plants for space or sunlight, or of bacteria for food resources in some environment."')

Merge.kif 12647-12651
s__externalImage(s__Contest,'"http://upload.wikimedia.org/wikipedia/commons/3/ 3d/ Masskrug.jpg"')

pictureList.kif 10760-10760
s__externalImage(s__Contest,'"http://upload.wikimedia.org/wikipedia/commons/7/ 7a/ Basketball_shot.jpg"')

pictureList.kif 9975-9975
s__externalImage(s__Contest,'"http://upload.wikimedia.org/wikipedia/commons/8/ 80/ Mrs_Texas.jpg"')

pictureList.kif 10758-10758
s__externalImage(s__Contest,'"http://upload.wikimedia.org/wikipedia/commons/9/ 97/ Chess_Olympiad_Torino_2006.jpg"')

pictureList.kif 10762-10762
s__externalImage(s__Contest,'"http://upload.wikimedia.org/wikipedia/commons/9/ 97/ MissEarth2006Awards.jpg"')

pictureList.kif 10763-10763
s__externalImage(s__Contest,'"http://upload.wikimedia.org/wikipedia/commons/a/ af/ Basketball_game.jpg"')

pictureList.kif 10757-10757
s__externalImage(s__Contest,'"http://upload.wikimedia.org/wikipedia/commons/e/ ed/ SCP._Bajada._Reina_Lustral_2.jpg"')

pictureList.kif 10761-10761
s__externalImage(s__Contest,'"http://upload.wikimedia.org/wikipedia/commons/f/ f5/ ESC_2007_Poland_-_The_Jet_Set_-_Time_to_party.jpg"')

pictureList.kif 10759-10759
s__instance(s__Contest,s__SetOrClass)

s__subclass(s__Contest,s__SocialInteraction)

s__instance(s__SocialInteraction,s__SetOrClass)

Merge.kif 12646-12646 Contest is a subclass of social interaction

appearance as argument number 2
-------------------------


s__range(s__ContestFn__m,s__Contest)

Music.kif 1041-1041 The range of contest function is an instance of contest
s__instance(s__Contest,s__SetOrClass)

s__subclass(s__BusinessCompetition,s__Contest)

s__instance(s__BusinessCompetition,s__SetOrClass)

Mid-level-ontology.kif 18135-18135 Business competition is a subclass of contest
s__instance(s__Contest,s__SetOrClass)

s__subclass(s__Debating,s__Contest)

s__instance(s__Debating,s__SetOrClass)

Mid-level-ontology.kif 18115-18115 Debating is a subclass of contest
s__instance(s__Contest,s__SetOrClass)

s__instance(s__Game,s__SetOrClass)

s__subclass(s__Game,s__Contest)

Merge.kif 12716-12716 Game is a subclass of contest
s__instance(s__Contest,s__SetOrClass)

s__instance(s__LegalAction,s__SetOrClass)

s__subclass(s__LegalAction,s__Contest)

Merge.kif 12725-12725 Legal action is a subclass of contest
s__instance(s__Contest,s__SetOrClass)

s__subclass(s__MusicContest,s__Contest)

s__instance(s__MusicContest,s__SetOrClass)

Music.kif 994-994 Music contest is a subclass of contest
s__instance(s__Contest,s__SetOrClass)

s__subclass(s__Negotiating,s__Contest)

s__instance(s__Negotiating,s__SetOrClass)

Mid-level-ontology.kif 18122-18122 Negotiating is a subclass of contest
s__instance(s__Contest,s__SetOrClass)

s__subclass(s__ViolentContest,s__Contest)

s__instance(s__ViolentContest,s__SetOrClass)

Merge.kif 12666-12666 Violent contest is a subclass of contest
s__termFormat(s__ChineseLanguage,s__Contest,'"比赛"')

chinese_format.kif 1208-1208
s__termFormat(s__EnglishLanguage,s__Contest,'"contest"')

english_format.kif 1638-1638

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


s__domain(s__contestEntry__m,n__3,s__Contest)

Music.kif 1074-1074 The number 3 argument of contest entry is an instance of contest
s__domain(s__contestObject__m,n__1,s__Contest)

Dining.kif 832-832 The number 1 argument of contestObject is an instance of contest
s__domain(s__contestOrganizer__m,n__1,s__Contest)

Music.kif 1055-1055 The number 1 argument of contest organizer is an instance of contest
s__domain(s__contestParticipant__m,n__1,s__Contest)

Mid-level-ontology.kif 18093-18093 The number 1 argument of contest participant is an instance of contest
s__domain(s__contestParticipantRepresentation__m,n__1,s__Contest)

Music.kif 1097-1097 The number 1 argument of contest representation is an instance of contest
s__domainSubclass(s__ContestFn__m,n__1,s__Contest)

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 20284-20303
No TPTP formula. May not be expressible in strict first order. Merge.kif 12653-12664

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


( ! [V__AGENT,V__UW,V__NATION,V__POPULACE] :
   (((s__instance(V__AGENT,s__Government) &
         s__instance(V__NATION,s__GeopoliticalArea) &
         s__instance(V__POPULACE,s__Agent) &
         s__instance(V__POPULACE,s__Collection))
       =>
       (((s__instance(V__UW,s__UnconventionalWarfare) &
             s__agent(V__UW,V__AGENT)
           &
           ~((V__AGENT = V__POPULACE))
           &
           ~((V__AGENT = s__GovernmentFn(V__NATION)))
         &
         s__patient(V__UW,V__POPULACE)
       &
       (s__member(V__POPULACE,s__ResidentFn(V__NATION))
     |
     s__subCollection(V__POPULACE,s__ResidentFn(V__NATION))))
=>
(( ? [V__CONTEST] :
((s__instance(V__CONTEST,s__Contest) &
     s__agent(V__CONTEST,V__POPULACE)
   &
   s__agent(V__CONTEST,s__GovernmentFn(V__NATION)))))))))
)
)

MilitaryProcesses.kif 163-183
( ! [V__ATTR,V__THING] :
   (((s__instance(V__THING,s__Agent) &
         s__instance(V__THING,s__Process))
       =>
       (((s__property(V__THING,V__ATTR)
           &
           s__instance(V__ATTR,s__ContestAttribute))
         =>
         (( ? [V__CONTEST] :
             ((s__instance(V__CONTEST,s__Contest) &
                 (s__agent(V__CONTEST,V__THING)
                 |
                 s__patient(V__CONTEST,V__THING)
               |
               s__subProcess(V__THING,V__CONTEST)))))))))
)
)

Merge.kif 16583-16593
( ! [V__MOVE] :
   ((s__instance(V__MOVE,s__Maneuver) =>
       (( ? [V__CONTEST] :
           ((s__instance(V__CONTEST,s__Contest) &
               s__subProcess(V__MOVE,V__CONTEST))))))
   )
)

Merge.kif 12735-12740


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