TreeView Knowledge Base Browser - PeriodicalPublisher

appearance as argument number 1

(subclass PeriodicalPublisher Publisher)	Mid-level-ontology.kif 17425-17425	Periodical publisher is a subclass of publisher
(documentation PeriodicalPublisher EnglishLanguage "Any Publisher that publishes Periodicals, e.g. newspaper and magazine publishing houses.")	Mid-level-ontology.kif 17426-17427	Periodical publisher is a subclass of publisher
(externalImage PeriodicalPublisher "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 9a/ Zeitschriften.JPG")	pictureList.kif 8651-8651	Periodical publisher is a subclass of publisher

appearance as argument number 2

(termFormat EnglishLanguage PeriodicalPublisher "periodical publisher")	domainEnglishFormat.kif 45191-45191
(termFormat ChineseTraditionalLanguage PeriodicalPublisher "期刊出版商")	domainEnglishFormat.kif 45192-45192
(termFormat ChineseLanguage PeriodicalPublisher "期刊出版商")	domainEnglishFormat.kif 45193-45193

antecedent

(=>
    (instance ?C PeriodicalPublisher)
    (exists (?PUBLISH ?PERIODICAL)
        (and
            (instance ?PUBLISH Publication)
            (agent ?PUBLISH ?C)
            (patient ?PUBLISH ?PERIODICAL)
            (instance ?PERIODICAL Periodical))))

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