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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Contest

Sigma KEE - Contest
Contest
more pictures...

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 12692-12696
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/3/ 3d/ Masskrug.jpg") pictureList.kif 10750-10750
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/7/ 7a/ Basketball_shot.jpg") pictureList.kif 9966-9966
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/8/ 80/ Mrs_Texas.jpg") pictureList.kif 10748-10748
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/9/ 97/ Chess_Olympiad_Torino_2006.jpg") pictureList.kif 10752-10752
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/9/ 97/ MissEarth2006Awards.jpg") pictureList.kif 10753-10753
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/a/ af/ Basketball_game.jpg") pictureList.kif 10747-10747
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/e/ ed/ SCP._Bajada._Reina_Lustral_2.jpg") pictureList.kif 10751-10751
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/f/ f5/ ESC_2007_Poland_-_The_Jet_Set_-_Time_to_party.jpg") pictureList.kif 10749-10749
(subclass Contest SocialInteraction) Merge.kif 12691-12691

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


(range ContestFn Contest) Music.kif 1042-1042
(subclass BusinessCompetition Contest) Mid-level-ontology.kif 18927-18927
(subclass Debating Contest) Mid-level-ontology.kif 18907-18907
(subclass Game Contest) Merge.kif 12761-12761
(subclass LegalAction Contest) Merge.kif 12770-12770
(subclass MusicContest Contest) Music.kif 995-995
(subclass Negotiating Contest) Mid-level-ontology.kif 18914-18914
(subclass ViolentContest Contest) Merge.kif 12711-12711
(termFormat ChineseLanguage Contest "比赛") chinese_format.kif 1208-1208
(termFormat EnglishLanguage Contest "contest") english_format.kif 1633-1633

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


(domain contestEntry 3 Contest) Music.kif 1075-1075
(domain contestObject 1 Contest) Dining.kif 832-832
(domain contestOrganizer 1 Contest) Music.kif 1056-1056
(domain contestParticipant 1 Contest) Mid-level-ontology.kif 18885-18885
(domain contestParticipantRepresentation 1 Contest) Music.kif 1098-1098
(domainSubclass ContestFn 1 Contest) Music.kif 1040-1040

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 21089-21108
(=>
    (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 12698-12709

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 16700-16710
(=>
    (instance ?MOVE Maneuver)
    (exists (?CONTEST)
        (and
            (instance ?CONTEST Contest)
            (subProcess ?MOVE ?CONTEST))))
Merge.kif 12780-12785


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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