antecedent

(=>     (and         (subclass ?PROGRAM NewsProgram)         (instance ?EPISODE             (SeriesVolumeFn ?PROGRAM ?NUMBER)))     (exists (?DISSEMINATE)         (and             (instance ?DISSEMINATE Disseminating)             (patient ?DISSEMINATE ?EPISODE))))	Mid-level-ontology.kif 16211-16218	If X is a subclass of newsprogram and Y is an instance of volume Z in the series X, then there exists W such that W is an instance of disseminating and Y is a patient of W
(=>     (and         (subclass ?TEXT Periodical)         (equal             (SeriesVolumeFn ?TEXT ?INT1) ?VOLUME1)         (equal             (SeriesVolumeFn ?TEXT ?INT2) ?VOLUME2)         (greaterThan ?INT2 ?INT1)         (instance ?PUB1 Publication)         (instance ?PUB2 Publication)         (instance ?CBO1 ?VOLUME1)         (instance ?CBO2 ?VOLUME2)         (patient ?PUB1 ?CBO1)         (patient ?PUB2 ?CBO2)         (date ?PUB1 ?DATE1)         (date ?PUB2 ?DATE2))     (before         (EndFn ?DATE1)         (EndFn ?DATE2)))	Mid-level-ontology.kif 16229-16243	If All of the following hold: (1) X is a subclass of periodical (2) equal volume Y in the series X and Z (3) equal volume W in the series X and V (4) W is greater than Y (5) U is an instance of publication (6) T is an instance of publication (7) S is an instance of Z (8) R is an instance of V (9) S is a patient of U (10) R is a patient of T (11) date of U is Q (12) date of T is P, then the end of Q happens before the end of P
(=>     (equal         (SeriesVolumeFn ?SERIES ?NUMBER) ?VOLUME)     (subsumesContentClass ?SERIES ?VOLUME))	Mid-level-ontology.kif 16245-16247	If equal volume X in the series Y and Z, then Y subsumes the content of Z

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