SanSebastianSpain - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2288-2288
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4284-4284
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4283-4283
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4282-4282
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3486-3486	geographicSubregion SanSebastianSpain and Spain
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2287-2287	SanSebastianSpain e' uma instancia de Cidade

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3487-3487	SanSebastianSpain se chama nome "San Sebastian"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51177-51177
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51176-51176
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51175-51175