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	Corsica france is a geographic subregion of france
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1638-1638	Corsica france is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2751-2751	Corsica france has name "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