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 Minnesota ist ein fall von AmericanState %n{nicht}
(meetsSpatially Minnesota Canada) CountriesAndRegions.kif 1003-1003 Minnesota schliesst Canada raeumlich an
(meetsSpatially Minnesota Iowa) CountriesAndRegions.kif 1006-1006 Minnesota schliesst Iowa raeumlich an
(meetsSpatially Minnesota NorthDakota) CountriesAndRegions.kif 1004-1004 Minnesota schliesst NorthDakota raeumlich an
(meetsSpatially Minnesota SouthDakota) CountriesAndRegions.kif 1005-1005 Minnesota schliesst SouthDakota raeumlich an

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


(capitalCity SaintPaulMinnesota Minnesota) CountriesAndRegions.kif 786-786 capitalCity SaintPaulMinnesota and Minnesota
(meetsSpatially Wisconsin Minnesota) CountriesAndRegions.kif 1151-1151 Wisconsin schliesst Minnesota raeumlich an
(part MinneapolisMinnesota Minnesota) CountriesAndRegions.kif 737-737 MinneapolisMinnesota ist ein teil von Minnesota %n{nicht}
(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