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 |