|
|
  Ukraine
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3555-3555 | currencyType Ukraine and UkranianHryvnia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1374-1374 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 599-599 | economyType Ukraine and CountryInTransition |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 810-810 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 306-306 | geographicSubregion Ukraine and EasternEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 307-307 | Ukraine est une instance de nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4033-4033 | Ukraine s'appele nom "Ukraine" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59800-59800 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59799-59799 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59798-59798 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2833-2833 | codeMapping ISO-3166-1-alpha-2, "UA" and Ukraine |
|
|
|
