| Discography(discography) | | discography |
| appearance as argument number 1 |
|
|
| (documentation Discography EnglishLanguage "A Discography is the collection of all released MusicRecording of a Musician. This is different from something like a sessionography, which is a collection of all recording sessions, whether they have been released for sale or not.") | Music.kif 61-64 | |
| (subclass Discography Collection) | Music.kif 60-60 | Discography is a subclass of collection |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Discography "discography") | Music.kif 65-65 |
| appearance as argument number 3 |
|
|
| (domain discography 2 Discography) | Music.kif 241-241 | The number 2 argument of discography is an instance of discography |
| antecedent |
|
|
| (=> (instance ?D Discography) (exists (?M ?AC) (and (instance ?M CognitiveAgent) (attribute ?M ?AC) (instance ?AC Musician) (forall (?X) (=> (member ?X ?D) (exists (?I ?T ?R ?DS) (and (musician ?X ?M ?I) (releaseForSale (AlbumCopiesFn ?X ?DS) ?R ?T)))))))) |
Music.kif 67-80 |
|
|
|
|