RomeItaly - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 779-779	Italy is a capital city of rome italy
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 780-781
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4267-4267
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4009-4009
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4264-4264
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4265-4265
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4269-4269
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4266-4266
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4263-4263
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4810-4810
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3444-3444	Rome italy is a geographic subregion of italy
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 778-778	Rome italy is an instance of european city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3445-3445	Rome italy has name "Rome"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50402-50402
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50401-50401
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50400-50400