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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 13063-13067
(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 13062-13062 比赛社交subclass

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


(range ContestFn Contest) Music.kif 1042-1042 ContestFnrange比赛 的实例
(subclass BusinessCompetition Contest) Mid-level-ontology.kif 19096-19096 商业竞争比赛subclass
(subclass Debating Contest) Mid-level-ontology.kif 19076-19076 辩论比赛subclass
(subclass Game Contest) Merge.kif 13132-13132 游戏比赛subclass
(subclass LegalAction Contest) Merge.kif 13141-13141 法律诉讼比赛subclass
(subclass MusicContest Contest) Music.kif 995-995 MusicContest比赛subclass
(subclass Negotiating Contest) Mid-level-ontology.kif 19083-19083 谈判比赛subclass
(subclass ViolentContest Contest) Merge.kif 13082-13082 暴力比赛比赛subclass
(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 contestEntry 的 3 数量 是 比赛instance
(domain contestObject 1 Contest) Dining.kif 832-832 contestObject 的 1 数量 是 比赛instance
(domain contestOrganizer 1 Contest) Music.kif 1056-1056 contestOrganizer 的 1 数量 是 比赛instance
(domain contestParticipant 1 Contest) Mid-level-ontology.kif 19054-19054 比赛参与者 的 1 数量 是 比赛instance
(domain contestParticipantRepresentation 1 Contest) Music.kif 1098-1098 contestParticipantRepresentation 的 1 数量 是 比赛instance
(domainSubclass ContestFn 1 Contest) Music.kif 1040-1040 ContestFn 的 1 数量 是 比赛subclass

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 21258-21277
(=>
    (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 13069-13080

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 17145-17155
(=>
    (instance ?MOVE Maneuver)
    (exists (?CONTEST)
        (and
            (instance ?CONTEST Contest)
            (subProcess ?MOVE ?CONTEST))))
Merge.kif 13151-13156


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