(=> (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 14623-14637 |
|
(=> (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 14672-14672 | 周期的 は シリーズ の subclass では %n |
(subclass Newspaper Periodical) | Mid-level-ontology.kif 14776-14776 | Newspaper は 周期的 の subclass では %n |
(subclass Magazine Periodical) | Mid-level-ontology.kif 14799-14799 | Magazine は 周期的 の subclass では %n |
![]() |