TreeView Knowledge Base Browser

appearance as argument number 1

(documentation albumArtist EnglishLanguage "(albumArtist ?A ?P) means that Album ?A features CognitiveAgent ?P as one of its main contributors")	Music.kif 273-274
(domain albumArtist 1 Album)	Music.kif 277-277	albumArtist 的 1 数量是 Album 的 instance
(domain albumArtist 2 CognitiveAgent)	Music.kif 278-278	albumArtist 的 2 数量是有认知的主事的 instance
(instance albumArtist BinaryPredicate)	Music.kif 272-272	albumArtist 是二元谓语的 instance

appearance as argument number 2

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

antecedent

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

Music.kif 280-287

如果有认知的主事是在 Album 上的表演者，
然后有存在有内用物体和过程这样那个有内用物体是 Recording 的 instance 和那个有内用物体是那个 Album 的 member 和那个有内用物体是个那个过程的 record 和那个有认知的主事是那个过程的 agent

consequent

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

Music.kif 490-496

如果 CompilationAlbum 是 Album 的 attribute，
然后有存在那个 Album1 和那个 Album2 这样那个 Album1 是在那个 Album 上的表演者和那个 Album2 是在那个 Album 上的表演者和那个 Album1 不 equal 那个 Album2

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

KB Term:			Term intersection

English Word: