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 est une instance de nation |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5170-5170 | Yemen rencontre 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 s'appele nom "Yemen" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63801-63801 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63800-63800 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63799-63799 |
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 |