Israel
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3229-3229 | Israeli shekel is a currency type of israel |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1265-1265 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 547-547 | Advanced economy is an economy type of israel |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 161-161 | Developed country is an economy type of israel |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 523-523 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 250-250 | Israel is a geographic subregion of middle east region |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 251-251 | Israel is an instance of nation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1837-1837 | Israel is a capital city of jerusalem israel |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3715-3715 | Israel is a claimed territory of gaza strip |
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 2502-2502 | Afula israel is a geographic subregion of israel |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2558-2558 | Ashdod israel is a geographic subregion of israel |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2560-2560 | Askelon israel is a geographic subregion of israel |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2576-2576 | Avnei hefetz israel is a geographic subregion of israel |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2580-2580 | Azor israel is a geographic subregion of israel |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2590-2590 | Baka al garbiyeh israel is a geographic subregion of israel |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2612-2612 | Basra israel is a geographic subregion of israel |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2614-2614 | Bat yam israel is a geographic subregion of israel |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2620-2620 | Be er sheva israel is a geographic subregion of israel |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2630-2630 | Beit she an israel is a geographic subregion of israel |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2632-2632 | Beit shemesh israel is a geographic subregion of israel |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2645-2645 | Bet lid junction israel is a geographic subregion of israel |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2647-2647 | Beth el israel is a geographic subregion of israel |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2657-2657 | Binyamina israel is a geographic subregion of israel |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2661-2661 | Bnei Ayish Israel is a geographic subregion of israel |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2705-2705 | Carmel israel is a geographic subregion of israel |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2813-2813 | East jerusalem israel is a geographic subregion of israel |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2817-2817 | Eilat israel is a geographic subregion of israel |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2849-2849 | French hill israel is a geographic subregion of israel |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2859-2859 | Gashuri israel is a geographic subregion of israel |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2872-2872 | Gilo israel is a geographic subregion of israel |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2895-2895 | Hadera israel is a geographic subregion of israel |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2719-2719 | "IL" in ISO-3166-1-alpha-2 denotes israel |