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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ContestAttribute

Sigma KEE - ContestAttribute
ContestAttribute(attribut r�sultant d'un affrontement)

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 Attribut r�sultant d'un affrontement est une sous-classe de norme objective

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


(instance Enemy ContestAttribute) MilitaryProcesses.kif 2460-2460 Enemy est une instance de attribut r�sultant d'un affrontement
(instance Lost ContestAttribute) Mid-level-ontology.kif 19482-19482 Lost est une instance de attribut r�sultant d'un affrontement
(instance TieScore ContestAttribute) Mid-level-ontology.kif 19491-19491 TieScore est une instance de attribut r�sultant d'un affrontement
(instance Won ContestAttribute) Mid-level-ontology.kif 19487-19487 Won est une instance de attribut r�sultant d'un affrontement
(subclass GameAttribute ContestAttribute) Mid-level-ontology.kif 19495-19495 GameAttribute est une sous-classe de attribut r�sultant d'un affrontement
(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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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