TreeView Knowledge Base Browser

appearance as argument number 2

(termFormat EnglishLanguage albumRelease "album release")	Music.kif 256-256
(format EnglishLanguage albumRelease "%1 was released on %2")	domainEnglishFormat.kif 2756-2756
(format ChineseTraditionalLanguage albumRelease "%1 之前是在 %2 被 released ")	domainEnglishFormat.kif 2757-2757
(format ChineseLanguage albumRelease "%1 之前是在 %2 被 released ")	domainEnglishFormat.kif 2758-2758

antecedent

(=>
    (albumRelease ?A ?T)
    (and
        (exists (?R1 ?DS1)
            (releaseForSale
                (AlbumCopiesFn ?A ?DS1) ?R1 ?T))
        (not
            (exists (?B ?R2 ?DS2)
                (and
                    (before ?B ?T)
                    (releaseForSale
                        (AlbumCopiesFn ?A ?DS2) ?R2 ?B))))))

Music.kif 261-270

If X was released on Y, then there exist Z and W such that the set of copies on W of X was released for sale in Z at Y and there don't exist V, U, T such that V happens before Y, and the set of copies on T of X was released for sale in U at V

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

KB Term:			Term intersection

English Word: