No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2514-2514 |
Al balamand lebanon is a geographic subregion of lebanon |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2520-2520 |
Aley lebanon is a geographic subregion of lebanon |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2626-2626 |
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 3289-3289 |
Naqura lebanon is a geographic subregion of lebanon |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3523-3523 |
Sidon lebanon is a geographic subregion of lebanon |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3668-3668 |
West beirut lebanon is a geographic subregion of lebanon |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4004-4004 |
Lebanon has &ames$"name" "Lebanon" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33736-33736 |
Lebanon has &ames$"name" "Lebanon" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33735-33735 |
Lebanon has &ames$"name" "Lebanon" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33734-33734 |
Lebanon has &ames$"name" "Lebanon" |