Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  RemixFn

 Sigma KEE - RemixFn
RemixFn

appearance as argument number 1
-------------------------


(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 879-882
(domain RemixFn 1 MusicRecording) Music.kif 885-885 Le nombre 1 argument de RemixFn est une instance de MusicRecording
(domain RemixFn 2 CognitiveAgent) Music.kif 886-886 Le nombre 2 argument de RemixFn est une instance de agent cognitif
(instance RemixFn BinaryFunction) Music.kif 878-878 RemixFn est une instance de fonction binaire
(range RemixFn MusicRecording) Music.kif 887-887 Le domaine de RemixFn est une instance de MusicRecording

appearance as argument number 2
-------------------------


(format ChineseLanguage RemixFn "%1 的 remix 由 %2 ") domainEnglishFormat.kif 4378-4378
(format ChineseTraditionalLanguage RemixFn "%1 的 remix 由 %2 ") domainEnglishFormat.kif 4377-4377
(format EnglishLanguage RemixFn "the remix of %1 by %2") domainEnglishFormat.kif 4376-4376
(termFormat EnglishLanguage RemixFn "remix function") Music.kif 883-883

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 889-898

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners