| 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 1060-1062 | |
| (domain contestOrganizer 1 Contest) | Music.kif 1065-1065 | The number 1 argument of contest organizer is an instance of contest |
| (domain contestOrganizer 2 CognitiveAgent) | Music.kif 1066-1066 | The number 2 argument of contest organizer is an instance of cognitive agent |
| (instance contestOrganizer BinaryPredicate) | Music.kif 1059-1059 | contest organizer is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage contestOrganizer "%2 organizes %1 ") | domainEnglishFormat.kif 3090-3090 | |
| (format ChineseTraditionalLanguage contestOrganizer "%2 organizes %1 ") | domainEnglishFormat.kif 3089-3089 | |
| (format EnglishLanguage contestOrganizer "%2 organizes %1") | domainEnglishFormat.kif 3088-3088 | |
| (termFormat EnglishLanguage contestOrganizer "contest organizer") | Music.kif 1063-1063 |
| antecedent |
|
|
| (=> (contestOrganizer ?CONTEST ?A) (managedBy ?CONTEST ?A)) |
Music.kif 1068-1070 |
|
|
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