Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - contestOrganizer
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 1050-1052
(domain contestOrganizer 1 Contest) Music.kif 1055-1055 The number 1 argument of contest organizer is an instance of contest
(domain contestOrganizer 2 CognitiveAgent) Music.kif 1056-1056 The number 2 argument of contest organizer is an instance of cognitive agent
(instance contestOrganizer BinaryPredicate) Music.kif 1049-1049 contest organizer is an instance of binary predicate

appearance as argument number 2
-------------------------


(format ChineseLanguage contestOrganizer "%2 organizes %1 ") domainEnglishFormat.kif 3099-3099
(format ChineseTraditionalLanguage contestOrganizer "%2 organizes %1 ") domainEnglishFormat.kif 3098-3098
(format EnglishLanguage contestOrganizer "%2 organizes %1") domainEnglishFormat.kif 3097-3097
(termFormat EnglishLanguage contestOrganizer "contest organizer") Music.kif 1053-1053

antecedent
-------------------------


(=>
    (contestOrganizer ?CONTEST ?A)
    (managedBy ?CONTEST ?A))
Music.kif 1058-1060


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