|
|
  Poland
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3409-3409 | Polish zloty is a currency type of poland |
| 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 | Country in transition is an economy type of poland |
| 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 | Poland is a geographic subregion of central europe |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 286-286 | Poland is an instance of european nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 802-802 | Poland is a capital city of warsaw poland |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3667-3667 | Warsaw poland is a geographic subregion of poland |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4023-4023 | Poland has name "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 | "PL" in ISO-3166-1-alpha-2 denotes poland |
|
|
|
