songArtist |
appearance as argument number 1 |
(documentation songArtist EnglishLanguage "(songArtist ?MR ?A) means that CognitiveAgent ?A was the agent in recording MusicRecording ?MR") | Music.kif 209-210 | |
(domain songArtist 1 MusicRecording) | Music.kif 213-213 | songArtist の数値 1 引数は MusicRecording の instance では %n |
(domain songArtist 2 CognitiveAgent) | Music.kif 214-214 | songArtist の数値 2 引数は 認識エージェント の instance では %n |
(instance songArtist BinaryPredicate) | Music.kif 208-208 | songArtist は 2進述語 の instance では %n |
appearance as argument number 2 |
(format ChineseLanguage songArtist "%2 是 performer 在 %1 ") | domainEnglishFormat.kif 4574-4574 | |
(format ChineseTraditionalLanguage songArtist "%2 是 performer 在 %1 ") | domainEnglishFormat.kif 4573-4573 | |
(format EnglishLanguage songArtist "%2 is the performer in %1") | domainEnglishFormat.kif 4572-4572 | |
(termFormat EnglishLanguage songArtist "song artist") | Music.kif 211-211 |
antecedent |
consequent |
(=> (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 |
|