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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NuremburgGermany

Sigma KEE - NuremburgGermany
NuremburgGermany

appearance as argument number 1
-------------------------


(geographicSubregion NuremburgGermany Germany) CountriesAndRegions.kif 3333-3333 NuremburgGermany德国geographic 次要地区
(instance NuremburgGermany City) CountriesAndRegions.kif 3334-3334 NuremburgGermany城市instance

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


(names "Nuremburg" NuremburgGermany) CountriesAndRegions.kif 3332-3332 NuremburgGermany 的名 是 "Nuremburg"
(termFormat EnglishLanguage NuremburgGermany "Nuremburg germany") domainEnglishFormat.kif 65255-65255


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