|
|
  Kuwait
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3257-3257 | currencyType Kuwait and KuwaitiDinar |
| 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 | economyType Kuwait and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 283-283 | economyType Kuwait and LessDevelopedCountry |
| 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 | geographicSubregion Kuwait and MiddleEastRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 255-255 | Kuwait e' uma instancia de Nacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3093-3093 | geographicSubregion KuwaitCityKuwait and Kuwait |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4008-4008 | Kuwait se chama nome "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 | codeMapping ISO-3166-1-alpha-2, "KW" and Kuwait |
|
|
|
