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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PeriodicalPublisher

Sigma KEE - PeriodicalPublisher
PeriodicalPublisher(期刊出版商)

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


(documentation PeriodicalPublisher EnglishLanguage "Any Publisher that publishes Periodicals, e.g. newspaper and magazine publishing houses.") Mid-level-ontology.kif 15811-15812
(externalImage PeriodicalPublisher "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 9a/ Zeitschriften.JPG") pictureList.kif 8652-8652
(subclass PeriodicalPublisher Publisher) Mid-level-ontology.kif 15810-15810 期刊出版商出版者subclass

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


(termFormat ChineseLanguage PeriodicalPublisher "期刊出版商") domainEnglishFormat.kif 45198-45198
(termFormat ChineseTraditionalLanguage PeriodicalPublisher "期刊出版商") domainEnglishFormat.kif 45197-45197
(termFormat EnglishLanguage PeriodicalPublisher "periodical publisher") domainEnglishFormat.kif 45196-45196

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


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


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

Show without tree


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