contestEntry - Sigma Knowledge base Browser

appearance as argument number 1

(instance contestEntry TernaryPredicate)	Music.kif 1072-1072	contest entry is an instance of ternary predicate
(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	contest entry is an instance of ternary predicate
(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	contest entry is an instance of ternary predicate
(domain contestEntry 1 Entity)	Music.kif 1082-1082	The number 1 argument of contest entry is an instance of entity
(domain contestEntry 2 CognitiveAgent)	Music.kif 1083-1083	The number 2 argument of contest entry is an instance of cognitive agent
(domain contestEntry 3 Contest)	Music.kif 1084-1084	The number 3 argument of contest entry is an instance of contest

appearance as argument number 2

(termFormat EnglishLanguage contestEntry "contest entry")	Music.kif 1077-1077
(format EnglishLanguage contestEntry "%2 entered %1 in %3")	domainEnglishFormat.kif 3076-3076
(format ChineseTraditionalLanguage contestEntry "%2 entered %1 在 %3 ")	domainEnglishFormat.kif 3077-3077
(format ChineseLanguage contestEntry "%2 entered %1 在 %3 ")	domainEnglishFormat.kif 3078-3078

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

If X entered Y in Z, then there exist W, V such that W is an instance of intentional process, X is an agent of W, Y is a result of W, V is an instance of judging, and Y is a patient of V

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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners