antecedent

(=>     (and         (equal             (EditionFn ?TEXT ?INT1) ?EDITION1)         (equal             (EditionFn ?TEXT ?INT2) ?EDITION2)         (greaterThan ?INT2 ?INT1)         (instance ?PUB1 Publication)         (instance ?PUB2 Publication)         (instance ?CBO1 ?EDITION1)         (instance ?CBO2 ?EDITION2)         (patient ?PUB1 ?CBO1)         (patient ?PUB2 ?CBO2)         (date ?PUB1 ?DATE1)         (date ?PUB2 ?DATE2))     (before         (EndFn ?DATE1)         (EndFn ?DATE2)))	Merge.kif 15799-15816	If All of the following hold: (1) equal edition X of Y and Z (2) equal edition W of Y and V (3) W is greater than X (4) U is an instance of publication (5) T is an instance of publication (6) S is an instance of Z (7) R is an instance of V (8) S is a patient of U (9) R is a patient of T (10) date of U is Q (11) date of T is P, then the end of Q happens before the end of P
(=>     (equal         (EditionFn ?TEXT1 ?NUMBER) ?TEXT2)     (subsumesContentClass ?TEXT1 ?TEXT2))	Merge.kif 15818-15820	If equal edition X of Y and Z, then Y subsumes the content of Z

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