No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3821-3821 |
New caledonia is a dependent of france |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3822-3822 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 618-618 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 683-683 |
New caledonia is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3903-3903 |
New caledonia is an instance of dependency or special sovereignty area |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 649-649 |
New caledonia is an instance of land area |