antecedent

(=>     (and         (equal ?S             (SongFn ?MC ?LC))         (realization ?S ?MUSIC))     (exists (?MM ?MV)         (and             (patient ?MM ?MC)             (patient ?MV ?LC)             (subProcess ?MM ?MUSIC)             (subProcess ?MV ?MUSIC))))

Music.kif 869-878

If equal X, the song comprising Y, and Z and X expresses the content of W, then there exist V, U such that Y is a patient of V, Z is a patient of U, V is a subprocess of W, and U is a subprocess of W

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