|
|
  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 18859-18860 | |
| (instance Won ContestAttribute) | Mid-level-ontology.kif 18858-18858 | Won is an instance of contest attribute |
| appearance as argument number 2 |
|
|
| (contraryAttribute Lost Won) | Mid-level-ontology.kif 18854-18854 | Lost is the opposite of won |
| (termFormat ChineseLanguage Won "韩元") | domainEnglishFormat.kif 63342-63342 | |
| (termFormat ChineseTraditionalLanguage Won "韓元") | domainEnglishFormat.kif 63341-63341 | |
| (termFormat EnglishLanguage Won "won") | domainEnglishFormat.kif 63340-63340 |
| 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 853-862 |
|
|
|
|