No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2980-2980 |
西方銀行 是 JerusalemPalestine 的 capital 城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2500-2500 |
阿多拉西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2516-2516 |
Alei zahav 西方銀行 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2524-2524 |
Alon 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2552-2552 |
阿里爾西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2659-2659 |
B kaot 西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2592-2592 |
Bakka al 沙爾基亞西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2624-2624 |
貝特埃爾西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2626-2626 |
拜特哈吉西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2628-2628 |
拜特薩胡爾西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2649-2649 |
伯利恆西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2651-2651 |
比亞西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2783-2783 |
Dir 納巴拉西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2815-2815 |
Efrat西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2819-2819 |
Einav西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2831-2831 |
埃爾azzariya西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2823-2823 |
El bireh 西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2835-2835 |
伊曼紐爾西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2857-2857 |
甘尼姆西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2874-2874 |
Givat ze ev 西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2890-2890 |
Gush etzion 西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2903-2903 |
哈姆拉西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2907-2907 |
哈布拉查西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2917-2917 |
希伯倫西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2927-2927 |
Hizma西岸 是 西方銀行 的 geographic 次要地區 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |