Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Discography(discography) |  | discography |
| appearance as argument number 1 |
|
|
| (subclass Discography Collection) | Music.kif 60-60 | Discography is a subclass of collection |
| (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 | 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 | If X is an instance of discography, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of cognitive agent (3) Z is an attribute of Y (4) Z is an instance of musician (5) W W is a member of Xthere exist V, U,, , T (6) S such that Y plays V in W (7) the set of copies on S of W was released for sale in T at U |
|