|
|
  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 e' uma instancia de Nacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4033-4033 | Ukraine se chama nome "Ukraine" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59798-59798 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59797-59797 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59796-59796 |
| 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 |
|
|
|
