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

Formal Language: 



KB Term:  Term intersection
English Word: 

  contestOrganizer

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 1058-1060
(domain contestOrganizer 1 Contest) Music.kif 1063-1063
(domain contestOrganizer 2 CognitiveAgent) Music.kif 1064-1064
(instance contestOrganizer BinaryPredicate) Music.kif 1057-1057

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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