|
|
  CzechRepublic
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3097-3097 | currencyType CzechRepublic and CzechKoruna |
| 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 | economyType CzechRepublic and CountryInTransition |
| 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 | geographicSubregion CzechRepublic and CentralEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 278-278 | CzechRepublic e' uma instancia de Nacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3399-3399 | geographicSubregion PragueCzechRepublic and CzechRepublic |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4019-4019 | CzechRepublic se chama nome "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 | codeMapping ISO-3166-1-alpha-2, "CZ" and CzechRepublic |
|
|
|
