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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WestBank
WestBank(west bank)
more pictures...
West_Bank

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 3643-3643
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8796-8796
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9822-9822
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9823-9823
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3641-3641
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 9824-9824
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. 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 2560-2560 West bank is a geographic subregion of PalestinianTerritories
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 2569-2569 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


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