Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ContestAttribute
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
-------------------------


s__documentation(s__ContestAttribute,s__ChineseLanguage,'"这是一个包括和 Contest 参赛者有关的 AttributeClass。尤其是,这些 Attribute 指出 Contest 中其中一个 agentContest 中其他 agent 的位置。这些Attribute 的一些例子有:领先、落后、赢了、输了等等。"')

chinese_format.kif 3884-3886
s__documentation(s__ContestAttribute,s__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 16577-16581
s__instance(s__ObjectiveNorm,s__SetOrClass)

s__instance(s__ContestAttribute,s__SetOrClass)

s__subclass(s__ContestAttribute,s__ObjectiveNorm)

Merge.kif 16576-16576 Contest attribute is a subclass of objective norm

appearance as argument number 2
-------------------------


s__instance(s__Enemy,s__ContestAttribute)

s__instance(s__ContestAttribute,s__SetOrClass)

MilitaryProcesses.kif 2440-2440 Enemy is an instance of contest attribute
s__instance(s__Lost,s__ContestAttribute)

s__instance(s__ContestAttribute,s__SetOrClass)

Mid-level-ontology.kif 17619-17619 Lost is an instance of contest attribute
s__instance(s__ContestAttribute,s__SetOrClass)

s__instance(s__TieScore,s__ContestAttribute)

Mid-level-ontology.kif 17628-17628 Tie score is an instance of contest attribute
s__instance(s__Won,s__ContestAttribute)

s__instance(s__ContestAttribute,s__SetOrClass)

Mid-level-ontology.kif 17624-17624 Won is an instance of contest attribute
s__instance(s__GameAttribute,s__SetOrClass)

s__instance(s__ContestAttribute,s__SetOrClass)

s__subclass(s__GameAttribute,s__ContestAttribute)

Mid-level-ontology.kif 17632-17632 Game attribute is a subclass of contest attribute
s__termFormat(s__ChineseLanguage,s__ContestAttribute,'"比赛属性"')

chinese_format.kif 1244-1244
s__termFormat(s__EnglishLanguage,s__ContestAttribute,'"contest attribute"')

english_format.kif 1714-1714

antecedent
-------------------------


( ! [V__ATTR,V__THING] :
   (((s__instance(V__THING,s__Agent) &
         s__instance(V__THING,s__Process))
       =>
       (((s__property(V__THING,V__ATTR)
           &
           s__instance(V__ATTR,s__ContestAttribute))
         =>
         (( ? [V__CONTEST] :
             ((s__instance(V__CONTEST,s__Contest) &
                 (s__agent(V__CONTEST,V__THING)
                 |
                 s__patient(V__CONTEST,V__THING)
               |
               s__subProcess(V__THING,V__CONTEST)))))))))
)
)

Merge.kif 16583-16593


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners