SevilleSpain - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2310-2310
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4291-4291
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4289-4289
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4290-4290
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4018-4018
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4287-4287
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4288-4288
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3511-3511	Seville spain is a geographic subregion of spain
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2309-2309	Seville spain is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3512-3512	Seville spain has name "Seville"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52353-52353
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52352-52352
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52351-52351