| appearance as argument number 1 |
|
| (comment contestEntry "Entity is used instead of Object as there are music contest, for instance, where it's the MusicalComposition or LyricalContent (which are Proposition) that is being judged. 09-30-2011" "KJN") | Music.kif 1075-1077 | |
| (documentation contestEntry EnglishLanguage "(contestEntry ?OBJ ?AGENT ?CONTEST) is used for contests where what is being judged is not the person or his performance of a specific process but whatever he produced. The relation describes how CognitiveAgent ?AGENT entered Entity ?OBJ in Contest ?CONTEST.") | Music.kif 1070-1073 | |
| (domain contestEntry 1 Entity) | Music.kif 1079-1079 | Le nombre 1 argument de contestEntry est une instance de entit� |
| (domain contestEntry 2 CognitiveAgent) | Music.kif 1080-1080 | Le nombre 2 argument de contestEntry est une instance de agent cognitif |
| (domain contestEntry 3 Contest) | Music.kif 1081-1081 | Le nombre 3 argument de contestEntry est une instance de affrontement |
| (instance contestEntry TernaryPredicate) | Music.kif 1069-1069 | contestEntry est une instance de pr�dicat ternaire |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage contestEntry "%2 entered %1 在 %3 ") | domainEnglishFormat.kif 3082-3082 | |
| (format ChineseTraditionalLanguage contestEntry "%2 entered %1 在 %3 ") | domainEnglishFormat.kif 3081-3081 | |
| (format EnglishLanguage contestEntry "%2 entered %1 in %3") | domainEnglishFormat.kif 3080-3080 | |
| (termFormat EnglishLanguage contestEntry "contest entry") | Music.kif 1074-1074 |
| antecedent |
|
|
| (=> (contestEntry ?ENT ?AGENT ?CONT) (exists (?P ?J) (and (instance ?P IntentionalProcess) (agent ?P ?AGENT) (result ?P ?ENT) (instance ?J Judging) (patient ?J ?ENT)))) |
Music.kif 1083-1091 |
|
|
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