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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Utah
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 UtahAmericanStateinstance では %n
(meetsSpatially Utah Arizona) CountriesAndRegions.kif 1120-1120 UtahArizonameets %n{ない}
(meetsSpatially Utah Nevada) CountriesAndRegions.kif 1119-1119 UtahNevadameets %n{ない}
(meetsSpatially Utah NewMexico) CountriesAndRegions.kif 1121-1121 UtahNewMexicomeets %n{ない}

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


(geographicSubregion GreatSaltLake Utah) Geography.kif 5098-5098 geographicSubregion GreatSaltLake and Utah
(meetsSpatially Colorado Utah) CountriesAndRegions.kif 909-909 ColoradoUtahmeets %n{ない}
(meetsSpatially Idaho Utah) CountriesAndRegions.kif 944-944 IdahoUtahmeets %n{ない}
(meetsSpatially Wyoming Utah) CountriesAndRegions.kif 1155-1155 WyomingUtahmeets %n{ない}
(termFormat ChineseLanguage Utah "犹他州") domainEnglishFormat.kif 61076-61076
(termFormat ChineseTraditionalLanguage Utah "猶他州") domainEnglishFormat.kif 61075-61075
(termFormat EnglishLanguage Utah "utah") domainEnglishFormat.kif 61074-61074


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