more pictures...
| SevilleSpain(seville spain)
more pictures... | | Sevilla, Seville |
| appearance as argument number 1 |
|
|
| (documentation SevilleSpain EnglishLanguage "The City of Seville in Spain.") | CountriesAndRegions.kif 2310-2310 | |
| (externalImage SevilleSpain "http://upload.wikimedia.org/wikipedia/commons/ 0/ 01/ Sevilla_Plaza_de_Espana_fuente.JPG") | pictureList.kif 4291-4291 | |
| (externalImage SevilleSpain "http://upload.wikimedia.org/wikipedia/commons/ 2/ 21/ Sevilla_innenstadt.jpg") | pictureList.kif 4289-4289 | |
| (externalImage SevilleSpain "http://upload.wikimedia.org/wikipedia/commons/ 5/ 52/ Sevilla_reales_alc%C3%A1zare_garten.jpg") | pictureList.kif 4290-4290 | |
| (externalImage SevilleSpain "http://upload.wikimedia.org/wikipedia/commons/ 7/ 73/ Cathedral_and_Archivo_de_Indias_-_Seville.jpg") | pictureList.kif 4018-4018 | |
| (externalImage SevilleSpain "http://upload.wikimedia.org/wikipedia/commons/ 7/ 74/ EscudoSevilla3.jpg") | pictureList.kif 4287-4287 | |
| (externalImage SevilleSpain "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Calatrava_Puente_del_Alamillo_Seville.jpg") | pictureList.kif 4288-4288 | |
| (geographicSubregion SevilleSpain Spain) | CountriesAndRegions.kif 3511-3511 | Seville spain is a geographic subregion of spain |
| (instance SevilleSpain City) | CountriesAndRegions.kif 2309-2309 | Seville spain is an instance of city |
| appearance as argument number 2 |
|
|
| (names "Seville" SevilleSpain) | CountriesAndRegions.kif 3512-3512 | Seville spain has name "Seville" |
| (termFormat ChineseLanguage SevilleSpain "塞维利亚西班牙") | domainEnglishFormat.kif 52393-52393 | Seville spain has name "Seville" |
| (termFormat ChineseTraditionalLanguage SevilleSpain "塞維利亞西班牙") | domainEnglishFormat.kif 52392-52392 | Seville spain has name "Seville" |
| (termFormat EnglishLanguage SevilleSpain "seville spain") | domainEnglishFormat.kif 52391-52391 | Seville spain has name "Seville" |
|
|
|