Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  SacramentoUnitedStates

 Sigma KEE - SacramentoUnitedStates
SacramentoUnitedStates(sacramento united states)Sacramento, capital_of_California

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


(instance SacramentoUnitedStates City) CountriesAndRegions.kif 2263-2263 Sacramento united states is an instance of city
(documentation SacramentoUnitedStates EnglishLanguage "The City of Sacramento in UnitedStates.") CountriesAndRegions.kif 2264-2264 Sacramento united states is an instance of city
(geographicSubregion SacramentoUnitedStates UnitedStates) CountriesAndRegions.kif 3459-3459 Sacramento united states is a geographic subregion of united states

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


(names "Sacramento" SacramentoUnitedStates) CountriesAndRegions.kif 3460-3460 Sacramento united states has name "Sacramento"
(termFormat EnglishLanguage SacramentoUnitedStates "sacramento united states") domainEnglishFormat.kif 50758-50758 Sacramento united states has name "Sacramento"
(termFormat ChineseTraditionalLanguage SacramentoUnitedStates "薩克拉門托美國") domainEnglishFormat.kif 50759-50759 Sacramento united states has name "Sacramento"
(termFormat ChineseLanguage SacramentoUnitedStates "萨克拉门托美国") domainEnglishFormat.kif 50760-50760 Sacramento united states has name "Sacramento"


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners