LiveRecording - Sigma Knowledge base Browser

appearance as argument number 1

(documentation LiveRecording EnglishLanguage "LiveRecording refers to a MusicRecording that was captured directly from a Performance")	Music.kif 376-377
(instance LiveRecording RecordingAttribute)	Music.kif 375-375	Live recording is an instance of recording attribute

appearance as argument number 2

(termFormat EnglishLanguage LiveRecording "live recording")

Music.kif 378-378

antecedent

(=>
    (and
        (attribute ?M LiveRecording)
        (instance ?M Recording))
    (exists (?P)
        (and
            (instance ?P Performance)
            (record ?M ?P))))

Music.kif 380-387