| 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 1101-1105 | |
| (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 | |
| (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 |
| (instance contestParticipantRepresentation TernaryPredicate) | Music.kif 1096-1096 | contest representation is an instance of ternary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage contestParticipantRepresentation "%2 represents %3 在 %1 ") | domainEnglishFormat.kif 3098-3098 | |
| (format ChineseTraditionalLanguage contestParticipantRepresentation "%2 represents %3 在 %1 ") | domainEnglishFormat.kif 3097-3097 | |
| (format EnglishLanguage contestParticipantRepresentation "%2 represents %3 in %1") | domainEnglishFormat.kif 3096-3096 | |
| (termFormat EnglishLanguage contestParticipantRepresentation "contest representation") | Music.kif 1100-1100 |
| antecedent |
|
|
| (=> (contestParticipantRepresentation ?CONT ?AGENT ?OBJ) (holdsDuring (WhenFn ?CONT) (represents ?AGENT ?OBJ))) |
Music.kif 1111-1115 |
|
|
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