Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| contestOrganizer |
| appearance as argument number 1 |
|
| (instance contestOrganizer BinaryPredicate) | Music.kif 1059-1059 | contest organizer is an instance of binary predicate |
| (documentation contestOrganizer EnglishLanguage "(contestOrganizer ?CONTEST ?ORG) means that CognitiveAgent ?ORG is responsible for managing and organizer Contest ?CONTEST") | Music.kif 1060-1062 | contest organizer is an instance of binary predicate |
| (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 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage contestOrganizer "contest organizer") | Music.kif 1063-1063 | |
| (format EnglishLanguage contestOrganizer "%2 organizes %1") | domainEnglishFormat.kif 3088-3088 | |
| (format ChineseTraditionalLanguage contestOrganizer "%2 organizes %1 ") | domainEnglishFormat.kif 3089-3089 | |
| (format ChineseLanguage contestOrganizer "%2 organizes %1 ") | domainEnglishFormat.kif 3090-3090 |
| antecedent |
|
|
| (=> (contestOrganizer ?CONTEST ?A) (managedBy ?CONTEST ?A)) |
Music.kif 1068-1070 | If X organizes Y, then Y is managed by X |
|