WestBank
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3723-3723 | Israel is a claimed territory of west bank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3724-3724 | Palestinian liberation organization is a claimed territory of west bank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1388-1388 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 836-836 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3642-3642 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8795-8795 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9814-9814 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9815-9815 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3640-3640 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3639-3639 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9816-9816 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 268-268 | West bank is a geographic subregion of middle east region |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2572-2572 | West bank is a geographic subregion of Palestinian territories |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1387-1387 | West bank is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4237-4237 | West bank is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 238-238 | West bank is an instance of land area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 269-269 | West bank is an instance of nation |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2581-2581 | West bank meets israel |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2980-2980 | West bank is a capital city of Jerusalem Palestine |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2500-2500 | Adora west bank is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2516-2516 | Alei zahav west bank is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2524-2524 | Alon moreh west bank is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2552-2552 | Ariel west bank is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2659-2659 | B kaot west bank is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2592-2592 | Bakka al sharkiya west bank is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2624-2624 | Beit el west bank is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2626-2626 | Beit haggai west bank is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2628-2628 | Beit sahur west bank is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2649-2649 | Bethlehem west bank is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2651-2651 | Bidya west bank is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2783-2783 | Dir naballah west bank is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2815-2815 | Efrat west bank is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2819-2819 | Einav west bank is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2831-2831 | El azzariya west bank is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2823-2823 | El bireh west bank is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2835-2835 | Emmanuel west bank is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2857-2857 | Ganim west bank is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2874-2874 | Givat ze ev west bank is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2890-2890 | Gush etzion west bank is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2903-2903 | Hamra west bank is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2907-2907 | Har bracha west bank is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2917-2917 | Hebron west bank is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2927-2927 | Hizma west bank is a geographic subregion of west bank |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |