TreeView Knowledge Base Browser

appearance as argument number 1

(instance RemixFn BinaryFunction)	Music.kif 880-880	Remix function is an instance of binary function
(documentation RemixFn EnglishLanguage "The function (RemixFn ?M ?A) returns a MusicRecording instance where an CognitiveAgent ?A does something to a MusicRecording ?M that alters its arrangement, beat, tempo, etc, but still makes ?M recognizable to those listening to it.")	Music.kif 881-884	Remix function is an instance of binary function
(domain RemixFn 1 MusicRecording)	Music.kif 887-887	The number 1 argument of remix function is an instance of music recording
(domain RemixFn 2 CognitiveAgent)	Music.kif 888-888	The number 2 argument of remix function is an instance of cognitive agent
(range RemixFn MusicRecording)	Music.kif 889-889	The range of remix function is an instance of music recording

appearance as argument number 2

(termFormat EnglishLanguage RemixFn "remix function")	Music.kif 885-885
(format EnglishLanguage RemixFn "the remix of %1 by %2")	domainEnglishFormat.kif 4380-4380
(format ChineseTraditionalLanguage RemixFn "%1 的 remix 由 %2 ")	domainEnglishFormat.kif 4381-4381
(format ChineseLanguage RemixFn "%1 的 remix 由 %2 ")	domainEnglishFormat.kif 4382-4382

antecedent

(=>
    (equal ?S
        (RemixFn ?M ?A))
    (exists (?P)
        (and
            (instance ?P IntentionalProcess)
            (patient ?P ?M)
            (agent ?P ?A)
            (result ?P ?S)
            (not
                (equal ?S ?M))
            (not
                (copy ?S ?M)))))

Music.kif 891-900

If equal X and the remix of Y by Z, then All of the following hold: (1) there exists W such that W is an instance of intentional process (2) Y is a patient of W (3) Z is an agent of W (4) X is a result of W (5) equal X (6) Y (7) X is not a copy of Y

consequent

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

Music.kif 446-451

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: