|
|
  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 | 例 聖皮埃爾和密克隆 and 依賴或特殊主權領域 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 402-402 | 例 聖皮埃爾和密克隆 and LandArea |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4083-4083 | 名 "Saint Pierre and Miquelon" and 聖皮埃爾和密克隆 |
| 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 聖皮埃爾和密克隆 |
|
|
|
