| 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 | 北马里亚纳群岛 是 依赖或特殊主权领域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 652-652 | 北马里亚纳群岛 是 土地面积 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4217-4217 | 北马里亚纳群岛 的名 是 "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" 在 ISO-3166-1-alpha-2 denotes 北马里亚纳群岛 |
|
|
|