Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Copper
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Album List) | Music.kif 49-49 | Album is a subclass of list |
| (documentation Album EnglishLanguage "An Album is a List of Recordings that are packaged and sold as a unit.") | Music.kif 50-50 | Album is a subclass of list |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Album "album") | Music.kif 51-51 |
| appearance as argument number 3 |
|
|
| (domain albumRelease 1 Album) | Music.kif 258-258 | The number 1 argument of album release is an instance of album |
| (domain albumArtist 1 Album) | Music.kif 277-277 | The number 1 argument of album artist is an instance of album |
| (domain albumType 1 Album) | Music.kif 294-294 | The number 1 argument of album type is an instance of album |
| (domain albumCoverImage 1 Album) | Music.kif 309-309 | The number 1 argument of album cover is an instance of album |
| (domain albumLength 1 Album) | Music.kif 329-329 | The number 1 argument of album length is an instance of album |
| (domain albumTrack 2 Album) | Music.kif 339-339 | The number 2 argument of album track is an instance of album |
| (domain AlbumCopiesFn 1 Album) | Music.kif 932-932 | The number 1 argument of album copies function is an instance of album |
| antecedent |
|
|
| (=> (instance ?L Album) (forall (?X) (=> (inList ?X ?L) (instance ?X Recording)))) |
Music.kif 53-58 | If X is an instance of album, then For all Entity Y: if Y is a member of X, then Y is an instance of recording |
| consequent |
|
|
| (=> (and (attribute ?A ?ATTR) (instance ?ATTR AlbumAttribute)) (instance ?A Album)) |
Music.kif 480-484 | If X is an attribute of Y and X is an instance of album attribute, then Y is an instance of album |
| (=> (instance ?X AlbumChart) (exists (?A) (and (instance ?A Album) (inList ?A ?X)))) |
Music.kif 1153-1158 | If X is an instance of album chart, then there exists Y such that Y is an instance of album and Y is a member of X |
|