Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Won(won) |  | defeat, get_the_better_of, last_laugh, mark, overcome, overrun, romp, set, triumph, victory, walk-in, waltz, win |
| appearance as argument number 1 |
|
|
| (instance Won ContestAttribute) | Mid-level-ontology.kif 21387-21387 | Won is an instance of contest attribute |
| (documentation Won EnglishLanguage "The ContestAttribute that applies to a Contest participant who has won the Contest.") | Mid-level-ontology.kif 21388-21389 | Won is an instance of contest attribute |
| appearance as argument number 2 |
|
|
| (contraryAttribute Lost Won) | Mid-level-ontology.kif 21383-21383 | Lost is the opposite of won |
| (termFormat EnglishLanguage Won "won") | domainEnglishFormat.kif 63376-63376 | Lost is the opposite of won |
| (termFormat ChineseTraditionalLanguage Won "韓元") | domainEnglishFormat.kif 63377-63377 | Lost is the opposite of won |
| (termFormat ChineseLanguage Won "韩元") | domainEnglishFormat.kif 63378-63378 | Lost is the opposite of won |
| 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 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 |
|