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	geographicSubregion BolognaItaly and Italy
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1562-1562	BolognaItaly est une instance de ville

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2666-2666	BolognaItaly s'appele nom "Bologna"
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