| 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 16063-16064 | |
| (externalImage Periodical "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Zeitschriften.JPG") | pictureList.kif 2721-2721 | |
| (externalImage Periodical "http://upload.wikimedia.org/wikipedia/en/0/0f/ Sci_am_mar_2005.jpg") | pictureList.kif 2901-2901 | |
| (subclass Periodical Series) | Mid-level-ontology.kif 16062-16062 |
| appearance as argument number 2 |
|
|
| (rangeSubclass PeriodicalIssueFn Periodical) | Mid-level-ontology.kif 16053-16053 | |
| (subclass Magazine Periodical) | Mid-level-ontology.kif 16191-16191 | |
| (subclass Newspaper Periodical) | Mid-level-ontology.kif 16168-16168 | |
| (termFormat ChineseLanguage Periodical "期刊") | chinese_format.kif 1043-1043 | |
| (termFormat EnglishLanguage Periodical "periodical") | english_format.kif 1297-1297 | |
| (termFormat FrenchLanguage Periodical "periodique") | french_format.kif 721-721 | |
| (termFormat Hindi Periodical "saavadhika") | terms-hindi.txt 252-252 | |
| (termFormat ItalianLanguage Periodical "Periodico") | terms-it.txt 255-255 | |
| (termFormat JapaneseLanguage Periodical "周期的") | japanese_format.kif 2405-2405 | |
| (termFormat PortugueseLanguage Periodical "Periodico") | portuguese_format.kif 673-673 | |
| (termFormat cb Periodical "peryodiko") | terms-cb.txt 257-257 | |
| (termFormat cz Periodical "periodical") | terms-cz.txt 291-291 | |
| (termFormat de Periodical "Zeitschrift") | terms-de.txt 550-550 | |
| (termFormat ro Periodical "publicaþie periodicã") | relations-ro.kif 742-742 | |
| (termFormat tg Periodical "pahayagan") | terms-tg.txt 256-256 |
| appearance as argument number 3 |
|
|
| (domainSubclass PeriodicalIssueFn 1 Periodical) | Mid-level-ontology.kif 16051-16051 |
| 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 16013-16027 |
| consequent |
|
|
| (=> (instance ?C PeriodicalPublisher) (exists (?PUBLISH ?PERIODICAL) (and (instance ?PUBLISH Publication) (agent ?PUBLISH ?C) (patient ?PUBLISH ?PERIODICAL) (instance ?PERIODICAL Periodical)))) |
Mid-level-ontology.kif 17221-17228 |
|
|
|