Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   AlbumAttribute
|
|
|
| appearance as argument number 1 |
|
|
| (subclass AlbumAttribute RelationalAttribute) | Music.kif 475-475 | Album attribute is a subclass of relational attribute |
| (documentation AlbumAttribute EnglishLanguage "AlbumAttribute is used to describe the contents of an Album") | Music.kif 476-477 | Album attribute is a subclass of relational attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AlbumAttribute "album attribute") | Music.kif 478-478 | |
| (instance CompilationAlbum AlbumAttribute) | Music.kif 486-486 | Compilation album is an instance of album attribute |
| antecedent |
|
|
| (=> (and (instance ?ATTR AlbumAttribute) (albumType ?A ?ATTR)) (attribute ?A ?ATTR)) |
Music.kif 297-301 | If X is an instance of album attribute and Y is a X, then X is an attribute of Y |
| (=> (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 |
|