|
|
  Poland
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3409-3409 | currencyType Poland and PolishZloty |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1324-1324 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 592-592 | economyType Poland and CountryInTransition |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 674-674 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 285-285 | geographicSubregion Poland and CentralEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 286-286 | Poland est une instance de EuropeanNation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 802-802 | capitalCity WarsawPoland and Poland |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3667-3667 | geographicSubregion WarsawPoland and Poland |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4023-4023 | Poland s'appele nom "Poland" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46374-46374 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46373-46373 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46372-46372 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2793-2793 | codeMapping ISO-3166-1-alpha-2, "PL" and Poland |
|
|
|
