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" and 黎巴嫩 |
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 |
|