No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3811-3811 |
dependentGeopoliticalArea Mayotte and France |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3812-3812 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 588-588 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 172-172 |
geographicSubregion Mayotte and SouthernAfrica |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3898-3898 |
Mayotte est une instance de DependencyOrSpecialSovereigntyArea |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 147-147 |
Mayotte est une instance de �le |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 148-148 |
Mayotte rencontre IndianOcean |