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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Publisher
Publisher

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


(documentation Publisher EnglishLanguage "Any Business whose services include the Publication of Texts.") Mid-level-ontology.kif 7281-7282
(externalImage Publisher "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ AF-Book_Press.jpg") pictureList.kif 7685-7685
(subclass Publisher Manufacturer) Mid-level-ontology.kif 7280-7280

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


(subclass BookPublisher Publisher) Media.kif 1693-1693
(subclass PeriodicalPublisher Publisher) Mid-level-ontology.kif 15837-15837
(subclass RecordingCompany Publisher) Media.kif 1684-1684
(termFormat ChineseLanguage Publisher "出版者") domainEnglishFormat.kif 48022-48022
(termFormat ChineseTraditionalLanguage Publisher "出版者") domainEnglishFormat.kif 48021-48021
(termFormat EnglishLanguage Publisher "publisher") domainEnglishFormat.kif 48020-48020

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


(=>
    (instance ?C Publisher)
    (exists (?S)
        (and
            (instance ?S CommercialService)
            (agent ?S ?C)
            (instance ?S Publication))))
Mid-level-ontology.kif 7284-7290


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