Kuwait
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3257-3257 | 科威特第纳尔 是 科威特 的 currency 类别 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1274-1274 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 667-667 | 发展中国家 是 科威特 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 283-283 | 较未发达国家 是 科威特 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 543-543 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 254-254 | 科威特 是 中东地区 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 255-255 | 科威特 是 国家 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3093-3093 | 科威特市科威特 是 科威特 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4008-4008 | 科威特 的名 是 "Kuwait" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32911-32911 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32910-32910 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32909-32909 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2737-2737 | "KW" 在 ISO-3166-1-alpha-2 denotes 科威特 |