Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  MashupRecording
|
|
|
| appearance as argument number 1 |
|
|
| (instance MashupRecording RecordingAttribute) | Music.kif 423-423 | Mashup is an instance of recording attribute |
| (documentation MashupRecording EnglishLanguage "A MashupRecording refers to a Recording that consists of two or more songs made into one song.") | Music.kif 424-425 | Mashup is an instance of recording attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MashupRecording "mashup") | Music.kif 426-426 |
| antecedent |
|
|
| (=> (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 |
|