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 16694-16698
(subclass ContestAttribute ObjectiveNorm) Merge.kif 16693-16693

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


(instance Enemy ContestAttribute) MilitaryProcesses.kif 2440-2440
(instance Lost ContestAttribute) Mid-level-ontology.kif 18688-18688
(instance TieScore ContestAttribute) Mid-level-ontology.kif 18697-18697
(instance Won ContestAttribute) Mid-level-ontology.kif 18693-18693
(subclass GameAttribute ContestAttribute) Mid-level-ontology.kif 18701-18701
(termFormat ChineseLanguage ContestAttribute "比赛属性") chinese_format.kif 1244-1244
(termFormat EnglishLanguage ContestAttribute "contest attribute") english_format.kif 1709-1709

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


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