| CoverRecording | | cover, cover_recording, cover_song, cover_version |
| appearance as argument number 1 |
|
|
| s__documentation(s__CoverRecording,s__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 455-457 | |
| s__instance(s__RecordingAttribute,s__SetOrClass)
|
Music.kif 454-454 |
| appearance as argument number 2 |
|
|
| s__termFormat(s__EnglishLanguage,s__CoverRecording,'cover recording')
|
Music.kif 458-458 |
| antecedent |
|
|
| ( ! [V__MR,V__A,V__M,V__MM] : ((s__attribute(V__MR,s__CoverRecording) & s__instance(V__MR,s__MusicRecording) & s__songArtist(V__MR,V__A) & s__musicInterpretation(V__MR,V__M) & s__record(V__MR,V__MM)) => (? [V__ORIG,V__ARTIST,V__MUSIC] : (s__musicInterpretation(V__ORIG,V__M) & s__songArtist(V__ORIG,V__ARTIST) & (~ (V__A = V__ARTIST)) & s__record(V__ORIG,V__MUSIC) & s__before(s__WhenFn(V__MUSIC) ,s__WhenFn(V__MM))))) )
|
Music.kif 460-473 |
|
|
|