Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - TokyoJapan
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
(externalImage TokyoJapan " d/ d7/ LocationMapJapan.png") pictureList.kif 1382-1382
(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 58364-58364
(termFormat ChineseTraditionalLanguage TokyoJapan "日本東京") domainEnglishFormat.kif 58363-58363
(termFormat EnglishLanguage TokyoJapan "tokyo japan") domainEnglishFormat.kif 58362-58362

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners