| 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 |
| appearance as argument number 2 |
|
|
| (contraryAttribute Lost Won) | Mid-level-ontology.kif 19510-19510 | |
| (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 |
|
|
|