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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Judging

Sigma KEE - Judging
Judging

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


(documentation Judging ChineseLanguage "这是 Selecting 过程的子类别,这法生在当 agent 从一组可以由他/ 她自由决定的多种可能性的意见中,选择一套想法时。") Merge.kif 12006-12007
(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 12003-12005
(externalImage Judging "http://upload.wikimedia.org/wikipedia/commons/7/ 71/ Centre_Line_Judge.JPG") pictureList.kif 4914-4914 externalImage Judging and "http://upload.wikimedia.org/wikipedia/commons/7/71/ Centre_Line_Judge.JPG"
(externalImage Judging "http://upload.wikimedia.org/wikipedia/commons/a/ a4/ American_judge.jpg") pictureList.kif 5036-5036 externalImage Judging and "http://upload.wikimedia.org/wikipedia/commons/a/a4/ American_judge.jpg"
(externalImage Judging "http://upload.wikimedia.org/wikipedia/commons/e/ ef/ RAS_judging.JPG") pictureList.kif 5035-5035 externalImage Judging and "http://upload.wikimedia.org/wikipedia/commons/e/ef/ RAS_judging.JPG"
(externalImage Judging "http://upload.wikimedia.org/wikipedia/commons/f/ ff/ German_Shepherds_WKC_dogshow.jpg") pictureList.kif 5034-5034 externalImage Judging and "http://upload.wikimedia.org/wikipedia/commons/f/ff/ German_Shepherds_WKC_dogshow.jpg"
(subclass Judging Selecting) Merge.kif 12002-12002 Judging选择subclass

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


(subclass IntelligenceActivities Judging) MilitaryProcesses.kif 222-222 IntelligenceActivitiesJudgingsubclass
(termFormat EnglishLanguage Judging "judging") domainEnglishFormat.kif 5725-5725 termFormat EnglishLanguage, Judging and "judging"

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 12009-12016

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 17696-17709
(=>
    (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 857-866
(=>
    (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 1082-1090
(=>
    (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 840-853
(=>
    (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 1005-1018
(=>
    (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 1025-1038


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