| 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 | The number 1 argument of contest organizer is an instance of contest |
| (domain contestOrganizer 2 CognitiveAgent) | Music.kif 1064-1064 | The number 2 argument of contest organizer is an instance of cognitive agent |
| (instance contestOrganizer BinaryPredicate) | Music.kif 1057-1057 | contest organizer is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage contestOrganizer "%2 organizes %1 ") | domainEnglishFormat.kif 3086-3086 | |
| (format ChineseTraditionalLanguage contestOrganizer "%2 organizes %1 ") | domainEnglishFormat.kif 3085-3085 | |
| (format EnglishLanguage contestOrganizer "%2 organizes %1") | domainEnglishFormat.kif 3084-3084 | |
| (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