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 instance Minnesota and AmericanState
(meetsSpatially Minnesota Canada) CountriesAndRegions.kif 1003-1003 meetsSpatially Minnesota and Canada
(meetsSpatially Minnesota Iowa) CountriesAndRegions.kif 1006-1006 meetsSpatially Minnesota and Iowa
(meetsSpatially Minnesota NorthDakota) CountriesAndRegions.kif 1004-1004 meetsSpatially Minnesota and NorthDakota
(meetsSpatially Minnesota SouthDakota) CountriesAndRegions.kif 1005-1005 meetsSpatially Minnesota and SouthDakota

appearance as argument number 2

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

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners