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 374-375
(instance LiveRecording RecordingAttribute)	Music.kif 373-373	Live recording is an instance of recording attribute

appearance as argument number 2

(termFormat EnglishLanguage LiveRecording "live recording")

Music.kif 376-376

antecedent

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

Music.kif 378-385