| 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 41115-41115 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41114-41114 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41113-41113 |
| 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 |
|
|
|