Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


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

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


(names "Sacramento" SacramentoUnitedStates) CountriesAndRegions.kif 3459-3459 Sacramento united states has name "Sacramento"
(termFormat ChineseLanguage SacramentoUnitedStates "萨克拉门托美国") domainEnglishFormat.kif 50763-50763
(termFormat ChineseTraditionalLanguage SacramentoUnitedStates "薩克拉門托美國") domainEnglishFormat.kif 50762-50762
(termFormat EnglishLanguage SacramentoUnitedStates "sacramento united states") domainEnglishFormat.kif 50761-50761


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