| SaintPierreAndMiquelon(saint pierre and miquelon)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3838-3838 | Saint pierre and miquelon is a dependent of 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 | Saint pierre and miquelon is a geographic subregion of northern north america |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3913-3913 | Saint pierre and miquelon is an instance of dependency or special sovereignty area |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 402-402 | Saint pierre and miquelon is an instance of land area |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4083-4083 | Saint pierre and miquelon has name "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" in ISO-3166-1-alpha-2 denotes saint pierre and miquelon |
|
|
|