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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ContestAttribute
ContestAttribute

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 17386-17390
(subclass ContestAttribute ObjectiveNorm) Merge.kif 17385-17385

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


(instance Enemy ContestAttribute) MilitaryProcesses.kif 2460-2460
(instance Lost ContestAttribute) Mid-level-ontology.kif 19482-19482
(instance TieScore ContestAttribute) Mid-level-ontology.kif 19491-19491
(instance Won ContestAttribute) Mid-level-ontology.kif 19487-19487
(subclass GameAttribute ContestAttribute) Mid-level-ontology.kif 19495-19495
(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 17392-17402


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