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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OsakaJapan

Sigma KEE - OsakaJapan
OsakaJapan

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 geographicSubregion OsakaJapan and Japan
(instance OsakaJapan City) CountriesAndRegions.kif 2165-2165 OsakaJapan都市instance では %n

appearance as argument number 2
-------------------------


(names "Osaka" OsakaJapan) CountriesAndRegions.kif 3355-3355 OsakaJapan は "Osaka" の name を 持って %n{ない}
(termFormat ChineseLanguage OsakaJapan "大阪日本") domainEnglishFormat.kif 42648-42648
(termFormat ChineseTraditionalLanguage OsakaJapan "大阪日本") domainEnglishFormat.kif 42647-42647
(termFormat EnglishLanguage OsakaJapan "osaka japan") domainEnglishFormat.kif 42646-42646


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

Show without tree


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