TreeView Knowledge Base Browser - PamplonaSpain

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PamplonaSpain

PamplonaSpain

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2182-2182
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5412-5412
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5411-5411
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5154-5154
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3373-3373	geographicSubregion PamplonaSpain and Spain
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2181-2181	PamplonaSpain est une instance de ville

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3374-3374	PamplonaSpain s'appele nom "Pamplona"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44196-44196
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44195-44195
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44194-44194

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