| 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 1078-1080 | |
| (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 1073-1076 | |
| (domain contestEntry 1 Entity) | Music.kif 1082-1082 | |
| (domain contestEntry 2 CognitiveAgent) | Music.kif 1083-1083 | |
| (domain contestEntry 3 Contest) | Music.kif 1084-1084 | |
| (instance contestEntry TernaryPredicate) | Music.kif 1072-1072 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage contestEntry "%2 entered %1 在 %3 ") | domainEnglishFormat.kif 3078-3078 | |
| (format ChineseTraditionalLanguage contestEntry "%2 entered %1 在 %3 ") | domainEnglishFormat.kif 3077-3077 | |
| (format EnglishLanguage contestEntry "%2 entered %1 in %3") | domainEnglishFormat.kif 3076-3076 | |
| (termFormat EnglishLanguage contestEntry "contest entry") | Music.kif 1077-1077 |
| 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 1086-1094 |
|
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