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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 16029-16030
(externalImage PeriodicalPublisher "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 9a/ Zeitschriften.JPG") pictureList.kif 8651-8651
(subclass PeriodicalPublisher Publisher) Mid-level-ontology.kif 16028-16028

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


(termFormat ChineseLanguage PeriodicalPublisher "期刊出版商") domainEnglishFormat.kif 45231-45231
(termFormat ChineseTraditionalLanguage PeriodicalPublisher "期刊出版商") domainEnglishFormat.kif 45230-45230
(termFormat EnglishLanguage PeriodicalPublisher "periodical publisher") domainEnglishFormat.kif 45229-45229

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