Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| contestObject |
| appearance as argument number 1 |
|
| (instance contestObject TernaryPredicate) | Dining.kif 875-875 | contest object is an instance of ternary predicate |
| (documentation contestObject EnglishLanguage "(contestObject ?CONTEST ?OBJ ?AGENT) refers to the ?OBJ entered by ?AGENT in a ?CONTEST in cases where winning is based on judging an Object instead of some physical process between opponents") | Dining.kif 876-878 | contest object is an instance of ternary predicate |
| (domain contestObject 1 Contest) | Dining.kif 879-879 | The number 1 argument of contest object is an instance of contest |
| (domain contestObject 2 Object) | Dining.kif 880-880 | The number 2 argument of contest object is an instance of object |
| (domain contestObject 3 AutonomousAgent) | Dining.kif 881-881 | The number 3 argument of contest object is an instance of agent |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage contestObject "%3 entered %2 in %1") | domainEnglishFormat.kif 3084-3084 | |
| (format ChineseTraditionalLanguage contestObject "%3 entered %2 在 %1 ") | domainEnglishFormat.kif 3085-3085 | |
| (format ChineseLanguage contestObject "%3 entered %2 在 %1 ") | domainEnglishFormat.kif 3086-3086 | |
| (termFormat EnglishLanguage contestObject "contest object") | domainEnglishFormat.kif 65806-65806 |
| antecedent |
|
|
| (=> (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 |
| consequent |
|
|
| (=> (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 |
|