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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Album

Sigma KEE - Album
Albumalbum, benefit_album, concept_album, record_album, tribute_album

appearance as argument number 1
-------------------------


s__documentation(s__Album,s__EnglishLanguage,'An Album is a List of Recordings that are packaged and sold as a unit.')

Music.kif 50-50
s__instance(s__List,s__SetOrClass)

Music.kif 49-49

appearance as argument number 2
-------------------------


s__termFormat(s__EnglishLanguage,s__Album,'album')

Music.kif 51-51

appearance as argument number 3
-------------------------


s__domain(s__AlbumCopiesFn__m,1,s__Album)

Music.kif 932-932
s__domain(s__albumArtist__m,1,s__Album)

Music.kif 271-271
s__domain(s__albumCoverImage__m,1,s__Album)

Music.kif 312-312
s__domain(s__albumLength__m,1,s__Album)

Music.kif 332-332
s__domain(s__albumRelease__m,1,s__Album)

Music.kif 252-252
s__domain(s__albumTrack__m,2,s__Album)

Music.kif 342-342
s__domain(s__albumType__m,1,s__Album)

Music.kif 288-288

antecedent
-------------------------


( ! [V__L] :
   (s__instance(V__L,s__Album) =>
     (! [V__X] :
       (s__inList(V__X,V__L)
       =>
       s__instance(V__X,s__Recording))))
)

Music.kif 53-58

consequent
-------------------------


( ! [V__A,V__ATTR] :
   ((s__attribute(V__A,V__ATTR)
     &
     s__instance(V__ATTR,s__AlbumAttribute))
   =>
   s__instance(V__A,s__Album))
)

Music.kif 481-485
( ! [V__X] :
   (s__instance(V__X,s__AlbumChart) =>
     (? [V__A] :
       (s__instance(V__A,s__Album) &
         s__inList(V__A,V__X))))
)

Music.kif 1147-1152


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners