| Periodical(periodical) | | almanac, annals, bimonthly, biweekly, comic_book, daily, digest, dope_sheet, ephemeris, farmer's_calendar, gazette, glossy, house_organ, journal, literary_review, monthly, news_magazine, organ, periodical, pictorial, pulp, pulp_magazine, quarterly, rag, review, scratch_sheet, semimonthly, semiweekly, serial, serial_publication, series, sheet, slick, slick_magazine, tabloid, weekly |
| appearance as argument number 1 |
|
|
| (subclass Periodical Series) | Mid-level-ontology.kif 16232-16232 | Periodical is a subclass of series |
| (documentation Periodical EnglishLanguage "A Series whose elements are published separately and on a periodic basis.") | Mid-level-ontology.kif 16233-16234 | Periodical is a subclass of series |
| appearance as argument number 2 |
|
|
| (rangeSubclass PeriodicalIssueFn Periodical) | Mid-level-ontology.kif 16223-16223 | The values returned by periodical issue are subclasses of periodical |
| (subclass Newspaper Periodical) | Mid-level-ontology.kif 16338-16338 | Newspaper is a subclass of periodical |
| (subclass Magazine Periodical) | Mid-level-ontology.kif 16361-16361 | Magazine is a subclass of periodical |
| (termFormat EnglishLanguage Periodical "periodical") | english_format.kif 1301-1301 | Magazine is a subclass of periodical |
| appearance as argument number 3 |
|
|
| (domainSubclass PeriodicalIssueFn 1 Periodical) | Mid-level-ontology.kif 16221-16221 | The number 1 argument of periodical issue is a subclass of periodical |
| antecedent |
|
|
| (=> (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 16183-16197 | 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 |
| consequent |
|
|
| (=> (instance ?C PeriodicalPublisher) (exists (?PUBLISH ?PERIODICAL) (and (instance ?PUBLISH Publication) (agent ?PUBLISH ?C) (patient ?PUBLISH ?PERIODICAL) (instance ?PERIODICAL Periodical)))) |
Mid-level-ontology.kif 17383-17390 | If X is an instance of periodical publisher, then there exist Y, Z such that Y is an instance of publication, X is an agent of Y, Z is a patient of Y, and Z is an instance of periodical |
|
|
|