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

Show simplified definition (without tree view)
Show simplified definition (with tree view)