| Judging
| |
| 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 12223-12225 | |
| (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 12222-12222 |
| appearance as argument number 2 |
|
|
| (subclass IntelligenceActivities Judging) | MilitaryProcesses.kif 231-231 | |
| (termFormat ChineseLanguage Judging "判断") | domainEnglishFormat.kif 31871-31871 | |
| (termFormat ChineseTraditionalLanguage Judging "判斷") | domainEnglishFormat.kif 31870-31870 | |
| (termFormat EnglishLanguage Judging "judging") | domainEnglishFormat.kif 31869-31869 |
| 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 12227-12241 |
| 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 17492-17505 | |
| (=> (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 | |
| (=> (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 1086-1094 | |
| (=> (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 | |
| (=> (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 1009-1022 | |
| (=> (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 1029-1042 |
|
|
|