| 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 | 例 科威特 and Nation |
| 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" and 科威特 |
| 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 科威特 |
|
|
|