| CzechRepublic(捷克共和国)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3097-3097 | 捷克克朗 是 捷克共和国 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1222-1222 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 581-581 | 转型国家 是 捷克共和国 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 381-381 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 277-277 | 捷克共和国 是 欧洲中部 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 278-278 | 捷克共和国 是 国家 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3399-3399 | 布拉格，捷克共和国 是 捷克共和国 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4019-4019 | 捷克共和国 的名 是 "Czech Republic" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18330-18330 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18329-18329 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18328-18328 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2684-2684 | "CZ" 在 ISO-3166-1-alpha-2 denotes 捷克共和国 |
|
|
|