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 1058-1060
(domain contestOrganizer 1 Contest) Music.kif 1063-1063 Le nombre 1 argument de contestOrganizer est une instance de affrontement
(domain contestOrganizer 2 CognitiveAgent) Music.kif 1064-1064 Le nombre 2 argument de contestOrganizer est une instance de agent cognitif
(instance contestOrganizer BinaryPredicate) Music.kif 1057-1057 contestOrganizer est une instance de pr�dicat binaire

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 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