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
-------------------------


(documentation ContestAttribute ChineseLanguage "这是一个包括和 Contest 参赛者有关的 AttributeClass。尤其是,这些 Attribute 指出 Contest 中其中一个 agentContest 中其他 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
-------------------------


(instance Enemy ContestAttribute) MilitaryProcesses.kif 2462-2462 Enemy is an instance of contest attribute
(instance Lost ContestAttribute) Mid-level-ontology.kif 19509-19509 Lost is an instance of contest attribute
(instance TieScore ContestAttribute) Mid-level-ontology.kif 19518-19518 Tie score is an instance of contest attribute
(instance Won ContestAttribute) Mid-level-ontology.kif 19514-19514 Won is an instance of contest attribute
(subclass GameAttribute ContestAttribute) Mid-level-ontology.kif 19522-19522 Game attribute is a subclass of contest attribute
(termFormat ChineseLanguage ContestAttribute "比赛属性") chinese_format.kif 1244-1244
(termFormat EnglishLanguage ContestAttribute "contest attribute") english_format.kif 1709-1709
(termFormat FrenchLanguage ContestAttribute "attribut r�sultant d'un affrontement") french_format.kif 922-922
(termFormat Hindi ContestAttribute "pratiyogitaa visheshataa") terms-hindi.txt 456-456
(termFormat ItalianLanguage ContestAttribute "AttributoDiCompetizione") terms-it.txt 459-459
(termFormat JapaneseLanguage ContestAttribute "コンテスト属性") japanese_format.kif 2606-2606
(termFormat PortugueseLanguage ContestAttribute "Atributo de Competicao") portuguese_format.kif 874-874
(termFormat cb ContestAttribute "lumbang hiyas") terms-cb.txt 461-461
(termFormat cz ContestAttribute "contest attribute") terms-cz.txt 495-495
(termFormat ro ContestAttribute "atribut de competiþie") relations-ro.kif 943-943
(termFormat tg ContestAttribute "katangian ng isang paligsahan") terms-tg.txt 460-460

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


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