Publisher - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Publisher Manufacturer)	Mid-level-ontology.kif 8550-8550	Publisher is a subclass of manufacturer
(documentation Publisher EnglishLanguage "Any Business whose services include the Publication of Texts.")	Mid-level-ontology.kif 8551-8552	Publisher is a subclass of manufacturer
(externalImage Publisher "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ AF_Book_Press.jpg")	pictureList.kif 7684-7684	Publisher is a subclass of manufacturer

appearance as argument number 2

(subclass PeriodicalPublisher Publisher)	Mid-level-ontology.kif 17425-17425	Periodical publisher is a subclass of publisher
(subclass RecordingCompany Publisher)	Media.kif 1631-1631	Recording company is a subclass of publisher
(subclass BookPublisher Publisher)	Media.kif 1640-1640	Book publisher is a subclass of publisher
(termFormat EnglishLanguage Publisher "publisher")	domainEnglishFormat.kif 48013-48013	Book publisher is a subclass of publisher
(termFormat ChineseTraditionalLanguage Publisher "出版者")	domainEnglishFormat.kif 48014-48014	Book publisher is a subclass of publisher
(termFormat ChineseLanguage Publisher "出版者")	domainEnglishFormat.kif 48015-48015	Book publisher is a subclass of publisher

antecedent

(=>
    (instance ?C Publisher)
    (exists (?S)
        (and
            (instance ?S CommercialService)
            (agent ?S ?C)
            (instance ?S Publication))))

If X is an instance of publisher, then there exists Y such that Y is an instance of commercial service, X is an agent of Y, and Y is an instance of publication