(=> (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 14624-14638 |
|
(=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Periodical)) (holdsDuring ?T1 (attribute ?AGENT PeriodicalPublishers))) |
Media.kif 1906-1910 |
|
(subclass Periodical Series) | Mid-level-ontology.kif 14673-14673 | Periodical ist eine teilkategorie von Series |
(subclass Newspaper Periodical) | Mid-level-ontology.kif 14777-14777 | Newspaper ist eine teilkategorie von Periodical |
(subclass Magazine Periodical) | Mid-level-ontology.kif 14800-14800 | Magazine ist eine teilkategorie von Periodical |