| LiveRecording(live recording) | | live_recording |
| appearance as argument number 1 |
|
|
| s__documentation(s__LiveRecording,s__EnglishLanguage,'LiveRecording refers to a MusicRecording that was captured directly from a Performance') | Music.kif 377-378 | |
| s__instance(s__LiveRecording,s__RecordingAttribute) s__instance(s__RecordingAttribute,s__SetOrClass)
|
Music.kif 376-376 | Live recording is an instance of recording attribute |
| appearance as argument number 2 |
|
|
| s__termFormat(s__EnglishLanguage,s__LiveRecording,'live recording')
|
Music.kif 379-379 | "live recording" is the printable form of live recording in english language |
| antecedent |
|
|
| ( ! [V__M] : ((s__attribute(V__M,s__LiveRecording)s__and__ms__instance(V__M,s__Recording)) s__=>(s__exists__m[V__P] : (s__instance(V__P,s__Performance)s__and__ms__record(V__M,V__P)))) )
|
Music.kif 381-388 |
|
|
|
|