No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2512-2512 |
Al balamand lebanon is a geographic subregion of lebanon |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2518-2518 |
Aley lebanon is a geographic subregion of lebanon |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2622-2622 |
Beirut lebanon is a geographic subregion of lebanon |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3087-3087 |
Klaiyat lebanon is a geographic subregion of lebanon |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3291-3291 |
Naqura lebanon is a geographic subregion of lebanon |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3527-3527 |
Sidon lebanon is a geographic subregion of lebanon |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3673-3673 |
West beirut lebanon is a geographic subregion of lebanon |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4009-4009 |
Lebanon has name "Lebanon" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33725-33725 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33724-33724 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33723-33723 |
|