albumArtist - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__albumArtist__m,s__EnglishLanguage,'"(albumArtist ?A ?P) means that Album ?A features CognitiveAgent ?P as one of its main contributors"')	Music.kif 270-271
s__domain(s__albumArtist__m,n__1,s__Album)	Music.kif 274-274	The number 1 argument of album artist is an instance of album
s__domain(s__albumArtist__m,n__2,s__CognitiveAgent)	Music.kif 275-275	The number 2 argument of album artist is an instance of cognitive agent
s__instance(s__albumArtist__m,s__BinaryPredicate) s__instance(s__BinaryPredicate,s__SetOrClass)	Music.kif 269-269	album artist is an instance of binary predicate

appearance as argument number 2

s__format(s__ChineseLanguage,s__albumArtist__m,'"%2 是在 %1 上的表演者"')	domainEnglishFormat.kif 2743-2743
s__format(s__ChineseTraditionalLanguage,s__albumArtist__m,'"%2 是在 %1 上的表演者"')	domainEnglishFormat.kif 2742-2742
s__format(s__EnglishLanguage,s__albumArtist__m,'"%2 is a performer on %1"')	domainEnglishFormat.kif 2741-2741
s__termFormat(s__EnglishLanguage,s__albumArtist__m,'"album artist"')	Music.kif 272-272

antecedent

( ! [V__P,V__A] :
   ((s__instance(V__P,s__CognitiveAgent) &
       s__instance(V__A,s__Album))
     =>
     s__albumArtist(V__A,V__P)
   =>
   ( ? [V__R, V__M] :
     ((s__instance(V__M,s__Process) &
         (s__instance(V__R,s__Recording) &
           s__inList(V__R,V__A)
         &
         s__record(V__R,V__M)
       &
       s__agent(V__M,V__P)))))
)
)

Music.kif 277-284

consequent

( ! [V__A] :
   ((s__instance(V__A,s__Album) &
       s__instance(V__A,s__Object))
     =>
     s__attribute(V__A,s__CompilationAlbum) =>
     ( ? [V__A1, V__A2] :
       ((s__instance(V__A1,s__CognitiveAgent) &
           s__instance(V__A2,s__CognitiveAgent) &
           (s__albumArtist(V__A,V__A1)
           &
           s__albumArtist(V__A,V__A2)
         &
         ~((V__A1 = V__A2))))))
)
)

Music.kif 487-493

If compilation album is an attribute of an album,
then there exist the album1 and the album2 such that the album1 is a performer on the album and the album2 is a performer on the album and the album1 is not equal to the album2