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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Judging
Judging

VerbNet: price-54.4|value, price-54.4|value, turn-26.6.1|convert, price-54.4|value, price-54.4|value, price-54.4|value, price-54.4|value,


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


(documentation Judging ChineseLanguage "这是 Selecting 过程的子类别,这法生在当 agent 从一组可以由他/ 她自由决定的多种可能性的意见中,选择一套想法时。") chinese_format.kif 3127-3128
(documentation Judging EnglishLanguage "The subclass of Selecting where the agent opts for one belief out of a set of multiple possibilities that are available to him/ her.") Merge.kif 11208-11210
(externalImage Judging "http://upload.wikimedia.org/wikipedia/commons/7/ 71/ Centre_Line_Judge.JPG") pictureList.kif 4914-4914
(externalImage Judging "http://upload.wikimedia.org/wikipedia/commons/a/ a4/ American_judge.jpg") pictureList.kif 5036-5036
(externalImage Judging "http://upload.wikimedia.org/wikipedia/commons/e/ ef/ RAS_judging.JPG") pictureList.kif 5035-5035
(externalImage Judging "http://upload.wikimedia.org/wikipedia/commons/f/ ff/ German_Shepherds_WKC_dogshow.jpg") pictureList.kif 5034-5034
(subclass Judging Selecting) Merge.kif 11207-11207

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


(subclass IntelligenceActivities Judging) MilitaryProcesses.kif 231-231
(termFormat ChineseLanguage Judging "判断") domainEnglishFormat.kif 31741-31741
(termFormat ChineseTraditionalLanguage Judging "判斷") domainEnglishFormat.kif 31740-31740
(termFormat EnglishLanguage Judging "judging") domainEnglishFormat.kif 31739-31739

antecedent
-------------------------


(=>
    (and
        (instance ?JUDGE Judging)
        (agent ?JUDGE ?AGENT)
        (patient ?JUDGE ?PROPOSITION))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?JUDGE))
            (not
                (believes ?AGENT ?PROPOSITION)))
        (holdsDuring
            (EndFn
                (WhenFn ?JUDGE))
            (believes ?AGENT ?PROPOSITION))))
Merge.kif 11212-11219

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


(=>
    (and
        (attribute ?OBJ ?ATR)
        (instance ?ATR SubjectiveAssessmentAttribute))
    (exists (?TIME ?JUDGE ?AGENT)
        (and
            (instance ?JUDGE Judging)
            (agent ?JUDGE ?AGENT)
            (patient ?JUDGE ?OBJ)
            (patient ?JUDGE
                (attribute ?OBJ ?ATR))
            (holdsDuring ?TIME
                (believes ?AGENT
                    (property ?OBJ ?ATR))))))
Merge.kif 16106-16119
(=>
    (and
        (subjectiveAttribute ?X Won ?JUDGE)
        (instance ?X
            (FoodForFn Human)))
    (exists (?CONTEST ?AGENT ?PROC)
        (and
            (contestObject ?CONTEST ?X ?AGENT)
            (instance ?PROC Judging)
            (agent ?PROC ?JUDGE)
            (subProcess ?PROC ?CONTEST))))
Dining.kif 853-862
(=>
    (contestEntry ?ENT ?AGENT ?CONT)
    (exists (?P ?J)
        (and
            (instance ?P IntentionalProcess)
            (agent ?P ?AGENT)
            (result ?P ?ENT)
            (instance ?J Judging)
            (patient ?J ?ENT))))
Music.kif 1076-1084
(=>
    (contestObject ?CONTEST ?OBJ ?AGENT)
    (and
        (contestParticipant ?CONTEST ?AGENT)
        (exists (?MAKE ?JUDGE ?PROC)
            (and
                (instance ?MAKE Making)
                (result ?MAKE ?OBJ)
                (agent ?MAKE ?AGENT)
                (instance ?PROC Judging)
                (agent ?PROC ?JUDGE)
                (patient ?PROC ?OBJ)
                (result ?PROC
                    (subjectiveAttribute ?OBJ ?ATTR ?JUDGE))
                (subProcess ?PROC ?CONTEST)))))
Dining.kif 836-849
(=>
    (instance ?CONTEST MusicContest)
    (exists (?J)
        (and
            (instance ?J Judging)
            (forall (?A)
                (=>
                    (contestParticipant ?CONTEST ?A)
                    (exists (?MM)
                        (and
                            (agent ?MM ?A)
                            (instance ?MM MakingMusic)
                            (subProcess ?MM ?CONTEST)
                            (patient ?J ?MM))))))))
Music.kif 999-1012
(=>
    (instance ?CONTEST SingingContest)
    (exists (?J)
        (and
            (instance ?J Judging)
            (forall (?A)
                (=>
                    (contestParticipant ?CONTEST ?A)
                    (exists (?MV)
                        (and
                            (agent ?MV ?A)
                            (instance ?MV Singing)
                            (subProcess ?MV ?CONTEST)
                            (patient ?J ?MV))))))))
Music.kif 1019-1032


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners