| Iran(iran)
| | Iran, Islamic_Republic_of_Iran, Persia |
| appearance as argument number 1 |
|
|
| (currencyType Iran IranianRial) | Economy.kif 3549-3549 | Iranian rial is a currency type of iran |
| (documentation Iran EnglishLanguage "The Nation of Iran.") | CountriesAndRegions.kif 1262-1262 | Iranian rial is a currency type of iran |
| (economyType Iran DevelopingCountry) | Economy.kif 661-661 | Developing country is an economy type of iran |
| (economyType Iran LessDevelopedCountry) | Economy.kif 277-277 | Less developed country is an economy type of iran |
| (externalImage Iran "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ I/ Iran.png") | pictureList.kif 518-518 | Less developed country is an economy type of iran |
| (geographicSubregion Iran MiddleEastRegion) | CountriesAndRegions.kif 246-246 | Iran is a geographic subregion of middle east region |
| (instance Iran Nation) | CountriesAndRegions.kif 247-247 | Iran is an instance of nation |
| (leaderPosition Iran President) | Government.kif 1407-1407 | President is a leader position of iran |
| (meetsSpatially Iran GulfOfOman) | Geography.kif 6728-6728 | Iran meets gulf of oman |
| (meetsSpatially Iran PersianGulf) | Geography.kif 6721-6721 | Iran meets persian gulf |
| appearance as argument number 2 |
|
|
| (geographicSubregion TeheranIran Iran) | CountriesAndRegions.kif 3577-3577 | Teheran iran is a geographic subregion of iran |
| (names "Iran" Iran) | CountriesAndRegions.kif 4004-4004 | Iran has &ames$"name" "Iran" |
| (termFormat ChineseLanguage Iran "伊朗") | domainEnglishFormat.kif 30965-30965 | Iran has &ames$"name" "Iran" |
| (termFormat ChineseTraditionalLanguage Iran "伊朗") | domainEnglishFormat.kif 30964-30964 | Iran has &ames$"name" "Iran" |
| (termFormat EnglishLanguage Iran "iran") | domainEnglishFormat.kif 30963-30963 | Iran has &ames$"name" "Iran" |
| appearance as argument number 3 |
|
|
| (codeMapping ISO_3166_1_alpha_2 "IR" Iran) | Media.kif 2725-2725 | "IR" in ISO_3166_1_alpha_2 denotes iran |
|
|
|