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 50867-50867 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50866-50866 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50865-50865 |
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 |