ZaragozaSpain - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2477-2477
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4471-4471
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4474-4474
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4473-4473
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4068-4068
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4472-4472
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3698-3698	geographicSubregion ZaragozaSpain and Spain
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2476-2476	ZaragozaSpain e' uma instancia de Cidade

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3699-3699	ZaragozaSpain se chama nome "Zaragoza"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64101-64101
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64100-64100
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64099-64099