TreeView Knowledge Base Browser

appearance as argument number 2

(termFormat EnglishLanguage albumArtist "album artist")	Music.kif 275-275
(format EnglishLanguage albumArtist "%2 is a performer on %1")	domainEnglishFormat.kif 2740-2740
(format ChineseTraditionalLanguage albumArtist "%2 是在 %1 上的表演者")	domainEnglishFormat.kif 2741-2741
(format ChineseLanguage albumArtist "%2 是在 %1 上的表演者")	domainEnglishFormat.kif 2742-2742

antecedent

(=>
    (albumArtist ?A ?P)
    (exists (?R ?M)
        (and
            (instance ?R Recording)
            (inList ?R ?A)
            (record ?R ?M)
            (agent ?M ?P))))

Music.kif 280-287

If X is a performer on Y, then there exist Z, W such that Z is an instance of recording, Z is a member of Y, Z is a record of W, and X is an agent of W

consequent

(=>
    (property ?A CompilationAlbum)
    (exists (?A1 ?A2)
        (and
            (albumArtist ?A ?A1)
            (albumArtist ?A ?A2)
            (not
                (equal ?A1 ?A2)))))

Music.kif 492-499

If X the attribute compilation album, then there exist Y, Z such that Y is a performer on X, Z is a performer on X, equal Y, and Z

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

KB Term:			Term intersection

English Word: