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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 1056-1058
(domain contestOrganizer 1 Contest) Music.kif 1061-1061 The number 1 argument of contest organizer is an instance of contest
(domain contestOrganizer 2 CognitiveAgent) Music.kif 1062-1062 The number 2 argument of contest organizer is an instance of cognitive agent
(instance contestOrganizer BinaryPredicate) Music.kif 1055-1055 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 1059-1059

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