contestOrganizer |
appearance as argument number 1 |
(documentation contestOrganizer EnglishLanguage "(contestOrganizer ?CONTEST ?ORG) means that CognitiveAgent ?ORG is responsible for managing and organizer Contest ?CONTEST") | Music.kif 1058-1060 | |
(domain contestOrganizer 1 Contest) | Music.kif 1063-1063 | O argumento numero 1 de contestOrganizer e' uma instancia de Contest |
(domain contestOrganizer 2 CognitiveAgent) | Music.kif 1064-1064 | O argumento numero 2 de contestOrganizer e' uma instancia de Agente Cognitivo |
(instance contestOrganizer BinaryPredicate) | Music.kif 1057-1057 | contestOrganizer e' uma instancia de Predicado Binario |
appearance as argument number 2 |
(format ChineseLanguage contestOrganizer "%2 organizes %1 ") | domainEnglishFormat.kif 3094-3094 | |
(format ChineseTraditionalLanguage contestOrganizer "%2 organizes %1 ") | domainEnglishFormat.kif 3093-3093 | |
(format EnglishLanguage contestOrganizer "%2 organizes %1") | domainEnglishFormat.kif 3092-3092 | |
(termFormat EnglishLanguage contestOrganizer "contest organizer") | Music.kif 1061-1061 |
antecedent |
(=> (contestOrganizer ?CONTEST ?A) (managedBy ?CONTEST ?A)) |
Music.kif 1066-1068 |