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 7472-7473
(externalImage Publisher "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ AF-Book_Press.jpg") pictureList.kif 7684-7684
(subclass Publisher Manufacturer) Mid-level-ontology.kif 7471-7471

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


(subclass BookPublisher Publisher) Media.kif 1693-1693
(subclass PeriodicalPublisher Publisher) Mid-level-ontology.kif 16028-16028
(subclass RecordingCompany Publisher) Media.kif 1684-1684
(termFormat ChineseLanguage Publisher "出版者") domainEnglishFormat.kif 48053-48053
(termFormat ChineseTraditionalLanguage Publisher "出版者") domainEnglishFormat.kif 48052-48052
(termFormat EnglishLanguage Publisher "publisher") domainEnglishFormat.kif 48051-48051

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


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


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