AlbumChart(album chart) |
appearance as argument number 1 |
![]() |
(documentation AlbumChart EnglishLanguage "AlbumChart is a type of MusicChart for particular Album.") | Music.kif 1147-1148 | |
(subclass AlbumChart MusicChart) | Music.kif 1146-1146 | Album chart is a subclass of music charts |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage AlbumChart "album chart") | Music.kif 1149-1149 |
antecedent |
![]() |
(=> (instance ?X AlbumChart) (exists (?A) (and (instance ?A Album) (inList ?A ?X)))) |
Music.kif 1151-1156 |
|
![]() |
![]() |