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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Utah

appearance as argument number 1

(documentation Utah EnglishLanguage "A state in the western UnitedStates.") CountriesAndRegions.kif 1122-1122
(externalImage Utah " geography/ US_States/ utah.png") pictureList.kif 816-816
(instance Utah AmericanState) CountriesAndRegions.kif 1118-1118
(meetsSpatially Utah Arizona) CountriesAndRegions.kif 1120-1120
(meetsSpatially Utah Nevada) CountriesAndRegions.kif 1119-1119
(meetsSpatially Utah NewMexico) CountriesAndRegions.kif 1121-1121

appearance as argument number 2

(geographicSubregion GreatSaltLake Utah) Geography.kif 5007-5007
(meetsSpatially Colorado Utah) CountriesAndRegions.kif 909-909
(meetsSpatially Idaho Utah) CountriesAndRegions.kif 944-944
(meetsSpatially Wyoming Utah) CountriesAndRegions.kif 1155-1155
(termFormat ChineseLanguage Utah "犹他州") domainEnglishFormat.kif 61046-61046
(termFormat ChineseTraditionalLanguage Utah "猶他州") domainEnglishFormat.kif 61045-61045
(termFormat EnglishLanguage Utah "utah") domainEnglishFormat.kif 61044-61044

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