CorsicaFrance - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1639-1639
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4117-4117
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4118-4118
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4115-4115
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4116-4116
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3975-3975
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4114-4114
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2750-2750	geographicSubregion CorsicaFrance and France
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1638-1638	CorsicaFrance e' uma instancia de Cidade

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2751-2751	CorsicaFrance se chama nome "Corsica"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17406-17406
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17405-17405
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17404-17404