| Utah(utah)
| | Beehive_State, Mormon_State, UT, Utah |
| appearance as argument number 1 |
|
|
| (documentation Utah EnglishLanguage "A state in the western UnitedStates.") | CountriesAndRegions.kif 1122-1122 | |
| (externalImage Utah "http://articulatesoftware.com/SUMOpictures/geography/ US_States/ utah.png") | pictureList.kif 816-816 | |
| (instance Utah AmericanState) | CountriesAndRegions.kif 1118-1118 | Utah is an instance of american state |
| (meetsSpatially Utah Arizona) | CountriesAndRegions.kif 1120-1120 | Utah meets Arizona |
| (meetsSpatially Utah Nevada) | CountriesAndRegions.kif 1119-1119 | Utah meets Nevada |
| (meetsSpatially Utah NewMexico) | CountriesAndRegions.kif 1121-1121 | Utah meets new mexico |
| appearance as argument number 2 |
|
|
| (geographicSubregion GreatSaltLake Utah) | Geography.kif 5098-5098 | Great salt lake is a geographic subregion of utah |
| (meetsSpatially Colorado Utah) | CountriesAndRegions.kif 909-909 | Colorado meets utah |
| (meetsSpatially Idaho Utah) | CountriesAndRegions.kif 944-944 | Idaho meets utah |
| (meetsSpatially Wyoming Utah) | CountriesAndRegions.kif 1155-1155 | Wyoming meets utah |
| (termFormat ChineseLanguage Utah "犹他州") | domainEnglishFormat.kif 61124-61124 | Wyoming meets utah |
| (termFormat ChineseTraditionalLanguage Utah "猶他州") | domainEnglishFormat.kif 61123-61123 | Wyoming meets utah |
| (termFormat EnglishLanguage Utah "utah") | domainEnglishFormat.kif 61122-61122 | Wyoming meets utah |
|
|
|