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 4996-4996
(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 61043-61043
(termFormat ChineseTraditionalLanguage Utah "猶他州") domainEnglishFormat.kif 61042-61042
(termFormat EnglishLanguage Utah "utah") domainEnglishFormat.kif 61041-61041

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