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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Minnesota

appearance as argument number 1

(documentation Minnesota EnglishLanguage "A state in the northern midwest of the UnitedStates.") CountriesAndRegions.kif 1007-1007
(externalImage Minnesota " pictures/ 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 37932-37932
(termFormat ChineseTraditionalLanguage Minnesota "明尼蘇達") domainEnglishFormat.kif 37931-37931
(termFormat EnglishLanguage Minnesota "minnesota") domainEnglishFormat.kif 37930-37930

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