| ContestAttribute(contest attribute) | | Pyrrhic_victory, TKO, Waterloo, ahead, all-victorious, armistice, behind, blowout, bottom, capitulation, cease-fire, checkmate, confiscate, corner_kick, course_credit, credit, deadlocked, debacle, default, defeated, disqualified, dormie, dormy, drubbing, error, even, failing, fair, fair_ball, fall, fielder's_choice, first-place_finish, flunk, footfault, forfeit, forfeited, foul, foul_ball, free_kick, fumble, goalless, grand_slam, hitless, in-bounds, in_the_lead, ineligible, landslide, last, last-place, laugher... |
| appearance as argument number 1 |
|
|
| (documentation ContestAttribute ChineseLanguage "这是一个包括和 Contest 参赛者有关的 Attribute 的 Class。尤其是，这些 Attribute 指出 Contest 中其中一个 agent 和 Contest 中其他 agent 的位置。这些Attribute 的一些例子有：领先、落后、赢了、输了等等。") | chinese_format.kif 3884-3886 | |
| (documentation ContestAttribute EnglishLanguage "A Class containing Attributes that are specific to participants in a Contest. In particular, these Attributes indicate the position of one of the agents in the Contest with respect to other agent(s) in the Contest. Some examples of these Attributes are winning, losing, won, lost, etc.") | Merge.kif 17457-17461 | |
| (subclass ContestAttribute ObjectiveNorm) | Merge.kif 17456-17456 | Contest attribute is a subclass of objective norm |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (property ?THING ?ATTR) (instance ?ATTR ContestAttribute)) (exists (?CONTEST) (and (instance ?CONTEST Contest) (or (agent ?CONTEST ?THING) (patient ?CONTEST ?THING) (subProcess ?THING ?CONTEST))))) |
Merge.kif 17463-17473 |
|
|
|
|