MusicalInterpretationFn |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage MusicalInterpretationFn "%2 的 interpretation 由 %1 在 %3 ") | domainEnglishFormat.kif 3918-3918 | |
(format ChineseTraditionalLanguage MusicalInterpretationFn "%2 的 interpretation 由 %1 在 %3 ") | domainEnglishFormat.kif 3917-3917 | |
(format EnglishLanguage MusicalInterpretationFn "the interpretation of %2 by %1 at %3") | domainEnglishFormat.kif 3916-3916 | |
(termFormat EnglishLanguage MusicalInterpretationFn "musical interpretation") | Music.kif 843-843 |
antecedent |
(=> (equal ?MM (MusicalInterpretationFn ?A ?M ?T)) (and (realization ?MM ?M) (equal ?T (WhenFn ?MM)) (agent ?MM ?A))) |
Music.kif 850-855 |
|