Book - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Book

Book(Livro)

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26441-26441
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 281-281
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2761-2761
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2648-2648
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2758-2758
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2760-2760
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 46-46
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2759-2759
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26440-26440	Livro e' uma sub-classe de Document
No TPTP formula. May not be expressible in strict first order.	Media.kif 1073-1073	Livro e' uma sub-classe de HardcopyDocument

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14705-14705	Artigo e' disjunto de Livro
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7891-7891	ChristianBible e' uma sub-classe de Livro
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26443-26443	GuideBook e' uma sub-classe de Livro
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7906-7906	NewTestament e' uma sub-classe de Livro
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14973-14973	Novel e' uma sub-classe de Livro
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7902-7902	OldTestament e' uma sub-classe de Livro
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14940-14940	ReferenceBook e' uma sub-classe de Livro
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1040-1040
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1291-1291
No TPTP formula. May not be expressible in strict first order.	french_format.kif 718-718
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 20-20
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 22-22
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2402-2402
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 670-670
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 23-23
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 288-288
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 739-739
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 23-23

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 1900-1904	Entidade publica Classe vale durante Posicao Temporal Classe e' uma sub-classe de Livro BookPublishers e' um atributo de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14709-14718	ContentBearingPhysical e' uma instancia de Artigo ContentBearingPhysical e' uma instancia de Livro ContentBearingPhysical subsume o conteudo de ContentBearingPhysical ContentBearingPhysical ContentBearingPhysical e' uma instancia de Artigo ContentBearingPhysical e' igual a ContentBearingPhysical ContentBearingPhysical subsume o conteudo de ContentBearingPhysical
No TPTP formula. May not be expressible in strict first order.	Media.kif 1075-1083	Objeto Corpuscular e' uma instancia de Livro Objeto Corpuscular Objeto Corpuscular Objeto Corpuscular e' um componente de Objeto Corpuscular Objeto Corpuscular e' um componente de Objeto Corpuscular Objeto Corpuscular e' uma instancia de PrintedSheet Objeto Corpuscular e' uma instancia de PrintedSheet Objeto Corpuscular e' igual a Objeto Corpuscular

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 7600-7618	Colecao e' uma instancia de Organizacao SportingGoodsHobbyBookAndMusicStores e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Objeto AutonomousAgent e' uma instancia de Vender Objeto e' uma instancia de Objeto Objeto e' capaz de fazer Esporte no role instrument Objeto e' capaz de fazer MakingMusic no role instrument Objeto e' uma instancia de Livro Objeto e' uma instancia de MusicRecording Objeto e' uma instancia de MusicText Objeto e' um patient de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14725-14730	ContentBearingPhysical e' uma instancia de Chapter ContentBearingPhysical ContentBearingPhysical e' uma instancia de Livro ContentBearingPhysical subsume o conteudo de ContentBearingPhysical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8507-8513	Fisico e' uma instancia de LibraryBuilding Fisico tem por fim Entidade Entidade e' uma instancia de Livro Fisico e' situado em Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14677-14685	ContentBearingPhysical e' uma instancia de Serie ContentBearingPhysical ContentBearingPhysical ContentBearingPhysical e' uma instancia de Livro ContentBearingPhysical e' uma instancia de Livro ContentBearingPhysical subsume o conteudo de ContentBearingPhysical ContentBearingPhysical subsume o conteudo de ContentBearingPhysical ContentBearingPhysical e' igual a ContentBearingPhysical

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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