|
|
  SaintPierreAndMiquelon
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3838-3838 | 圣皮埃尔和密克隆 是 法国 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3839-3839 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 708-708 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 412-412 | 圣皮埃尔和密克隆 是 北美洲北部 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3913-3913 | 圣皮埃尔和密克隆 是 依赖或特殊主权领域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 402-402 | 圣皮埃尔和密克隆 是 土地面积 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4083-4083 | 圣皮埃尔和密克隆 的名 是 "Saint Pierre and Miquelon" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50865-50865 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50864-50864 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50863-50863 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2877-2877 | "PM" 在 ISO-3166-1-alpha-2 denotes 圣皮埃尔和密克隆 |
|
|
|
