ZumaiaSpain - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2485-2485
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5201-5201
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5591-5591
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5592-5592
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3709-3709	Zumaia spain is a geographic subregion of spain
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2484-2484	Zumaia spain is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3710-3710	Zumaia spain has name "Zumaia"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64267-64267
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64266-64266
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64265-64265