musician |
appearance as argument number 1 |
(documentation musician EnglishLanguage "(musician ?MR ?P ?I) means that Human ?P played some Process ?I as a Musician in MusicRecording ?MR") | Music.kif 189-190 | |
(domain musician 1 MusicRecording) | Music.kif 193-193 | |
(domain musician 2 Human) | Music.kif 194-194 | |
(domainSubclass musician 3 MakingMusic) | Music.kif 195-195 | |
(instance musician TernaryPredicate) | Music.kif 188-188 |
appearance as argument number 2 |
(format ChineseLanguage musician "%2 表演了 %1 ") | domainEnglishFormat.kif 3934-3934 | |
(format ChineseTraditionalLanguage musician "%2 表演了 %1 ") | domainEnglishFormat.kif 3933-3933 | |
(format EnglishLanguage musician "%2 performed %1") | domainEnglishFormat.kif 3932-3932 | |
(termFormat EnglishLanguage musician "musician") | Music.kif 191-191 |
antecedent |
(=> (musician ?MR ?P ?R) (exists (?MM ?I) (and (instance ?MM ?R) (or (equal ?R (PlayingInstrumentFn ?I)) (equal ?R MakingVocalMusic)) (agent ?MM ?P) (result ?MM ?MR)))) |
Music.kif 197-206 |
consequent |
(=> (discography ?A ?D) (forall (?X) (=> (member ?X ?D) (exists (?I) (musician ?X ?A ?I))))) |
Music.kif 243-249 | |
(=> (instance ?D Discography) (exists (?M ?AC) (and (instance ?M CognitiveAgent) (attribute ?M ?AC) (instance ?AC Musician) (forall (?X) (=> (member ?X ?D) (exists (?I ?T ?R ?DS) (and (musician ?X ?M ?I) (releaseForSale (AlbumCopiesFn ?X ?DS) ?R ?T)))))))) |
Music.kif 67-80 |