composer - Sigma Knowledge base Browser

appearance as argument number 1

(instance composer BinaryPredicate)	Music.kif 136-136	composer is an instance of binary predicate
(subrelation composer creator)	Music.kif 137-137	composer is a subrelation of creator
(documentation composer EnglishLanguage "(composer ?AGENT ?COMPOSITION) means that CognitiveAgent ?AGENT created MusicalComposition ?COMPOSITION")	Music.kif 138-139	composer is a subrelation of creator
(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	composer is a subrelation of creator
(domain composer 1 CognitiveAgent)	Music.kif 145-145	The number 1 argument of composer is an instance of cognitive agent
(domain composer 2 MusicalComposition)	Music.kif 146-146	The number 2 argument of composer is an instance of musical composition

appearance as argument number 2

(termFormat EnglishLanguage composer "composer")	Music.kif 140-140
(format EnglishLanguage composer "%1 composed %2")	domainEnglishFormat.kif 3048-3048
(format ChineseTraditionalLanguage composer "%1 composed %2 ")	domainEnglishFormat.kif 3049-3049
(format ChineseLanguage composer "%1 composed %2 ")	domainEnglishFormat.kif 3050-3050

antecedent

(=>
    (composer ?A ?M)
    (exists (?C)
        (and
            (instance ?C Creation)
            (agent ?C ?A)
            (result ?C ?M))))

If X composed Y, then there exists Z such that Z is an instance of creation, X is an agent of Z, and Y is a result of Z