HamburgGermany - Sigma Knowledge base Browser

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	Hamburg germany is a geographic subregion of germany
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1770-1770	Hamburg germany is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2900-2900	Hamburg germany has name "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