TokyoJapan - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2389-2389	capitalCity TokyoJapan and 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	geographicSubregion TokyoJapan and Japan
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2388-2388	TokyoJapan est une instance de ville

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3604-3604	TokyoJapan s'appele nom "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