Judging - Sigma Knowledge base Browser

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 12163-12165
(externalImage Judging "http://upload.wikimedia.org/wikipedia/commons/7/ 71/ Centre_Line_Judge.JPG")	pictureList.kif 4912-4912
(externalImage Judging "http://upload.wikimedia.org/wikipedia/commons/a/ a4/ American_judge.jpg")	pictureList.kif 5034-5034
(externalImage Judging "http://upload.wikimedia.org/wikipedia/commons/e/ ef/ RAS_judging.JPG")	pictureList.kif 5033-5033
(externalImage Judging "http://upload.wikimedia.org/wikipedia/commons/f/ ff/ German_Shepherds_WKC_dogshow.jpg")	pictureList.kif 5032-5032
(subclass Judging Selecting)	Merge.kif 12162-12162	Judging is a subclass of selecting

appearance as argument number 2

(subclass IntelligenceActivities Judging)	MilitaryProcesses.kif 231-231	Intelligence activities is a subclass of judging
(termFormat ChineseLanguage Judging "判断")	domainEnglishFormat.kif 31871-31871	Intelligence activities is a subclass of judging
(termFormat ChineseTraditionalLanguage Judging "判斷")	domainEnglishFormat.kif 31870-31870	Intelligence activities is a subclass of judging
(termFormat EnglishLanguage Judging "judging")	domainEnglishFormat.kif 31869-31869	Intelligence activities is a subclass of judging

antecedent

(=>
    (and
        (instance ?JUDGE Judging)
        (agent ?JUDGE ?AGENT)
        (result ?JUDGE ?P))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?JUDGE))
            (not
                (believes ?AGENT ?P)))
        (holdsDuring
            (EndFn
                (WhenFn ?JUDGE))
            (believes ?AGENT ?P))))

Merge.kif 12167-12181

If a process is an instance of judging and an agent is an agent of the process and an entity is a result of the process,
then the agent doesn't believe the entity holds during the beginning of the time of existence of the process and the agent believes the entity holds during the end of the time of existence of the process

consequent

(=> (and (attribute ?OBJ ?ATR) (instance ?ATR SubjectiveAssessmentAttribute)) (exists (?TIME ?JUDGE ?AGENT) (and (instance ?JUDGE Judging) (agent ?JUDGE ?AGENT) (patient ?JUDGE ?OBJ) (result ?JUDGE (attribute ?OBJ ?ATR)) (holdsDuring ?TIME (believes ?AGENT (property ?OBJ ?ATR))))))	Merge.kif 17428-17441	If an attribute is an attribute of an object and the attribute is an instance of subjective assessment attribute, then there exist a time position, a process and an agent such that the process is an instance of judging and the agent is an agent of the process and the object is a patient of the process and the attribute is an attribute of the object is a result of the process and the agent believes the object the attribute the attribute holds during the time position
(=> (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 900-909	If an agent believes an object is won and the object is an instance of food for human, then there exist a contest, another agent and a process such that the other agent entered the object in the contest and the process is an instance of judging and the agent is an agent of the process and the process is a subprocess of the contest
(=> (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 1084-1092	If a cognitive agent entered an entity in a contest, then there exist a process and another process such that the process is an instance of intentional process and the cognitive agent is an agent of the process and the entity is a result of the process and the other process is an instance of judging and the entity is a patient of the other process
(=> (contestObject ?CONTEST ?OBJ ?AGENT) (and (contestParticipant ?CONTEST ?AGENT) (exists (?MAKE ?JUDGE ?PROC ?AFTR) (and (instance ?MAKE Making) (result ?MAKE ?OBJ) (agent ?MAKE ?AGENT) (instance ?PROC Judging) (agent ?PROC ?JUDGE) (patient ?PROC ?OBJ) (result ?PROC (subjectiveAttribute ?OBJ ?AFTR ?JUDGE)) (subProcess ?PROC ?CONTEST)))))	Dining.kif 883-896	If an agent entered an object in a contest, then the agent participates in the contest and there exist a process, another agent,, , another process and an entity such that the process is an instance of making and the object is a result of the process and the agent is an agent of the process and the other process is an instance of judging and the other agent is an agent of the other process and the object is a patient of the other process and the other agent believes the object is the entity is a result of the other process and the other process is a subprocess of the contest
(=> (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 1007-1020	If a contest is an instance of music contest, then there exists a process such that the process is an instance of judging and for all an agent if the agent participates in the contest, then there exists another process such that the agent is an agent of the other process and the other process is an instance of making music and the other process is a subprocess of the contest and the other process is a patient of the process
(=> (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 1027-1040	If a contest is an instance of singing contest, then there exists a process such that the process is an instance of judging and for all an agent if the agent participates in the contest, then there exists another process such that the agent is an agent of the other process and the other process is an instance of singing and the other process is a subprocess of the contest and the other process is a patient of the process

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

KB Term:			Term intersection

English Word: