Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - albumArtist
albumArtist

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 2747-2747
s__format(s__ChineseTraditionalLanguage,s__albumArtist__m,'"%2 是在 %1 上的表演者"')

domainEnglishFormat.kif 2746-2746
s__format(s__EnglishLanguage,s__albumArtist__m,'"%2 is a performer on %1"')

domainEnglishFormat.kif 2745-2745
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


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners