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

appearance as argument number 2

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