|
|
  Yemen
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3583-3583 | currencyType Yemen and YemeniRial |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1382-1382 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 730-730 | economyType Yemen and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 346-346 | economyType Yemen and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 846-846 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 270-270 | geographicSubregion Yemen and MiddleEastRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 271-271 | Yemen e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5170-5170 | Yemen encontra GulfOfAden |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2498-2498 | geographicSubregion AdenYemen and Yemen |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3089-3089 | geographicSubregion KohlanYemen and Yemen |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3208-3208 | geographicSubregion MawdiyahYemen and Yemen |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3258-3258 | geographicSubregion MukallahAdenYemen and Yemen |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3411-3411 | geographicSubregion RadaAmanYemen and Yemen |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3452-3452 | geographicSubregion SaadaYemen and Yemen |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3488-3488 | geographicSubregion SanaaYemen and Yemen |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3558-3558 | geographicSubregion SumayrYemen and Yemen |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3661-3661 | geographicSubregion WadiAlDabaatYemen and Yemen |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3694-3694 | geographicSubregion ZamarYemen and Yemen |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4016-4016 | Yemen se chama nome "Yemen" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63799-63799 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63798-63798 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63797-63797 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2840-2840 | codeMapping ISO-3166-1-alpha-2, "YE" and Yemen |
|
|
|
