composer |
appearance as argument number 1 |
(comment composer "Right now, composer is a subrelation of authors, but authors is related to a Text versus to a Proposition, so I'm changing it such that compsoer now is a subrelation of creator, so that it can work with MusicalComposition, which is now a subclass of Proposition. (09-14-2011)" "KJN") | Music.kif 141-144 | |
(documentation composer EnglishLanguage "(composer ?AGENT ?COMPOSITION) means that CognitiveAgent ?AGENT created MusicalComposition ?COMPOSITION") | Music.kif 138-139 | |
(domain composer 1 CognitiveAgent) | Music.kif 145-145 | Die Zahl 1 Argument von composer ist ein fall von CognitiveAgent %n{nicht} |
(domain composer 2 MusicalComposition) | Music.kif 146-146 | Die Zahl 2 Argument von composer ist ein fall von MusicalComposition %n{nicht} |
(instance composer BinaryPredicate) | Music.kif 136-136 | composer ist ein fall von BinaryPredicate %n{nicht} |
(subrelation composer creator) | Music.kif 137-137 | composer ist eine teilrelation von creator |
appearance as argument number 2 |
(format ChineseLanguage composer "%1 composed %2 ") | domainEnglishFormat.kif 3054-3054 | |
(format ChineseTraditionalLanguage composer "%1 composed %2 ") | domainEnglishFormat.kif 3053-3053 | |
(format EnglishLanguage composer "%1 composed %2") | domainEnglishFormat.kif 3052-3052 | |
(termFormat EnglishLanguage composer "composer") | Music.kif 140-140 |
antecedent |
(=> (composer ?A ?M) (exists (?C) (and (instance ?C Creation) (agent ?C ?A) (result ?C ?M)))) |
Music.kif 148-154 |
|