| ColumbusOhio
| |
| appearance as argument number 1 |
|
|
| (capitalCity ColumbusOhio Ohio) | CountriesAndRegions.kif 858-858 | |
| (documentation ColumbusOhio EnglishLanguage "The capital of Ohio, located in the middle of the state.") | CountriesAndRegions.kif 859-860 | |
| (externalImage ColumbusOhio "http://upload.wikimedia.org/wikipedia/commons/ f/ fc/ Columbus_ohio_skyline_panorama.jpg") | pictureList.kif 4620-4620 | |
| (instance ColumbusOhio AmericanCity) | CountriesAndRegions.kif 857-857 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ColumbusOhio "哥伦布俄亥俄州") | domainEnglishFormat.kif 15719-15719 | |
| (termFormat ChineseTraditionalLanguage ColumbusOhio "哥倫布俄亥俄州") | domainEnglishFormat.kif 15718-15718 | |
| (termFormat EnglishLanguage ColumbusOhio "columbus ohio") | domainEnglishFormat.kif 15717-15717 |
|
|
|