contestObject |
appearance as argument number 1 |
(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 | |
(domain contestObject 1 Contest) | Dining.kif 879-879 | Die Zahl 1 Argument von contestObject ist ein fall von Contest %n{nicht} |
(domain contestObject 2 Object) | Dining.kif 880-880 | Die Zahl 2 Argument von contestObject ist ein fall von Object %n{nicht} |
(domain contestObject 3 AutonomousAgent) | Dining.kif 881-881 | Die Zahl 3 Argument von contestObject ist ein fall von AutonomousAgent %n{nicht} |
(instance contestObject TernaryPredicate) | Dining.kif 875-875 | contestObject ist ein fall von TernaryPredicate %n{nicht} |
appearance as argument number 2 |
(format ChineseLanguage contestObject "%3 entered %2 在 %1 ") | domainEnglishFormat.kif 3090-3090 | |
(format ChineseTraditionalLanguage contestObject "%3 entered %2 在 %1 ") | domainEnglishFormat.kif 3089-3089 | |
(format EnglishLanguage contestObject "%3 entered %2 in %1") | domainEnglishFormat.kif 3088-3088 | |
(termFormat EnglishLanguage contestObject "contest object") | domainEnglishFormat.kif 65797-65797 |
antecedent |
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 900-909 |
|