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 13303-13307
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/3/ 3d/ Masskrug.jpg") pictureList.kif 10740-10740
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/7/ 7a/ Basketball_shot.jpg") pictureList.kif 9958-9958
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/8/ 80/ Mrs_Texas.jpg") pictureList.kif 10738-10738
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/9/ 97/ Chess_Olympiad_Torino_2006.jpg") pictureList.kif 10742-10742
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/9/ 97/ MissEarth2006Awards.jpg") pictureList.kif 10743-10743
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/a/ af/ Basketball_game.jpg") pictureList.kif 10737-10737
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/e/ ed/ SCP._Bajada._Reina_Lustral_2.jpg") pictureList.kif 10741-10741
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/f/ f5/ ESC_2007_Poland_-_The_Jet_Set_-_Time_to_party.jpg") pictureList.kif 10739-10739
(subclass Contest SocialInteraction) Merge.kif 13302-13302 子類 Contest and SocialInteraction

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


(range ContestFn Contest) Music.kif 1049-1049 範圍 ContestFn and Contest
(subclass BusinessCompetition Contest) Mid-level-ontology.kif 19722-19722 子類 商業競爭 and Contest
(subclass Debating Contest) Mid-level-ontology.kif 19702-19702 子類 辯論 and Contest
(subclass Game Contest) Merge.kif 13372-13372 子類 Game and Contest
(subclass LegalAction Contest) Merge.kif 13381-13381 子類 LegalAction and Contest
(subclass MusicContest Contest) Music.kif 1002-1002 子類 MusicContest and Contest
(subclass Negotiating Contest) Mid-level-ontology.kif 19709-19709 子類 談判 and Contest
(subclass ViolentContest Contest) Merge.kif 13322-13322 子類 ViolentContest and Contest
(termFormat ChineseLanguage Contest "比赛") chinese_format.kif 1208-1208
(termFormat EnglishLanguage Contest "contest") english_format.kif 1633-1633
(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 422-422
(termFormat JapaneseLanguage Contest "コンテスト") japanese_format.kif 2570-2570
(termFormat cb Contest "tutol") terms-cb.txt 424-424
(termFormat cz Contest "contest") terms-cz.txt 458-458
(termFormat ro Contest "întrecere") relations-ro.kif 907-907
(termFormat tg Contest "paligsahan") terms-tg.txt 423-423

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


(domain contestEntry 3 Contest) Music.kif 1082-1082 contestEntry, 3 and Contest
(domain contestObject 1 Contest) Dining.kif 879-879 contestObject, 1 and Contest
(domain contestOrganizer 1 Contest) Music.kif 1063-1063 contestOrganizer, 1 and Contest
(domain contestParticipant 1 Contest) Mid-level-ontology.kif 19680-19680 比賽參與者, 1 and Contest
(domain contestParticipantRepresentation 1 Contest) Music.kif 1105-1105 contestParticipantRepresentation, 1 and Contest
(domainSubclass ContestFn 1 Contest) Music.kif 1047-1047 域子類 ContestFn, 1 and 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 21776-21795
(=>
    (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 13309-13320

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 17392-17402
(=>
    (instance ?MOVE Maneuver)
    (exists (?CONTEST)
        (and
            (instance ?CONTEST Contest)
            (subProcess ?MOVE ?CONTEST))))
Merge.kif 13391-13396


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