TreeView Knowledge Base Browser

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	musician の数値 1 引数は MusicRecording の instance では %n
(domain musician 2 Human)	Music.kif 194-194	musician の数値 2 引数は人［人間］の instance では %n
(domainSubclass musician 3 MakingMusic)	Music.kif 195-195	musician の数値 3 引数は MakingMusic のsubclass では %n
(instance musician TernaryPredicate)	Music.kif 188-188	musician は 3進述語の instance では %n

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

musician MusicRecording, 人［人間］ and MakingMusic
工程デバイス工程は MakingMusic の instance では %n MakingMusic は PlayingInstrumentFn デバイスと equal では %n MakingMusic は MakingVocalMusic と equal では %n 人［人間］は工程の agent では %n MusicRecording は工程の result では %n

consequent

(=> (discography ?A ?D) (forall (?X) (=> (member ?X ?D) (exists (?I) (musician ?X ?A ?I)))))	Music.kif 243-249	discography 人［人間］ and Discography MusicRecording MusicRecording は Discography の member では %n MakingMusic musician MusicRecording, 人［人間］ and MakingMusic
(=> (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	コレクションは Discography の instance では %n 人［人間］属性人［人間］は認識エージェントの instance では %n 属性は人［人間］の attribute では %n 属性は Musician の instance では %n Album Album はコレクションの member では %n MakingMusic 時点, 地理的地域 and コレクションS musician Album, 人［人間］ and MakingMusic releaseForSale AlbumCopiesFn Album and コレクションS, 地理的地域 and 時点

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: