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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 " 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

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