|
|
  SaintPierreAndMiquelon
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3838-3838 | dependentGeopoliticalArea SaintPierreAndMiquelon and France |
| 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 | geographicSubregion SaintPierreAndMiquelon and NorthernNorthAmerica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3913-3913 | SaintPierreAndMiquelon est une instance de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 402-402 | SaintPierreAndMiquelon est une instance de zone de terre |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4083-4083 | SaintPierreAndMiquelon s'appele nom "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 | codeMapping ISO-3166-1-alpha-2, "PM" and SaintPierreAndMiquelon |
|
|
|
