|
|
  Kuwait
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3257-3257 | Kuwaiti dinar is a currency type of kuwait |
| 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 | Developing country is an economy type of kuwait |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 283-283 | Less developed country is an economy type of kuwait |
| 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 | Kuwait is a geographic subregion of middle east region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 255-255 | Kuwait is an instance of nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3093-3093 | Kuwait city kuwait is a geographic subregion of kuwait |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4008-4008 | Kuwait has name "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" in ISO-3166-1-alpha-2 denotes kuwait |
|
|
|
