CologneGermany - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1627-1627
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3460-3460
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3313-3313
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3462-3462
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3458-3458
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3461-3461
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2736-2736	Cologne germany is a geographic subregion of germany
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1626-1626	Cologne germany is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2737-2737	Cologne germany has name "Cologne"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15636-15636
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15635-15635
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15634-15634