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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BookPublishers
BookPublishers

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


(documentation BookPublishers EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Book Publishers or Books: Publishing, or Publishing and Printing (except music books).") naics.kif 8866-8869
(subAttribute BookPublishers NewspaperPeriodicalBookAndDatabasePublishers) naics.kif 8864-8864

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


(termFormat ChineseLanguage BookPublishers "图书出版商") domainEnglishFormat.kif 11615-11615
(termFormat ChineseTraditionalLanguage BookPublishers "圖書出版商") domainEnglishFormat.kif 11614-11614
(termFormat EnglishLanguage BookPublishers "book publishers") domainEnglishFormat.kif 11613-11613

consequent
-------------------------


(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Book))
    (holdsDuring ?T1
        (attribute ?AGENT BookPublishers)))
Media.kif 1900-1904


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