| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1837-1837 |
以色列 是 耶路撒冷以色列 的 capital 城市 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3715-3715 |
以色列 是 加沙地帶 的 claimed 領土 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3723-3723 |
以色列 是 西方銀行 的 claimed 領土 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2502-2502 |
阿富拉以色列 是 以色列 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2558-2558 |
阿什多德以色列 是 以色列 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2560-2560 |
阿什克倫以色列 是 以色列 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2576-2576 |
Avnei hefetz 以色列 是 以色列 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2580-2580 |
以色列阿佐爾 是 以色列 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2590-2590 |
Baka al garbiyeh 以色列 是 以色列 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2612-2612 |
巴士拉以色列 是 以色列 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2614-2614 |
Bat yam 以色列 是 以色列 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2620-2620 |
Be er sheva 以色列 是 以色列 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2630-2630 |
Beit she an 以色列 是 以色列 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2632-2632 |
Beit shemesh 以色列 是 以色列 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2645-2645 |
Bet lid 以色列交界處 是 以色列 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2647-2647 |
Beth el 以色列 是 以色列 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2657-2657 |
Binyamina以色列 是 以色列 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2661-2661 |
Bnei Ayish 以色列 是 以色列 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2705-2705 |
卡梅爾以色列 是 以色列 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2813-2813 |
東耶路撒冷以色列 是 以色列 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2817-2817 |
埃拉特以色列 是 以色列 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2849-2849 |
法國山以色列 是 以色列 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2859-2859 |
Gashuri以色列 是 以色列 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2872-2872 |
吉洛以色列 是 以色列 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2895-2895 |
哈德拉以色列 是 以色列 的 geographic 次要地區 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
Israel