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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - OsakaJapan
OsakaJapan(osaka japan)Osaka

appearance as argument number 1

(documentation OsakaJapan EnglishLanguage "The City of Osaka in Japan.") CountriesAndRegions.kif 2166-2166
(geographicSubregion OsakaJapan Japan) CountriesAndRegions.kif 3354-3354 Osaka japan is a geographic subregion of japan
(instance OsakaJapan City) CountriesAndRegions.kif 2165-2165 Osaka japan is an instance of city

appearance as argument number 2

(names "Osaka" OsakaJapan) CountriesAndRegions.kif 3355-3355 Osaka japan has name "Osaka"
(termFormat ChineseLanguage OsakaJapan "大阪日本") domainEnglishFormat.kif 42648-42648
(termFormat ChineseTraditionalLanguage OsakaJapan "大阪日本") domainEnglishFormat.kif 42647-42647
(termFormat EnglishLanguage OsakaJapan "osaka japan") domainEnglishFormat.kif 42646-42646

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