BolognaItaly - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1563-1563
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4101-4101
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4098-4098
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4096-4096
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4556-4556
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2665-2665	博洛尼亞意大利是意大利的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1562-1562	例博洛尼亞意大利 and City

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2666-2666	名 "Bologna" and 博洛尼亞意大利
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11555-11555
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11554-11554
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11553-11553