TreeView Knowledge Base Browser - PeriodicalPublisher

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

PeriodicalPublisher

Sigma KEE - PeriodicalPublisher

PeriodicalPublisher(periodical publisher)

magazine, magazine_publisher, newspaper, newspaper_publisher, paper

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15811-15812
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8652-8652
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15810-15810	Periodical publisher is a subclass of publisher

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45198-45198
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45197-45197
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45196-45196

antecedent

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

Mid-level-ontology.kif 15814-15821

If an agent is an instance of periodical publisher,
then there exist a process and an entity such that the process is an instance of publication and the agent is an agent of the process and the entity is a patient of the process and the entity is an instance of periodical

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