DemoRecording - Sigma Knowledge base Browser

appearance as argument number 1

(documentation DemoRecording EnglishLanguage "A DemoRecording refers to a Recording that is meant to be for a smaller group of people and is not meant for release or distribution to the public")	Music.kif 405-407
(instance DemoRecording RecordingAttribute)	Music.kif 404-404	Demo recording is an instance of recording attribute

appearance as argument number 2

(termFormat EnglishLanguage DemoRecording "demo recording")

Music.kif 408-408

antecedent

(=>
    (and
        (attribute ?M DemoRecording)
        (instance ?M Recording))
    (hasPurpose ?M
        (exists (?D ?G ?MUSIC)
            (and
                (instance ?D Demonstrating)
                (record ?M ?MUSIC)
                (patient ?D ?MUSIC)
                (destination ?D ?G)
                (instance ?G GroupOfPeople)))))

Music.kif 410-421