No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3834-3834 |
dependentGeopoliticalArea Reunion and France |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3835-3835 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 693-693 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 177-177 |
geographicSubregion Reunion and SouthernAfrica |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3911-3911 |
Reunion est une instance de DependencyOrSpecialSovereigntyArea |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 178-178 |
Reunion est une instance de nation |