TreeView Knowledge Base Browser

appearance as argument number 1

(instance RemixRecording RecordingAttribute)	Music.kif 440-440	Remix recording is an instance of recording attribute
(documentation RemixRecording EnglishLanguage "A RemixRecording refers to a Recording that has an original Recording that was somehow altered by some CognitiveAgent while still being able to recognize the original.")	Music.kif 441-443	Remix recording is an instance of recording attribute

appearance as argument number 2

antecedent

(=>
    (and
        (attribute ?M RemixRecording)
        (instance ?M MusicRecording))
    (exists (?O ?A)
        (equal ?M
            (RemixFn ?O ?A))))

If remix recording is an attribute of X and X is an instance of music recording, then there exist Y, Z such that equal X, and the remix of Y by Z