Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| musicInterpretation |
| appearance as argument number 1 |
|
| (instance musicInterpretation BinaryPredicate) | Music.kif 172-172 | music interpretation is an instance of binary predicate |
| (documentation musicInterpretation EnglishLanguage "(musicInterpretation ?MR ?MC) means that MusicRecording ?MR is a realization of Music ?MC") | Music.kif 173-174 | music interpretation is an instance of binary predicate |
| (domain musicInterpretation 1 MusicRecording) | Music.kif 177-177 | The number 1 argument of music interpretation is an instance of music recording |
| (domain musicInterpretation 2 Music) | Music.kif 178-178 | The number 2 argument of music interpretation is an instance of music |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage musicInterpretation "music interpretation") | Music.kif 175-175 | |
| (format EnglishLanguage musicInterpretation "%1 is a recording of %2") | domainEnglishFormat.kif 3934-3934 | |
| (format ChineseTraditionalLanguage musicInterpretation "%1 是 %2 的 recording ") | domainEnglishFormat.kif 3935-3935 | |
| (format ChineseLanguage musicInterpretation "%1 是 %2 的 recording ") | domainEnglishFormat.kif 3936-3936 |
| antecedent |
|
|
| (=> (musicInterpretation ?MR ?MC) (exists (?P) (and (instance ?P MakingMusic) (realization ?P ?MC) (record ?MR ?P)))) |
Music.kif 180-186 | If X is a recording of Y, then there exists Z such that Z is an instance of making music, Z expresses the content of Y, and X is a record of Z |
| (=> (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 459-472 | If cover recording is an attribute of X, X is an instance of music recording, Y is the performer in X, X is a recording of Z, and X is a record of W, then All of the following hold: (1) there exist V, U (2) T such that V is a recording of Z (3) U is the performer in V (4) equal Y (5) U (6) V is a record of T (7) the time of existence of T happens before the time of existence of W |
| 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 428-438 | If mashup is an attribute of X and X is an instance of recording, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is a recording of W (3) Z is a recording of V (4) equal W (5) V (6) Y is a part of X (7) Z is a part of X |
| (=> (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 459-472 | If cover recording is an attribute of X, X is an instance of music recording, Y is the performer in X, X is a recording of Z, and X is a record of W, then All of the following hold: (1) there exist V, U (2) T such that V is a recording of Z (3) U is the performer in V (4) equal Y (5) U (6) V is a record of T (7) the time of existence of T happens before the time of existence of W |
|