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	Die Zahl 1 Argument von musician ist ein fall von MusicRecording %n{nicht}
(domain musician 2 Human)	Music.kif 194-194	Die Zahl 2 Argument von musician ist ein fall von Human %n{nicht}
(domainSubclass musician 3 MakingMusic)	Music.kif 195-195	Die Zahl 3 Argument von musician ist eine teilkategorie von MakingMusic %n{nicht}
(instance musician TernaryPredicate)	Music.kif 188-188	musician ist ein fall von TernaryPredicate %n{nicht}

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

Wenn musician MusicRecording, Human and ** MakingMusic,
dann es gibt Process und ** Device um ** Process ist ein fall von ** MakingMusic %n{nicht} und ** ** MakingMusic ist gleich PlayingInstrumentFn ** Device %n{nicht} oder ** ** MakingMusic ist gleich MakingVocalMusic %n{nicht} und ** Process ist der agent von ** Human %n{nicht} und ** MusicRecording ist ein resultat von ** Process %n{nicht}

consequent

(=> (discography ?A ?D) (forall (?X) (=> (member ?X ?D) (exists (?I) (musician ?X ?A ?I)))))	Music.kif 243-249	Wenn discography Human and Discography, dann fuer alle MusicRecording wenn MusicRecording ist ein Mitglied von Discography %n{nicht}, dann es gibt MakingMusic um musician MusicRecording, Human 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	Wenn Collection ist ein fall von Discography %n{nicht}, dann es gibt Human und Attribute um Human ist ein fall von CognitiveAgent %n{nicht} und Attribute ist ein attribut von Human %n{nicht} und Attribute ist ein fall von Musician %n{nicht} und fuer alle Album wenn Album ist ein Mitglied von Collection %n{nicht}, dann es gibt MakingMusic, TimePoint,, , GeographicArea, and und CollectionS um musician Album, Human and MakingMusic und releaseForSale AlbumCopiesFn Album and CollectionS, GeographicArea and ** TimePoint

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

KB Term:			Term intersection

English Word: