No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2512-2512 |
Al balamand 黎巴嫩 是 黎巴嫩 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2518-2518 |
阿莱黎巴嫩 是 黎巴嫩 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2622-2622 |
贝鲁特,黎巴嫩 是 黎巴嫩 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3087-3087 |
克莱雅特黎巴嫩 是 黎巴嫩 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3291-3291 |
纳库拉黎巴嫩 是 黎巴嫩 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3527-3527 |
西顿黎巴嫩 是 黎巴嫩 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3673-3673 |
西贝鲁特黎巴嫩 是 黎巴嫩 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4009-4009 |
黎巴嫩 的名 是 "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 |
|