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 | musicInterpretation の数値 1 引数は MusicRecording の instance では %n |
(domain musicInterpretation 2 Music) | Music.kif 178-178 | musicInterpretation の数値 2 引数は 音楽 の instance では %n |
(instance musicInterpretation BinaryPredicate) | Music.kif 172-172 | musicInterpretation は 2進述語 の instance では %n |
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 |