| MusicGenre | |
| appearance as argument number 1 |
|
|
| (documentation MusicGenre EnglishLanguage "MusicGenre is a categorical construct that identifies musical sound as belonging to a particular category that can be distinguished from other types of music. They are attributes instead of subclasses of Music as the classification of a song to a particular genre is oftentimes arbitrary, as well as the fact that there are very closely related genres that oftentime overlap. It is applied to a MusicRecording instead of Music as a piece of Music can be reinterpreted as a different genre by different artists.") | Music.kif 504-510 | |
| (subclass MusicGenre RelationalAttribute) | Music.kif 503-503 |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?ATTR MusicGenre) (attribute ?A ?ATTR)) (or (instance ?A MakingMusic) (instance ?A MusicRecording))) |
Music.kif 513-519 |
|
|
|