Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Israel
Israel(israel)
Israel, Sion, State_of_Israel, Yisrael, Zion

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 3239-3239 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 542-542 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 2707-2707 "IL" in ISO-3166-1-alpha-2 denotes israel


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners