| Periodical
| |
| appearance as argument number 1 |
|
|
| (documentation Periodical EnglishLanguage "A Series whose elements are published separately and on a periodic basis.") | Mid-level-ontology.kif 12470-12471 | |
| (externalImage Periodical "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Zeitschriften.JPG") | pictureList.kif 2723-2723 | |
| (externalImage Periodical "http://upload.wikimedia.org/wikipedia/en/0/0f/ Sci_am_mar_2005.jpg") | pictureList.kif 2903-2903 | |
| (subclass Periodical Series) | Mid-level-ontology.kif 12469-12469 |
| appearance as argument number 2 |
|
|
| (rangeSubclass PeriodicalIssueFn Periodical) | Mid-level-ontology.kif 12460-12460 | |
| (subclass Magazine Periodical) | Mid-level-ontology.kif 12596-12596 | |
| (subclass Newspaper Periodical) | Mid-level-ontology.kif 12573-12573 | |
| (termFormat ChineseLanguage Periodical "期刊") | chinese_format.kif 1043-1043 | |
| (termFormat EnglishLanguage Periodical "periodical") | english_format.kif 1302-1302 |
| appearance as argument number 3 |
|
|
| (domainSubclass PeriodicalIssueFn 1 Periodical) | Mid-level-ontology.kif 12458-12458 |
| antecedent |
|
|
| (=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Periodical)) (holdsDuring ?T1 (attribute ?AGENT PeriodicalPublishers))) |
Media.kif 1908-1912 | |
| (=> (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 12420-12434 |
| consequent |
|
|
| (=> (instance ?C PeriodicalPublisher) (exists (?PUBLISH ?PERIODICAL) (and (instance ?PUBLISH Publication) (agent ?PUBLISH ?C) (patient ?PUBLISH ?PERIODICAL) (instance ?PERIODICAL Periodical)))) |
Mid-level-ontology.kif 13522-13529 |
|
|
|