MusicalInterpretationFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation MusicalInterpretationFn EnglishLanguage "The function (MusicalInterpretationFn ?A ?M ?T) returns an instance of MakingMusic that refers to a particular instance of MakingMusic by CognitiveAgent ?A of the realization of Music ?M during TimeInterval ?T.")	Music.kif 841-844
(domain MusicalInterpretationFn 1 CognitiveAgent)	Music.kif 847-847	Die Zahl 1 Argument von MusicalInterpretationFn ist ein fall von kognitiver Agent %n{nicht}
(domain MusicalInterpretationFn 2 Music)	Music.kif 848-848	Die Zahl 2 Argument von MusicalInterpretationFn ist ein fall von Musik %n{nicht}
(domain MusicalInterpretationFn 3 TimeInterval)	Music.kif 849-849	Die Zahl 3 Argument von MusicalInterpretationFn ist ein fall von Zeitabstand %n{nicht}
(instance MusicalInterpretationFn TernaryFunction)	Music.kif 840-840	MusicalInterpretationFn ist ein fall von dreistellige Funktion %n{nicht}
(range MusicalInterpretationFn MakingMusic)	Music.kif 850-850	bildbereich von MusicalInterpretationFn ist ein fall von MakingMusic {nicht}

appearance as argument number 2

(format ChineseLanguage MusicalInterpretationFn "%2 的 interpretation 由 %1 在 %3 ")	domainEnglishFormat.kif 3916-3916
(format ChineseTraditionalLanguage MusicalInterpretationFn "%2 的 interpretation 由 %1 在 %3 ")	domainEnglishFormat.kif 3915-3915
(format EnglishLanguage MusicalInterpretationFn "the interpretation of %2 by %1 at %3")	domainEnglishFormat.kif 3914-3914
(termFormat EnglishLanguage MusicalInterpretationFn "musical interpretation")	Music.kif 845-845

antecedent

(=>
    (equal ?MM
        (MusicalInterpretationFn ?A ?M ?T))
    (and
        (realization ?MM ?M)
        (equal ?T
            (WhenFn ?MM))
        (agent ?MM ?A)))

Music.kif 852-857