| JerusalemIsrael(jerusalem israel)
| | Jerusalem, capital_of_Israel |
| appearance as argument number 1 |
|
|
| (capitalCity JerusalemIsrael Israel) | CountriesAndRegions.kif 1837-1837 | Israel is a capital city of jerusalem israel |
| (documentation JerusalemIsrael EnglishLanguage "The capital and largest City in Israel. It is regarded as a holy city by Muslims, Jews, and Christians.") | CountriesAndRegions.kif 1838-1839 | Israel is a capital city of jerusalem israel |
| (externalImage JerusalemIsrael "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 0/ 05/ Jerusalem_from_mt_olives.jpg/ 245px-Jerusalem_from_mt_olives.jpg") | pictureList.kif 1380-1380 | Israel is a capital city of jerusalem israel |
| (geographicSubregion JerusalemIsrael Israel) | CountriesAndRegions.kif 2978-2978 | Jerusalem israel is a geographic subregion of israel |
| (instance JerusalemIsrael City) | CountriesAndRegions.kif 1836-1836 | Jerusalem israel is an instance of city |
| appearance as argument number 2 |
|
|
| (names "Jerusalem" JerusalemIsrael) | CountriesAndRegions.kif 2996-2996 | Jerusalem israel has name "Jerusalem" |
| (termFormat ChineseLanguage JerusalemIsrael "耶路撒冷以色列") | domainEnglishFormat.kif 31595-31595 | Jerusalem israel has name "Jerusalem" |
| (termFormat ChineseTraditionalLanguage JerusalemIsrael "耶路撒冷以色列") | domainEnglishFormat.kif 31594-31594 | Jerusalem israel has name "Jerusalem" |
| (termFormat EnglishLanguage JerusalemIsrael "jerusalem israel") | domainEnglishFormat.kif 31593-31593 | Jerusalem israel has name "Jerusalem" |
|
|
|