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 and 音樂錄音 |
(domain musicInterpretation 2 Music) | Music.kif 178-178 | 域 musicInterpretation, 2 and Music |
(instance musicInterpretation BinaryPredicate) | Music.kif 172-172 | 例 musicInterpretation and BinaryPredicate |
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 |
|