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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SacramentoUnitedStates
SacramentoUnitedStates

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 geographicSubregion SacramentoUnitedStates and UnitedStates
(instance SacramentoUnitedStates City) CountriesAndRegions.kif 2259-2259 SacramentoUnitedStates est une instance de ville

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


(names "Sacramento" SacramentoUnitedStates) CountriesAndRegions.kif 3459-3459 SacramentoUnitedStates s'appele nom "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 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