No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3760-3760 |
Cook islands is a dependent of new zealand |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3761-3761 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 365-365 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 664-664 |
Cook islands is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3872-3872 |
Cook islands is an instance of dependency or special sovereignty area |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 641-641 |
Cook islands is an instance of land area |