No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2498-2498 |
Aden yemen is a geographic subregion of yemen |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3089-3089 |
Kohlan yemen is a geographic subregion of yemen |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3208-3208 |
Mawdiyah yemen is a geographic subregion of yemen |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3258-3258 |
Mukallah aden yemen is a geographic subregion of yemen |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3411-3411 |
Rada aman yemen is a geographic subregion of yemen |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3452-3452 |
Saada yemen is a geographic subregion of yemen |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3488-3488 |
Sanaa yemen is a geographic subregion of yemen |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3558-3558 |
Sumayr yemen is a geographic subregion of yemen |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3661-3661 |
Wadi al dabaat yemen is a geographic subregion of yemen |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3694-3694 |
Zamar yemen is a geographic subregion of yemen |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4016-4016 |
Yemen has name "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 |
|