musicInterpretation |
appearance as argument number 1 |
(documentation musicInterpretation EnglishLanguage "(musicInterpretation ?MR ?MC) means that MusicRecording ?MR is a realization of Music ?MC") | Music.kif 173-174 | |
(domain musicInterpretation 1 MusicRecording) | Music.kif 177-177 | Le nombre 1 argument de musicInterpretation est une instance de MusicRecording |
(domain musicInterpretation 2 Music) | Music.kif 178-178 | Le nombre 2 argument de musicInterpretation est une instance de musique |
(instance musicInterpretation BinaryPredicate) | Music.kif 172-172 | musicInterpretation est une instance de pr�dicat binaire |
appearance as argument number 2 |
(format ChineseLanguage musicInterpretation "%1 是 %2 的 recording ") | domainEnglishFormat.kif 3938-3938 | |
(format ChineseTraditionalLanguage musicInterpretation "%1 是 %2 的 recording ") | domainEnglishFormat.kif 3937-3937 | |
(format EnglishLanguage musicInterpretation "%1 is a recording of %2") | domainEnglishFormat.kif 3936-3936 | |
(termFormat EnglishLanguage musicInterpretation "music interpretation") | Music.kif 175-175 |
antecedent |
consequent |