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	汉堡德国是德国的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1770-1770	汉堡德国是城市的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2900-2900	汉堡德国的名是 "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