| Judging
| | appraise, assess, compromise_verdict, conclusion_of_law, convert, evaluate, finding_of_law, judgement, judging, judgment, measure, standardise, standardize, valuate, value |
| appearance as argument number 1 |
|
|
| s__documentation(s__Judging,s__ChineseLanguage,'这是 Selecting 过程的子类别，这法生在当 agent 从一组可以由他/她自由决定的多种可能性的意见中，选择一套想法时。')
|
Merge.kif 11948-11949 | |
| s__documentation(s__Judging,s__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 11945-11947 | |
| s__externalImage(s__Judging,'http://upload.wikimedia.org/wikipedia/commons/7/71/Centre_Line_Judge.JPG')
|
pictureList.kif 4914-4914 | |
| s__externalImage(s__Judging,'http://upload.wikimedia.org/wikipedia/commons/a/a4/American_judge.jpg')
|
pictureList.kif 5036-5036 | |
| s__externalImage(s__Judging,'http://upload.wikimedia.org/wikipedia/commons/e/ef/RAS_judging.JPG')
|
pictureList.kif 5035-5035 | |
| s__externalImage(s__Judging,'http://upload.wikimedia.org/wikipedia/commons/f/ff/German_Shepherds_WKC_dogshow.jpg')
|
pictureList.kif 5034-5034 | |
| s__instance(s__Judging,s__SetOrClass)
|
Merge.kif 11944-11944 |
| appearance as argument number 2 |
|
|
| s__instance(s__IntelligenceActivities,s__SetOrClass)
|
MilitaryProcesses.kif 222-222 | |
| s__termFormat(s__EnglishLanguage,s__Judging,'judging')
|
domainEnglishFormat.kif 5725-5725 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11951-11958 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17644-17657 | |
| ( ! [V__X,V__JUDGE] : ((s__subjectiveAttribute(V__X,s__Won,V__JUDGE) & s__instance(V__X,s__FoodForFn(s__Human))) => (? [V__CONTEST,V__AGENT,V__PROC] : (s__contestObject(V__CONTEST,V__X,V__AGENT) & s__instance(V__PROC,s__Judging) & s__agent(V__PROC,V__JUDGE) & s__subProcess(V__PROC,V__CONTEST)))) )
|
Dining.kif 857-866 | |
| ( ! [V__ENT,V__AGENT,V__CONT] : (s__contestEntry(V__ENT,V__AGENT,V__CONT) => (? [V__P,V__J] : (s__instance(V__P,s__IntentionalProcess) & s__agent(V__P,V__AGENT) & s__result(V__P,V__ENT) & s__instance(V__J,s__Judging) & s__patient(V__J,V__ENT)))) )
|
Music.kif 1082-1090 | |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 840-853 | |
| ( ! [V__CONTEST] : (s__instance(V__CONTEST,s__MusicContest) => (? [V__J] : (s__instance(V__J,s__Judging) & (! [V__A] : (s__contestParticipant(V__CONTEST,V__A) => (? [V__MM] : (s__agent(V__MM,V__A) & s__instance(V__MM,s__MakingMusic) & s__subProcess(V__MM,V__CONTEST) & s__patient(V__J,V__MM)))))))) )
|
Music.kif 1005-1018 | |
| ( ! [V__CONTEST] : (s__instance(V__CONTEST,s__SingingContest) => (? [V__J] : (s__instance(V__J,s__Judging) & (! [V__A] : (s__contestParticipant(V__CONTEST,V__A) => (? [V__MV] : (s__agent(V__MV,V__A) & s__instance(V__MV,s__Singing) & s__subProcess(V__MV,V__CONTEST) & s__patient(V__J,V__MV)))))))) )
|
Music.kif 1025-1038 |
|
|
|