TreeView Knowledge Base Browser - HamburgGermany

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - HamburgGermany

HamburgGermany

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1771-1771
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3515-3515
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3331-3331
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3514-3514
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3511-3511
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3510-3510
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3513-3513
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3512-3512
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2899-2899	geographicSubregion HamburgGermany and Germany
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1770-1770	HamburgGermany e' uma instancia de Cidade

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2900-2900	HamburgGermany se chama nome "Hamburg"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27282-27282
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27281-27281
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27280-27280

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