| NorthernMarianaIslands(北馬里亞納群島)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3827-3827 | 北馬里亞納群島 是 美國 的 dependent |
| 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 | 北馬里亞納群島 是 大洋洲 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3906-3906 | 例 北馬里亞納群島 and 依賴或特殊主權領域 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 652-652 | 例 北馬里亞納群島 and LandArea |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4217-4217 | 名 "Northern Mariana Islands" and 北馬里亞納群島 |
| 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" 在 ISO-3166-1-alpha-2 denotes 北馬里亞納群島 |
|
|
|