Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Judging(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 |
|
|
| (subclass Judging Selecting) | Merge.kif 12373-12373 | Judging is a subclass of selecting |
| (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 12374-12376 | Judging is a subclass of selecting |
| (externalImage Judging "http://upload.wikimedia.org/wikipedia/commons/7/ 71/ Centre_Line_Judge.JPG") | pictureList.kif 4912-4912 | Judging is a subclass of selecting |
| (externalImage Judging "http://upload.wikimedia.org/wikipedia/commons/f/ ff/ German_Shepherds_WKC_dogshow.jpg") | pictureList.kif 5032-5032 | Judging is a subclass of selecting |
| (externalImage Judging "http://upload.wikimedia.org/wikipedia/commons/e/ ef/ RAS_judging.JPG") | pictureList.kif 5033-5033 | Judging is a subclass of selecting |
| (externalImage Judging "http://upload.wikimedia.org/wikipedia/commons/a/ a4/ American_judge.jpg") | pictureList.kif 5034-5034 | Judging is a subclass of selecting |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?JUDGE Judging) (agent ?JUDGE ?AGENT) (containsFormula ?JUDGE ?P)) (and (holdsDuring (BeginFn (WhenFn ?JUDGE)) (not (believes ?AGENT ?P))) (holdsDuring (EndFn (WhenFn ?JUDGE)) (believes ?AGENT ?P)))) |
Merge.kif 12378-12392 | If X is an instance of judging, Y is an agent of X, and X contains the formula Z, then Y doesn't believe Z holds during the beginning of the time of existence of X and Y believes Z holds during the end of the time of existence of X |
| (=> (and (instance ?JUDGE Judging) (agent ?JUDGE ?AGENT) (patient ?JUDGE ?OBJ)) (exists (?ATR) (and (instance ?ATR SubjectiveAssessmentAttribute) (holdsDuring (ImmediateFutureFn (WhenFn ?JUDGE)) (believes ?AGENT (property ?OBJ ?ATR)))))) |
Merge.kif 17682-17694 | If X is an instance of judging, Y is an agent of X, and Z is a patient of X, then there exists W such that W is an instance of subjective assessment attribute and Y believes Z the attribute W holds during immediately after the time of existence of X |
| consequent |
|
|
| (=> (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) (holdsDuring (ImmediateFutureFn (WhenFn ?PROC)) (subjectiveAttribute ?OBJ ?AFTR ?JUDGE)) (subProcess ?PROC ?CONTEST))))) |
Dining.kif 883-899 | If X entered Y in Z, then X participates in Z and All of the following hold: (1) there exist W, V,, , U (2) T such that W is an instance of making (3) Y is a result of W (4) X is an agent of W (5) U is an instance of judging (6) V is an agent of U (7) Y is a patient of U (8) V believes Y is T holds during immediately after the time of existence of U (9) U is a subprocess of Z |
| (=> (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 903-912 | If X believes Y is won and Y is an instance of food for human, then there exist Z, W, V such that W entered Y in Z, V is an instance of judging, X is an agent of V, and V is a subprocess of Z |
| (=> (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 | If X is an instance of music contest, then there exists Y such that Y is an instance of judging, Z Z participates in Xthere exists W such that Z is an agent of W, W is an instance of making music, W is a subprocess of X, and W is a patient of Y |
| (=> (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 | If X is an instance of singing contest, then there exists Y such that Y is an instance of judging, Z Z participates in Xthere exists W such that Z is an agent of W, W is an instance of singing, W is a subprocess of X, and W is a patient of Y |
| (=> (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 | If X entered Y in Z, then there exist W, V such that W is an instance of intentional process, X is an agent of W, Y is a result of W, V is an instance of judging, and Y is a patient of V |
|