Won
|
|
appearance as argument number 1 |
(documentation Won EnglishLanguage "The ContestAttribute that applies to a Contest participant who has won the Contest.") | Mid-level-ontology.kif 19515-19516 | |
(instance Won ContestAttribute) | Mid-level-ontology.kif 19514-19514 | Won is an instance of contest attribute |
appearance as argument number 2 |
(contraryAttribute Lost Won) | Mid-level-ontology.kif 19510-19510 | Lost is the opposite of won |
(termFormat ChineseLanguage Won "韩元") | domainEnglishFormat.kif 63377-63377 | |
(termFormat ChineseTraditionalLanguage Won "韓元") | domainEnglishFormat.kif 63376-63376 | |
(termFormat EnglishLanguage Won "won") | domainEnglishFormat.kif 63375-63375 |
antecedent |
(=> (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 |
|