| appearance as argument number 1 |
|
| (documentation musicInterpretation EnglishLanguage "(musicInterpretation ?MR ?MC) means that MusicRecording ?MR is a realization of Music ?MC") | Music.kif 171-172 | |
| (domain musicInterpretation 1 MusicRecording) | Music.kif 175-175 | |
| (domain musicInterpretation 2 Music) | Music.kif 176-176 | |
| (instance musicInterpretation BinaryPredicate) | Music.kif 170-170 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage musicInterpretation "%1 是 %2 的 recording ") | domainEnglishFormat.kif 3943-3943 | |
| (format ChineseTraditionalLanguage musicInterpretation "%1 是 %2 的 recording ") | domainEnglishFormat.kif 3942-3942 | |
| (format EnglishLanguage musicInterpretation "%1 is a recording of %2") | domainEnglishFormat.kif 3941-3941 | |
| (termFormat EnglishLanguage musicInterpretation "music interpretation") | Music.kif 173-173 |
| 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 455-468 | |
| (=> (musicInterpretation ?MR ?MC) (exists (?P) (and (instance ?P MakingMusic) (realization ?P ?MC) (record ?MR ?P)))) |
Music.kif 178-184 |
| 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 424-434 | |
| (=> (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 455-468 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners