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 15838-15839
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 15837-15837	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 45200-45200
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45199-45199
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45198-45198

antecedent

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

Mid-level-ontology.kif 15841-15848

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