TreeView Knowledge Base Browser - Publisher

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Publisher

Publisher(publisher)

publisher, publishing_company, publishing_firm, publishing_house

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7254-7255
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7685-7685
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7253-7253	Publisher is a subclass of manufacturer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Media.kif 1693-1693	Book publisher is a subclass of publisher
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15810-15810	Periodical publisher is a subclass of publisher
No TPTP formula. May not be expressible in strict first order.	Media.kif 1684-1684	Recording company is a subclass of publisher
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48020-48020
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48019-48019
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48018-48018

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 7257-7263

If an agent is an instance of publisher,
then there exists a process such that the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of publication

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