contestParticipantRepresentation |
appearance as argument number 1 |
(comment contestParticipantRepresentation "This is an additional relation to contestParticipant for those contests where representation is important, such as the Olympics. It has to be tied to the contest as there are instances when somebody may be a citizen or national of one country, for instance, but represent some other country is some other contest. 09-30-2011" "KJN") | Music.kif 1099-1103 | |
(documentation contestParticipantRepresentation EnglishLanguage "(contestParticipantRepresentation ?CONT ?AGENT ?OBJ) means that in Contest ?CONT, CognitiveAgent ?AGENT is entered as a representative of Object ?OBJ") | Music.kif 1095-1097 | |
(domain contestParticipantRepresentation 1 Contest) | Music.kif 1105-1105 | Il numero 1 argomenti di contestParticipantRepresentation è un istanza di Competizione |
(domain contestParticipantRepresentation 2 CognitiveAgent) | Music.kif 1106-1106 | Il numero 2 argomenti di contestParticipantRepresentation è un istanza di AgenteCognitivo |
(domain contestParticipantRepresentation 3 Object) | Music.kif 1107-1107 | Il numero 3 argomenti di contestParticipantRepresentation è un istanza di Oggetto |
(instance contestParticipantRepresentation TernaryPredicate) | Music.kif 1094-1094 | contestParticipantRepresentation è un' istanza di PredicatoTernario |
appearance as argument number 2 |
(format ChineseLanguage contestParticipantRepresentation "%2 represents %3 在 %1 ") | domainEnglishFormat.kif 3102-3102 | |
(format ChineseTraditionalLanguage contestParticipantRepresentation "%2 represents %3 在 %1 ") | domainEnglishFormat.kif 3101-3101 | |
(format EnglishLanguage contestParticipantRepresentation "%2 represents %3 in %1") | domainEnglishFormat.kif 3100-3100 | |
(termFormat EnglishLanguage contestParticipantRepresentation "contest representation") | Music.kif 1098-1098 |
antecedent |
(=> (contestParticipantRepresentation ?CONT ?AGENT ?OBJ) (holdsDuring (WhenFn ?CONT) (represents ?AGENT ?OBJ))) |
Music.kif 1109-1113 |
|