LIleRousseFrance - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1935-1935
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3982-3982
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4145-4145
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4143-4143
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4144-4144
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3122-3122	geographicSubregion LIleRousseFrance and France
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1934-1934	LIleRousseFrance e' uma instancia de Cidade

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3123-3123	LIleRousseFrance se chama nome "L'Ile-Rousse"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34409-34409
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34408-34408
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34407-34407