|
|
  Poland
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3409-3409 | 波兰兹罗提 是 波兰 的 currency 类别 |
| 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 | 转型国家 是 波兰 的 economy 类别 |
| 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 | 波兰 是 欧洲中部 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 286-286 | 波兰 是 欧洲国家 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 802-802 | 波兰 是 华沙波兰 的 capital 城市 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3667-3667 | 华沙波兰 是 波兰 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4023-4023 | 波兰 的名 是 "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" 在 ISO-3166-1-alpha-2 denotes 波兰 |
|
|
|
