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	日本是日本东京的 capital 城市
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	日本东京是日本的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2388-2388	日本东京是城市的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3604-3604	日本东京的名是 "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