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 数量 是 音乐录音 的 instance |
(domain musicInterpretation 2 Music) | Music.kif 178-178 | musicInterpretation 的 2 数量 是 音乐 的 instance |
(instance musicInterpretation BinaryPredicate) | Music.kif 172-172 | musicInterpretation 是 二元谓语 的 instance |
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 |
(=> (and (attribute ?MR CoverRecording) (instance ?MR MusicRecording) (songArtist ?MR ?A) (musicInterpretation ?MR ?M) (record ?MR ?MM)) (exists (?ORIG ?ARTIST ?MUSIC) (and (musicInterpretation ?ORIG ?M) (songArtist ?ORIG ?ARTIST) (not (equal ?A ?ARTIST)) (record ?ORIG ?MUSIC) (before (WhenFn ?MUSIC) (WhenFn ?MM))))) |
Music.kif 457-470 |
|
(=> (musicInterpretation ?MR ?MC) (exists (?P) (and (instance ?P MakingMusic) (realization ?P ?MC) (record ?MR ?P)))) |
Music.kif 180-186 |
consequent |
(=> (and (attribute ?M MashupRecording) (instance ?M Recording)) (exists (?M1 ?M2 ?S1 ?S2) (and (musicInterpretation ?M1 ?S1) (musicInterpretation ?M2 ?S2) (not (equal ?S1 ?S2)) (part ?M1 ?M) (part ?M2 ?M)))) |
Music.kif 426-436 | |
(=> (and (attribute ?MR CoverRecording) (instance ?MR MusicRecording) (songArtist ?MR ?A) (musicInterpretation ?MR ?M) (record ?MR ?MM)) (exists (?ORIG ?ARTIST ?MUSIC) (and (musicInterpretation ?ORIG ?M) (songArtist ?ORIG ?ARTIST) (not (equal ?A ?ARTIST)) (record ?ORIG ?MUSIC) (before (WhenFn ?MUSIC) (WhenFn ?MM))))) |
Music.kif 457-470 |
|