| TokyoJapan(tokyo japan)
| | Edo, Japanese_capital, Tokio, Tokyo, Yeddo, Yedo, capital_of_Japan |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2389-2389 | Japan is a capital city of tokyo japan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2390-2390 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1382-1382 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3603-3603 | Tokyo japan is a geographic subregion of japan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2388-2388 | Tokyo japan is an instance of city |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3604-3604 | Tokyo japan has name "Tokyo" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58364-58364 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58363-58363 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58362-58362 |
|
|
|