DemoRecording - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage DemoRecording "demo recording")

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)))))

If demo recording is an attribute of X and X is an instance of recording, then X has the purpose there exist Y, Z, W such that Y is an instance of demonstrating, X is a record of W, W is a patient of Y, Y ends up at Z, and Z is an instance of group of people