TreeView Knowledge Base Browser - Document

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Document

Document

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26388-26397
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26387-26387	Document e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26386-26386	Document e' uma sub-classe de Objeto Representendo Conteudo Abstrato

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26407-26407	Livro e' uma sub-classe de Document
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2589-2589	BusinessRequirementDocument e' uma sub-classe de Document
No TPTP formula. May not be expressible in strict first order.	Media.kif 952-952	Correspondence e' uma sub-classe de Document
No TPTP formula. May not be expressible in strict first order.	Media.kif 1033-1033	HardcopyDocument e' uma sub-classe de Document
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2747-2747	TestProtocolSpecification e' uma sub-classe de Document
No TPTP formula. May not be expressible in strict first order.	Media.kif 930-930	TextDocument e' uma sub-classe de Document
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64777-64777

antecedent

No TPTP formula. May not be expressible in strict first order.	Biography.kif 730-740	Writer e' um atributo de AutonomousAgent Entidade e' uma instancia de Objeto Representendo Conteudo Abstrato Objeto Representendo Conteudo Abstrato e' uma sub-classe de Texto Objeto Representendo Conteudo Abstrato e' uma sub-classe de Document Processo e' uma instancia de Escrever Processo e' um agente de AutonomousAgent Entidade e' o resultado de Processo AutonomousAgent e' o autor de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	Biography.kif 742-751	AutonomousAgent e' uma instancia de Humano Processo e' uma instancia de Escrever Entidade e' uma instancia de Texto Entidade e' uma instancia de Document Entidade e' o resultado de Processo Processo e' um agente de AutonomousAgent Writer e' um atributo de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Media.kif 938-943	Objeto e' uma instancia de Texto Objeto e' uma instancia de Document Objeto e' uma &parte de Objeto Objeto e' uma instancia de TextDocument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26399-26405	Fisico e' uma instancia de Document Fisico tem por fim Entidade Entidade e' uma instancia de Communicacao Fisico e' um instrumento para Entidade

consequent

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

Biography.kif 717-726

Writer e' um atributo de AutonomousAgent
Entidade Processo Processo e' uma instancia de Escrever Entidade e' uma instancia de Texto Entidade e' uma instancia de Document Processo e' um agente de AutonomousAgent Entidade e' o resultado de Processo

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