| ColumbusOhio(columbus ohio)
| | Columbus, capital_of_Ohio |
| appearance as argument number 1 |
|
|
| (capitalCity ColumbusOhio Ohio) | CountriesAndRegions.kif 858-858 | Ohio is a capital city of columbus ohio |
| (documentation ColumbusOhio EnglishLanguage "The capital of Ohio, located in the middle of the state.") | CountriesAndRegions.kif 859-860 | Ohio is a capital city of columbus ohio |
| (externalImage ColumbusOhio "http://upload.wikimedia.org/wikipedia/commons/ f/ fc/ Columbus-ohio-skyline-panorama.jpg") | pictureList.kif 4621-4621 | Ohio is a capital city of columbus ohio |
| (instance ColumbusOhio AmericanCity) | CountriesAndRegions.kif 857-857 | Columbus ohio is an instance of american city |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ColumbusOhio "哥伦布俄亥俄州") | domainEnglishFormat.kif 15724-15724 | |
| (termFormat ChineseTraditionalLanguage ColumbusOhio "哥倫布俄亥俄州") | domainEnglishFormat.kif 15723-15723 | |
| (termFormat EnglishLanguage ColumbusOhio "columbus ohio") | domainEnglishFormat.kif 15722-15722 |
|
|
|