Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Israel(israel)
|  | Israel, Sion, State_of_Israel, Yisrael, Zion |
| appearance as argument number 1 |
|
|
| (geographicSubregion Israel MiddleEastRegion) | CountriesAndRegions.kif 250-250 | Israel is a geographic subregion of middle east region |
| (instance Israel Nation) | CountriesAndRegions.kif 251-251 | Israel is an instance of nation |
| (documentation Israel EnglishLanguage "The Nation of Israel.") | CountriesAndRegions.kif 1265-1265 | Israel is an instance of nation |
| (economyType Israel DevelopedCountry) | Economy.kif 161-161 | Developed country is an economy type of israel |
| (economyType Israel AdvancedEconomy) | Economy.kif 547-547 | Advanced economy is an economy type of israel |
| (currencyType Israel IsraeliShekel) | Economy.kif 3561-3561 | Israeli shekel is a currency type of israel |
| (geographicSubregion Israel LevantRegion) | Geography.kif 311-311 | Israel is a geographic subregion of Levant Region |
| (externalImage Israel "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ I/ Israel.png") | pictureList.kif 523-523 | Israel is a geographic subregion of Levant Region |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (codeMapping ISO_3166_1_alpha_2 "IL" Israel) | Media.kif 2666-2666 | "IL" in ISO_3166_1_alpha_2 denotes israel |
|