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 403-405
(instance DemoRecording RecordingAttribute)	Music.kif 402-402	Demo recording is an instance of recording attribute

appearance as argument number 2

(termFormat EnglishLanguage DemoRecording "demo recording")

Music.kif 406-406

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 408-419