| TokyoJapan
| |
| appearance as argument number 1 |
|
|
| (capitalCity TokyoJapan Japan) | CountriesAndRegions.kif 2389-2389 | |
| (documentation TokyoJapan EnglishLanguage "The capital and largest City in Japan.") | CountriesAndRegions.kif 2390-2390 | |
| (externalImage TokyoJapan "http://upload.wikimedia.org/wikipedia/commons/ d/ d7/ LocationMapJapan.png") | pictureList.kif 1382-1382 | |
| (geographicSubregion TokyoJapan Japan) | CountriesAndRegions.kif 3603-3603 | |
| (instance TokyoJapan City) | CountriesAndRegions.kif 2388-2388 |
| appearance as argument number 2 |
|
|
| (names "Tokyo" TokyoJapan) | CountriesAndRegions.kif 3604-3604 | |
| (termFormat ChineseLanguage TokyoJapan "日本东京") | domainEnglishFormat.kif 58364-58364 | |
| (termFormat ChineseTraditionalLanguage TokyoJapan "日本東京") | domainEnglishFormat.kif 58363-58363 | |
| (termFormat EnglishLanguage TokyoJapan "tokyo japan") | domainEnglishFormat.kif 58362-58362 |
|
|
|