Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PeriodicalPublisher
PeriodicalPublisher(periodical publisher)
magazine, magazine_publisher, newspaper, newspaper_publisher, paper

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage PeriodicalPublisher "期刊出版商") domainEnglishFormat.kif 45236-45236
(termFormat ChineseTraditionalLanguage PeriodicalPublisher "期刊出版商") domainEnglishFormat.kif 45235-45235
(termFormat EnglishLanguage PeriodicalPublisher "periodical publisher") domainEnglishFormat.kif 45234-45234

antecedent
-------------------------


(=>
    (instance ?C PeriodicalPublisher)
    (exists (?PUBLISH ?PERIODICAL)
        (and
            (instance ?PUBLISH Publication)
            (agent ?PUBLISH ?C)
            (patient ?PUBLISH ?PERIODICAL)
            (instance ?PERIODICAL Periodical))))
Mid-level-ontology.kif 16032-16039


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners