TreeView Knowledge Base Browser - Newspaper

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Newspaper

Newspaper

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14805-14807
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 624-624
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14804-14804	Newspaper e' uma sub-classe de Periodico

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40331-40331
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40330-40330
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40329-40329

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 1912-1916	Entidade publica Classe vale durante Posicao Temporal Classe e' uma sub-classe de Newspaper NewspaperPublishers e' um atributo de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14816-14825	Classe e' uma sub-classe de Newspaper Posicao Temporal e' uma instancia de Semana Processo Entidade Processo e' uma instancia de Publicacao tempo de existencia de Processo e' uma &parte de Posicao Temporal Entidade e' o resultado de Processo Entidade e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14809-14814	ContentBearingPhysical e' uma instancia de Newspaper ContentBearingPhysical ContentBearingPhysical e' uma instancia de Report ContentBearingPhysical subsume o conteudo de ContentBearingPhysical

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21093-21107	NewsReporter e' um atributo de Objeto Objeto tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Processo tempo de existencia de Objeto engloba tempo de existencia de Entidade Entidade e' uma instancia de Entidade Entidade e' uma sub-classe de Newspaper Entidade e' uma sub-classe de NewsProgram Objeto e' o autor de Entidade Entidade inclui uma referencia a Entidade
No TPTP formula. May not be expressible in strict first order.	naics.kif 7678-7686	NewsDealersAndNewsstands e' um atributo de Objeto Objeto tem por fim Entidade Entidade Entidade e' uma instancia de Newspaper Entidade e' uma instancia de Vender Entidade e' um patient de Entidade Entidade e' um agente de Objeto

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