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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Minnesota

Sigma KEE - Minnesota
Minnesota

appearance as argument number 1
-------------------------


(documentation Minnesota EnglishLanguage "A state in the northern midwest of the UnitedStates.") CountriesAndRegions.kif 1007-1007
(externalImage Minnesota "http://articulatesoftware.com/SUMOpictures/geography/ US_States/ minnesota.png") pictureList.kif 596-596
(instance Minnesota AmericanState) CountriesAndRegions.kif 1002-1002
(meetsSpatially Minnesota Canada) CountriesAndRegions.kif 1003-1003
(meetsSpatially Minnesota Iowa) CountriesAndRegions.kif 1006-1006
(meetsSpatially Minnesota NorthDakota) CountriesAndRegions.kif 1004-1004
(meetsSpatially Minnesota SouthDakota) CountriesAndRegions.kif 1005-1005

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


(capitalCity SaintPaulMinnesota Minnesota) CountriesAndRegions.kif 786-786
(meetsSpatially Wisconsin Minnesota) CountriesAndRegions.kif 1151-1151
(part MinneapolisMinnesota Minnesota) CountriesAndRegions.kif 737-737
(termFormat ChineseLanguage Minnesota "明尼苏达") domainEnglishFormat.kif 37943-37943
(termFormat ChineseTraditionalLanguage Minnesota "明尼蘇達") domainEnglishFormat.kif 37942-37942
(termFormat EnglishLanguage Minnesota "minnesota") domainEnglishFormat.kif 37941-37941


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