| CoverRecording | |
| appearance as argument number 1 |
|
|
| (documentation CoverRecording EnglishLanguage "A CoverRecording refers to a MusicRecording whose Music was recorded and released by somebody else before the artist of the current recording.") | Music.kif 449-451 | |
| (instance CoverRecording RecordingAttribute) | Music.kif 448-448 | instance CoverRecording and RecordingAttribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CoverRecording "cover recording") | Music.kif 452-452 |
| antecedent |
|
|
| (=> (and (attribute ?MR CoverRecording) (instance ?MR MusicRecording) (songArtist ?MR ?A) (musicInterpretation ?MR ?M) (record ?MR ?MM)) (exists (?ORIG ?ARTIST ?MUSIC) (and (musicInterpretation ?ORIG ?M) (songArtist ?ORIG ?ARTIST) (not (equal ?A ?ARTIST)) (record ?ORIG ?MUSIC) (before (WhenFn ?MUSIC) (WhenFn ?MM))))) |
Music.kif 454-467 |
|
|
|
|