![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
Aspirin
|
|
|
| appearance as argument number 1 |
|
|
| (subclass MusicGenre RelationalAttribute) | Music.kif 503-503 | Music genre is a subclass of relational attribute |
| (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 | Music genre is a subclass of relational attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?ATTR MusicGenre) (attribute ?A ?ATTR)) (or (instance ?A MakingMusic) (instance ?A MusicRecording))) |
Music.kif 513-519 | If X is an instance of music genre and X is an attribute of Y, then Y is an instance of making music or Y is an instance of music recording |