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


(documentation Contest ChineseLanguage "这是一种 SocialInteraction,当中 agentpatient 皆是试图击败对方的 CognitiveAgent。注:这个概念在自然语言常常以隐喻的意义被应用,我们会说 譬如植物为了空间和阳光而争斗,或细菌在某些环境为了食物而斗争。") Merge.kif 13291-13293
(documentation Contest 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 13286-13290
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/3/ 3d/ Masskrug.jpg") pictureList.kif 10761-10761 "http://upload.wikimedia.org/wikipedia/commons/3/3d/ Masskrug.jpg" is a URL depicting contest
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/7/ 7a/ Basketball_shot.jpg") pictureList.kif 9976-9976 "http://upload.wikimedia.org/wikipedia/commons/7/7a/ Basketball_shot.jpg" is a URL depicting contest
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/8/ 80/ Mrs_Texas.jpg") pictureList.kif 10759-10759 "http://upload.wikimedia.org/wikipedia/commons/8/80/ Mrs_Texas.jpg" is a URL depicting contest
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/9/ 97/ Chess_Olympiad_Torino_2006.jpg") pictureList.kif 10763-10763 "http://upload.wikimedia.org/wikipedia/commons/9/97/ Chess_Olympiad_Torino_2006.jpg" is a URL depicting contest
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/9/ 97/ MissEarth2006Awards.jpg") pictureList.kif 10764-10764 "http://upload.wikimedia.org/wikipedia/commons/9/97/ MissEarth2006Awards.jpg" is a URL depicting contest
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/a/ af/ Basketball_game.jpg") pictureList.kif 10758-10758 "http://upload.wikimedia.org/wikipedia/commons/a/af/ Basketball_game.jpg" is a URL depicting contest
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/e/ ed/ SCP._Bajada._Reina_Lustral_2.jpg") pictureList.kif 10762-10762 "http://upload.wikimedia.org/wikipedia/commons/e/ed/ SCP._Bajada._Reina_Lustral_2.jpg" is a URL depicting contest
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/f/ f5/ ESC_2007_Poland_-_The_Jet_Set_-_Time_to_party.jpg") 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
(subclass Contest SocialInteraction) Merge.kif 13285-13285 Contest is a subclass of social interaction

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


(range ContestFn Contest) Music.kif 1047-1047 The range of contest function is an instance of contest
(subclass BusinessCompetition Contest) Mid-level-ontology.kif 17499-17499 Business competition is a subclass of contest
(subclass Debating Contest) Mid-level-ontology.kif 17479-17479 Debating is a subclass of contest
(subclass Game Contest) Merge.kif 13366-13366 Game is a subclass of contest
(subclass LegalAction Contest) Merge.kif 13377-13377 Legal action is a subclass of contest
(subclass MusicContest Contest) Music.kif 1000-1000 Music contest is a subclass of contest
(subclass Negotiating Contest) Mid-level-ontology.kif 17486-17486 Negotiating is a subclass of contest
(subclass ViolentContest Contest) Merge.kif 13308-13308 Violent contest is a subclass of contest
(termFormat ChineseLanguage Contest "比赛") chinese_format.kif 1208-1208 "比赛" is the printable form of contest in ChineseLanguage
(termFormat EnglishLanguage Contest "contest") english_format.kif 1701-1701 "contest" is the printable form of contest in english language
(termFormat JapaneseLanguage Contest "コンテスト") english_format.kif 1702-1702 "コンテスト" is the printable form of contest in japanese language

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


(domain contestEntry 3 Contest) Music.kif 1080-1080 The number 3 argument of contest entry is an instance of contest
(domain contestObject 1 Contest) Dining.kif 836-836 The number 1 argument of contestObject is an instance of contest
(domain contestOrganizer 1 Contest) Music.kif 1061-1061 The number 1 argument of contest organizer is an instance of contest
(domain contestParticipant 1 Contest) Mid-level-ontology.kif 17457-17457 The number 1 argument of contest participant is an instance of contest
(domain contestParticipantRepresentation 1 Contest) Music.kif 1103-1103 The number 1 argument of contest representation is an instance of contest
(domainSubclass ContestFn 1 Contest) Music.kif 1045-1045 The number 1 argument of contest function is a subclass of contest

antecedent
-------------------------


(=>
    (and
        (instance ?B Blockade)
        (instance ?C Contest)
        (subProcess ?B ?C)
        (contestParticipant ?C ?A1)
        (agent ?B ?A1))
    (exists (?C1 ?A2)
        (and
            (prevents ?C1 Translocation)
            (instance ?B ?C1)
            (contestParticipant ?C ?A2)
            (not
                (equal ?A1 ?A2))
            (desires ?A2
                (exists (?I)
                    (and
                        (instance ?I ?C1)
                        (agent ?I ?A1)
                        (subProcess ?I ?C)))))))
Mid-level-ontology.kif 19561-19580
(=>
    (instance ?CONTEST Contest)
    (exists (?AGENT1 ?AGENT2 ?PURP1 ?PURP2)
        (and
            (agent ?CONTEST ?AGENT1)
            (agent ?CONTEST ?AGENT2)
            (hasPurposeForAgent ?CONTEST ?PURP1 ?AGENT1)
            (hasPurposeForAgent ?CONTEST ?PURP2 ?AGENT2)
            (not
                (equal ?AGENT1 ?AGENT2))
            (not
                (equal ?PURP1 ?PURP2)))))
Merge.kif 13295-13306

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


(=>
    (and
        (instance ?UW UnconventionalWarfare)
        (agent ?UW ?AGENT)
        (patient ?UW ?POPULACE)
        (or
            (member ?POPULACE
                (ResidentFn ?NATION))
            (subCollection ?POPULACE
                (ResidentFn ?NATION))))
    (exists (?CONTEST)
        (and
            (instance ?CONTEST Contest)
            (agent ?CONTEST ?POPULACE)
            (agent ?CONTEST
                (GovernmentFn ?NATION)))))
MilitaryProcesses.kif 163-174
(=>
    (and
        (property ?THING ?ATTR)
        (instance ?ATTR ContestAttribute))
    (exists (?CONTEST)
        (and
            (instance ?CONTEST Contest)
            (or
                (agent ?CONTEST ?THING)
                (patient ?CONTEST ?THING)
                (subProcess ?THING ?CONTEST)))))
Merge.kif 17779-17789
(=>
    (instance ?MOVE Maneuver)
    (exists (?CONTEST)
        (and
            (instance ?CONTEST Contest)
            (subProcess ?MOVE ?CONTEST))))
Merge.kif 13392-13397


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