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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Contest
Contest
more pictures...
Cold_War, Competizione, Great_Revolt, Peasant's_Revolt, advance, affrontement, 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...

appearance as argument number 1
-------------------------


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

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


(range ContestFn Contest) Music.kif 1047-1047
(subclass BusinessCompetition Contest) Mid-level-ontology.kif 17441-17441
(subclass Debating Contest) Mid-level-ontology.kif 17421-17421
(subclass Game Contest) Merge.kif 13308-13308
(subclass LegalAction Contest) Merge.kif 13319-13319
(subclass MusicContest Contest) Music.kif 1000-1000
(subclass Negotiating Contest) Mid-level-ontology.kif 17428-17428
(subclass ViolentContest Contest) Merge.kif 13250-13250
(termFormat ChineseLanguage Contest "比赛") chinese_format.kif 1208-1208
(termFormat EnglishLanguage Contest "contest") english_format.kif 895-895
(termFormat FrenchLanguage Contest "affrontement") french_format.kif 886-886
(termFormat Hindi Contest "pratiyogitaa") terms-hindi.txt 419-419
(termFormat ItalianLanguage Contest "Competizione") terms-it.txt 420-420
(termFormat cb Contest "tutol") terms-cb.txt 424-424
(termFormat cz Contest "contest") terms-cz.txt 458-458
(termFormat tg Contest "paligsahan") terms-tg.txt 423-423

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


(domain contestEntry 3 Contest) Music.kif 1080-1080
(domain contestObject 1 Contest) Dining.kif 836-836
(domain contestOrganizer 1 Contest) Music.kif 1061-1061
(domain contestParticipant 1 Contest) Mid-level-ontology.kif 17399-17399
(domain contestParticipantRepresentation 1 Contest) Music.kif 1103-1103
(domainSubclass ContestFn 1 Contest) Music.kif 1045-1045

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 19503-19522
(=>
    (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 13237-13248

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 17727-17737
(=>
    (instance ?MOVE Maneuver)
    (exists (?CONTEST)
        (and
            (instance ?CONTEST Contest)
            (subProcess ?MOVE ?CONTEST))))
Merge.kif 13334-13339


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