| MashupRecording | |
| appearance as argument number 1 |
|
|
| (documentation MashupRecording EnglishLanguage "A MashupRecording refers to a Recording that consists of two or more songs made into one song.") | Music.kif 422-423 | |
| (instance MashupRecording RecordingAttribute) | Music.kif 421-421 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MashupRecording "mashup") | Music.kif 424-424 |
| 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 426-436 |
|
|
|