| LimaPeru(lima peru)
| | Lima, capital_of_Peru |
| appearance as argument number 1 |
|
|
| (documentation LimaPeru EnglishLanguage "The City of Lima in Peru.") | CountriesAndRegions.kif 1961-1961 | |
| (externalImage LimaPeru "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ b4/ Location_of_Lima_in_Peru_variant_1.svg/ 180px-Location_of_Lima_in_Peru_variant_1.svg.png") | pictureList.kif 1402-1402 | |
| (geographicSubregion LimaPeru Peru) | CountriesAndRegions.kif 3124-3124 | Lima peru is a geographic subregion of peru |
| (instance LimaPeru City) | CountriesAndRegions.kif 1960-1960 | Lima peru is an instance of city |
| appearance as argument number 2 |
|
|
| (names "Lima" LimaPeru) | CountriesAndRegions.kif 3125-3125 | Lima peru has name "Lima" |
| (termFormat ChineseLanguage LimaPeru "利马秘鲁") | domainEnglishFormat.kif 34415-34415 | |
| (termFormat ChineseTraditionalLanguage LimaPeru "利馬秘魯") | domainEnglishFormat.kif 34414-34414 | |
| (termFormat EnglishLanguage LimaPeru "lima peru") | domainEnglishFormat.kif 34413-34413 |
|
|
|