NorthernMarianaIslands(northern mariana islands) | Northern_Mariana_Islands, Northern_Marianas |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3827-3827 | Northern mariana islands is a dependent of united states |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3828-3828 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 634-634 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 688-688 | Northern mariana islands is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3906-3906 | Northern mariana islands is an instance of dependency or special sovereignty area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 652-652 | Northern mariana islands is an instance of land area |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4217-4217 | Northern mariana islands has name "Northern Mariana Islands" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41117-41117 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41116-41116 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41115-41115 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2871-2871 | "MP" in ISO-3166-1-alpha-2 denotes northern mariana islands |