|
|
   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 | Album 是 串列 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Album "album") | Music.kif 51-51 |
| appearance as argument number 3 |
|
|
| (domain AlbumCopiesFn 1 Album) | Music.kif 930-930 | AlbumCopiesFn 的 1 数量 是 Album 的 instance |
| (domain albumArtist 1 Album) | Music.kif 277-277 | albumArtist 的 1 数量 是 Album 的 instance |
| (domain albumCoverImage 1 Album) | Music.kif 309-309 | albumCoverImage 的 1 数量 是 Album 的 instance |
| (domain albumLength 1 Album) | Music.kif 329-329 | albumLength 的 1 数量 是 Album 的 instance |
| (domain albumRelease 1 Album) | Music.kif 258-258 | albumRelease 的 1 数量 是 Album 的 instance |
| (domain albumTrack 2 Album) | Music.kif 339-339 | albumTrack 的 2 数量 是 Album 的 instance |
| (domain albumType 1 Album) | Music.kif 294-294 | albumType 的 1 数量 是 Album 的 instance |
| 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 478-482 | |
| (=> (instance ?X AlbumChart) (exists (?A) (and (instance ?A Album) (inList ?A ?X)))) |
Music.kif 1149-1154 |
|
|
|