TreeView Knowledge Base Browser

appearance as argument number 1

(instance musician TernaryPredicate)	Music.kif 188-188	musician is an instance of ternary predicate
(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	musician is an instance of ternary predicate
(domain musician 1 MusicRecording)	Music.kif 193-193	The number 1 argument of musician is an instance of music recording
(domain musician 2 Human)	Music.kif 194-194	The number 2 argument of musician is an instance of human
(domainSubclass musician 3 MakingMusic)	Music.kif 195-195	The number 3 argument of musician is a subclass of making music

appearance as argument number 2

(termFormat EnglishLanguage musician "musician")	Music.kif 191-191
(format EnglishLanguage musician "%qp{Does} %qn{Doesn't} %2 %n{doesn't} play%qp{s}%p{s} %3 in %1")	domainEnglishFormat.kif 3930-3930
(format ChineseTraditionalLanguage musician "%2 表演了 %1 ")	domainEnglishFormat.kif 3931-3931
(format ChineseLanguage musician "%2 表演了 %1 ")	domainEnglishFormat.kif 3932-3932

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

If X plays Y in Z, then All of the following hold: (1) there exist W (2) V such that W is an instance of Y (3) equal Y (4) playing V or equal Y (5) singing (6) X is an agent of W (7) Z is a result of W

consequent

(=> (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	If X is an instance of discography, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of cognitive agent (3) Z is an attribute of Y (4) Z is an instance of musician (5) W W is a member of Xthere exist V, U,, , T (6) S such that Y plays V in W (7) the set of copies on S of W was released for sale in T at U
(=> (discography ?A ?D) (forall (?X) (=> (member ?X ?D) (exists (?I) (musician ?X ?A ?I)))))	Music.kif 243-249	If X has discography Y, then For all MusicRecording Z: if Z is a member of Y, then there exists W such that X plays W in Z

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

KB Term:			Term intersection

English Word: