ContestAttribute |
appearance as argument number 1 |
(documentation ContestAttribute ChineseLanguage "这是一个包括和 Contest 参赛者有关的 Attribute 的 Class。尤其是,这些 Attribute 指出 Contest 中其中一个 agent 和 Contest 中其他 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 |
appearance as argument number 2 |
(instance Enemy ContestAttribute) | MilitaryProcesses.kif 2460-2460 | |
(instance Lost ContestAttribute) | Mid-level-ontology.kif 19509-19509 | |
(instance TieScore ContestAttribute) | Mid-level-ontology.kif 19518-19518 | |
(instance Won ContestAttribute) | Mid-level-ontology.kif 19514-19514 | |
(subclass GameAttribute ContestAttribute) | Mid-level-ontology.kif 19522-19522 | |
(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 |