No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2957-2957 |
伊塔馬爾西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2997-2997 |
J主要西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2976-2976 |
詹寧西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2979-2979 |
JerusalemPalestine 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3011-3011 |
Kafr akab 西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3013-3013 |
Kafr idna 西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3015-3015 |
卡爾基利亞西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3029-3029 |
Karmei tzur 西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3031-3031 |
Karnei shomron 西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3041-3041 |
Kedumim定居西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3038-3038 |
Kedumim西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3051-3051 |
Kfar tzurif 西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3077-3077 |
Kiryat arba 西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3081-3081 |
Kiryat netafim 西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3158-3158 |
Ma aleh michmash 西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3194-3194 |
馬薩巴西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3204-3204 |
瑪莎西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3214-3214 |
Mechora西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3239-3239 |
Minharot路西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3245-3245 |
莫迪丁伊利特西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3256-3256 |
莫斯哈夫前往西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3274-3274 |
納林西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3276-3276 |
納布盧斯西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3301-3301 |
尼爾河西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3315-3315 |
Nitzanei oz 西岸 是 西方銀行 的 geographic 次要地區 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |