Album | ![]() |
appearance as argument number 1 |
![]() |
(documentation Album EnglishLanguage "An Album is a List of Recordings that are packaged and sold as a unit.") | Music.kif 50-50 | |
(subclass Album List) | Music.kif 49-49 |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage Album "album") | Music.kif 51-51 |
appearance as argument number 3 |
![]() |
(domain AlbumCopiesFn 1 Album) | Music.kif 927-927 | |
(domain albumArtist 1 Album) | Music.kif 275-275 | |
(domain albumCoverImage 1 Album) | Music.kif 307-307 | |
(domain albumLength 1 Album) | Music.kif 327-327 | |
(domain albumRelease 1 Album) | Music.kif 256-256 | |
(domain albumTrack 2 Album) | Music.kif 337-337 | |
(domain albumType 1 Album) | Music.kif 292-292 |
antecedent |
![]() |
(=> (instance ?L Album) (forall (?X) (=> (inList ?X ?L) (instance ?X Recording)))) |
Music.kif 53-58 |
consequent |
![]() |
(=> (and (attribute ?A ?ATTR) (instance ?ATTR AlbumAttribute)) (instance ?A Album)) |
Music.kif 476-480 | |
(=> (instance ?X AlbumChart) (exists (?A) (and (instance ?A Album) (inList ?A ?X)))) |
Music.kif 1142-1147 |
![]() |
![]() |