Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   TotalValuedRelation
|
|
|
| appearance as argument number 1 |
|
|
| (instance CoverRecording RecordingAttribute) | Music.kif 453-453 | Cover recording is an instance of recording attribute |
| (documentation CoverRecording EnglishLanguage "A CoverRecording refers to a MusicRecording whose Music was recorded and released by somebody else before the artist of the current recording.") | Music.kif 454-456 | Cover recording is an instance of recording attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CoverRecording "cover recording") | Music.kif 457-457 |
| 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 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 |
|