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。注:这个概念在自然语言常常以隐喻的意义被应用,我们会说 譬如植物为了空间和阳光而争斗,或细菌在某些环境为了食物而斗争。") chinese_format.kif 3286-3288
(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 13457-13461
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/3/ 3d/ Masskrug.jpg") pictureList.kif 10738-10738
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/7/ 7a/ Basketball_shot.jpg") pictureList.kif 9957-9957
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/8/ 80/ Mrs_Texas.jpg") pictureList.kif 10736-10736
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/9/ 97/ Chess_Olympiad_Torino_2006.jpg") pictureList.kif 10740-10740
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/9/ 97/ MissEarth2006Awards.jpg") pictureList.kif 10741-10741
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/a/ af/ Basketball_game.jpg") pictureList.kif 10735-10735
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/e/ ed/ SCP._Bajada._Reina_Lustral_2.jpg") pictureList.kif 10739-10739
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/f/ f5/ ESC_2007_Poland_-_The_Jet_Set_-_Time_to_party.jpg") pictureList.kif 10737-10737
(subclass Contest SocialInteraction) Merge.kif 13456-13456 Contest is a subclass of social interaction

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


(range ContestFn Contest) Music.kif 1051-1051 The range of contest function is an instance of contest
(subclass BusinessCompetition Contest) Mid-level-ontology.kif 21293-21293 Business competition is a subclass of contest
(subclass Debating Contest) Mid-level-ontology.kif 21273-21273 Debating is a subclass of contest
(subclass Game Contest) Merge.kif 13526-13526 Game is a subclass of contest
(subclass LegalAction Contest) Merge.kif 13535-13535 Legal action is a subclass of contest
(subclass MusicContest Contest) Music.kif 1004-1004 Music contest is a subclass of contest
(subclass Negotiating Contest) Mid-level-ontology.kif 21280-21280 Negotiating is a subclass of contest
(subclass ViolentContest Contest) Merge.kif 13476-13476 Violent contest is a subclass of contest
(termFormat ChineseLanguage Contest "比赛") chinese_format.kif 1208-1208 Violent contest is a subclass of contest
(termFormat EnglishLanguage Contest "contest") english_format.kif 1633-1633 Violent contest is a subclass of contest
(termFormat FrenchLanguage Contest "affrontement") french_format.kif 886-886 Violent contest is a subclass of contest
(termFormat Hindi Contest "pratiyogitaa") terms-hindi.txt 419-419 Violent contest is a subclass of contest
(termFormat ItalianLanguage Contest "Competizione") terms-it.txt 422-422 Violent contest is a subclass of contest
(termFormat JapaneseLanguage Contest "コンテスト") japanese_format.kif 2570-2570 Violent contest is a subclass of contest
(termFormat cb Contest "tutol") terms-cb.txt 424-424 Violent contest is a subclass of contest
(termFormat cz Contest "contest") terms-cz.txt 458-458 Violent contest is a subclass of contest
(termFormat de Contest "Kampf") terms-de.txt 717-717 Violent contest is a subclass of contest
(termFormat ro Contest "întrecere") relations-ro.kif 907-907 Violent contest is a subclass of contest
(termFormat tg Contest "paligsahan") terms-tg.txt 423-423 Violent contest is a subclass of contest

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


(domain contestEntry 3 Contest) Music.kif 1084-1084 The number 3 argument of contest entry is an instance of contest
(domain contestObject 1 Contest) Dining.kif 879-879 The number 1 argument of contest object is an instance of contest
(domain contestOrganizer 1 Contest) Music.kif 1065-1065 The number 1 argument of contest organizer is an instance of contest
(domain contestParticipant 1 Contest) Mid-level-ontology.kif 21251-21251 The number 1 argument of contest participant is an instance of contest
(domain contestParticipantRepresentation 1 Contest) Music.kif 1107-1107 The number 1 argument of contest representation is an instance of contest
(domainSubclass ContestFn 1 Contest) Music.kif 1049-1049 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 23418-23437
(=>
    (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 13463-13474

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


(=>
    (and
        (instance ?UW UnconventionalWarfare)
        (agent ?UW ?AGENT)
        (not
            (equal ?AGENT ?POPULACE))
        (not
            (equal ?AGENT
                (GovernmentFn ?NATION)))
        (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-183
(=>
    (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 17567-17577
(=>
    (instance ?MOVE Maneuver)
    (exists (?CONTEST)
        (and
            (instance ?CONTEST Contest)
            (subProcess ?MOVE ?CONTEST))))
Merge.kif 13545-13550


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