| SanSebastianSpain(san sebastian spain)
| | San_Sebastian |
| appearance as argument number 1 |
|
|
| (documentation SanSebastianSpain EnglishLanguage "The City of SanSebastian in Spain.") | CountriesAndRegions.kif 2288-2288 | |
| (externalImage SanSebastianSpain "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 25/ San_Sebastian_Palacio_Miramar.JPG") | pictureList.kif 4284-4284 | |
| (externalImage SanSebastianSpain "http://upload.wikimedia.org/wikipedia/ commons/ e/ e1/ Donostia_puente_kursaal.JPG") | pictureList.kif 4283-4283 | |
| (externalImage SanSebastianSpain "http://upload.wikimedia.org/wikipedia/ commons/ e/ ec/ Donostia_Plaza_de_Guip%C3%BAzcoa.JPG") | pictureList.kif 4282-4282 | |
| (geographicSubregion SanSebastianSpain Spain) | CountriesAndRegions.kif 3486-3486 | San sebastian spain is a geographic subregion of spain |
| (instance SanSebastianSpain City) | CountriesAndRegions.kif 2287-2287 | San sebastian spain is an instance of city |
| appearance as argument number 2 |
|
|
| (names "San Sebastian" SanSebastianSpain) | CountriesAndRegions.kif 3487-3487 | San sebastian spain has name "San Sebastian" |
| (termFormat ChineseLanguage SanSebastianSpain "圣塞巴斯蒂安西班牙") | domainEnglishFormat.kif 51217-51217 | San sebastian spain has name "San Sebastian" |
| (termFormat ChineseTraditionalLanguage SanSebastianSpain "聖塞巴斯蒂安西班牙") | domainEnglishFormat.kif 51216-51216 | San sebastian spain has name "San Sebastian" |
| (termFormat EnglishLanguage SanSebastianSpain "san sebastian spain") | domainEnglishFormat.kif 51215-51215 | San sebastian spain has name "San Sebastian" |
|
|
|