contestParticipantRepresentation - Sigma Knowledge base Browser

appearance as argument number 1

(instance contestParticipantRepresentation TernaryPredicate)	Music.kif 1096-1096	contest representation is an instance of ternary predicate
(documentation contestParticipantRepresentation EnglishLanguage "(contestParticipantRepresentation ?CONT ?AGENT ?OBJ) means that in Contest ?CONT, CognitiveAgent ?AGENT is entered as a representative of Object ?OBJ")	Music.kif 1097-1099	contest representation is an instance of ternary predicate
(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 1101-1105	contest representation is an instance of ternary predicate
(domain contestParticipantRepresentation 1 Contest)	Music.kif 1107-1107	The number 1 argument of contest representation is an instance of contest
(domain contestParticipantRepresentation 2 CognitiveAgent)	Music.kif 1108-1108	The number 2 argument of contest representation is an instance of cognitive agent
(domain contestParticipantRepresentation 3 Object)	Music.kif 1109-1109	The number 3 argument of contest representation is an instance of object

appearance as argument number 2

(termFormat EnglishLanguage contestParticipantRepresentation "contest representation")	Music.kif 1100-1100
(format EnglishLanguage contestParticipantRepresentation "%2 represents %3 in %1")	domainEnglishFormat.kif 3096-3096
(format ChineseTraditionalLanguage contestParticipantRepresentation "%2 represents %3 在 %1 ")	domainEnglishFormat.kif 3097-3097
(format ChineseLanguage contestParticipantRepresentation "%2 represents %3 在 %1 ")	domainEnglishFormat.kif 3098-3098

antecedent

(=>
    (contestParticipantRepresentation ?CONT ?AGENT ?OBJ)
    (holdsDuring
        (WhenFn ?CONT)
        (represents ?AGENT ?OBJ)))

If X represents Y in Z, then X expresses Y holds during the time of existence of Z