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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Contest
Contest(affrontement)
more pictures...

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


(documentation Contest ChineseLanguage "这是一种 SocialInteraction，当中 agent 和 patient 皆是试图击败对方的 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 13194-13198
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/3/ 3d/ Masskrug.jpg") pictureList.kif 10743-10743
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/7/ 7a/ Basketball_shot.jpg") pictureList.kif 9959-9959
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/8/ 80/ Mrs_Texas.jpg") pictureList.kif 10741-10741
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/9/ 97/ Chess_Olympiad_Torino_2006.jpg") pictureList.kif 10745-10745
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/9/ 97/ MissEarth2006Awards.jpg") pictureList.kif 10746-10746
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/a/ af/ Basketball_game.jpg") pictureList.kif 10740-10740
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/e/ ed/ SCP._Bajada._Reina_Lustral_2.jpg") pictureList.kif 10744-10744
(externalImage Contest "http://upload.wikimedia.org/wikipedia/commons/f/ f5/ ESC_2007_Poland_-_The_Jet_Set_-_Time_to_party.jpg") pictureList.kif 10742-10742
(subclass Contest SocialInteraction) Merge.kif 13193-13193 Affrontement est une sous-classe de interaction social

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


(range ContestFn Contest) Music.kif 1048-1048 Le domaine de ContestFn est une instance de affrontement
(subclass BusinessCompetition Contest) Mid-level-ontology.kif 19555-19555 BusinessCompetition est une sous-classe de affrontement
(subclass Debating Contest) Mid-level-ontology.kif 19535-19535 Debating est une sous-classe de affrontement
(subclass Game Contest) Merge.kif 13263-13263 Jeu est une sous-classe de affrontement
(subclass LegalAction Contest) Merge.kif 13272-13272 Action l�gale est une sous-classe de affrontement
(subclass MusicContest Contest) Music.kif 1001-1001 MusicContest est une sous-classe de affrontement
(subclass Negotiating Contest) Mid-level-ontology.kif 19542-19542 Negotiating est une sous-classe de affrontement
(subclass ViolentContest Contest) Merge.kif 13213-13213 Affrontement violent est une sous-classe de affrontement
(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 420-420
(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 1081-1081 Le nombre 3 argument de contestEntry est une instance de affrontement
(domain contestObject 1 Contest) Dining.kif 879-879 Le nombre 1 argument de contestObject est une instance de affrontement
(domain contestOrganizer 1 Contest) Music.kif 1062-1062 Le nombre 1 argument de contestOrganizer est une instance de affrontement
(domain contestParticipant 1 Contest) Mid-level-ontology.kif 19513-19513 Le nombre 1 argument de contestParticipant est une instance de affrontement
(domain contestParticipantRepresentation 1 Contest) Music.kif 1104-1104 Le nombre 1 argument de contestParticipantRepresentation est une instance de affrontement
(domainSubclass ContestFn 1 Contest) Music.kif 1046-1046 Le nombre 1 argument de ContestFn est une sous-classe de affrontement

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 21856-21875
(=>
    (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 13200-13211

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 17277-17287
(=>
    (instance ?MOVE Maneuver)
    (exists (?CONTEST)
        (and
            (instance ?CONTEST Contest)
            (subProcess ?MOVE ?CONTEST))))		 Merge.kif 13282-13287


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