| TokyoJapan(tokyo japan)
| | Edo, Japanese_capital, Tokio, Tokyo, Yeddo, Yedo, capital_of_Japan |
| appearance as argument number 1 |
|
|
| (capitalCity TokyoJapan Japan) | CountriesAndRegions.kif 2389-2389 | Japan is a capital city of tokyo japan |
| (documentation TokyoJapan EnglishLanguage "The capital and largest City in Japan.") | CountriesAndRegions.kif 2390-2390 | Japan is a capital city of tokyo japan |
| (externalImage TokyoJapan "http://upload.wikimedia.org/wikipedia/commons/ d/ d7/ LocationMapJapan.png") | pictureList.kif 1382-1382 | Japan is a capital city of tokyo japan |
| (geographicSubregion TokyoJapan Japan) | CountriesAndRegions.kif 3603-3603 | Tokyo japan is a geographic subregion of japan |
| (instance TokyoJapan City) | CountriesAndRegions.kif 2388-2388 | Tokyo japan is an instance of city |
| appearance as argument number 2 |
|
|
| (names "Tokyo" TokyoJapan) | CountriesAndRegions.kif 3604-3604 | Tokyo japan has name "Tokyo" |
| (termFormat ChineseLanguage TokyoJapan "日本东京") | domainEnglishFormat.kif 58401-58401 | Tokyo japan has name "Tokyo" |
| (termFormat ChineseTraditionalLanguage TokyoJapan "日本東京") | domainEnglishFormat.kif 58400-58400 | Tokyo japan has name "Tokyo" |
| (termFormat EnglishLanguage TokyoJapan "tokyo japan") | domainEnglishFormat.kif 58399-58399 | Tokyo japan has name "Tokyo" |
|
|
|