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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Minnesota
Minnesota(minnesota)
Gopher_State, MN, Minnesota, North_Star_State

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 is an instance of american state
(meetsSpatially Minnesota Canada) CountriesAndRegions.kif 1003-1003 Minnesota meets canada
(meetsSpatially Minnesota Iowa) CountriesAndRegions.kif 1006-1006 Minnesota meets Iowa
(meetsSpatially Minnesota NorthDakota) CountriesAndRegions.kif 1004-1004 Minnesota meets north dakota
(meetsSpatially Minnesota SouthDakota) CountriesAndRegions.kif 1005-1005 Minnesota meets South Dakota

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


(capitalCity SaintPaulMinnesota Minnesota) CountriesAndRegions.kif 786-786 Minnesota is a capital city of saint paul minnesota
(meetsSpatially Wisconsin Minnesota) CountriesAndRegions.kif 1151-1151 Wisconsin meets minnesota
(part MinneapolisMinnesota Minnesota) CountriesAndRegions.kif 737-737 Minneapolis minnesota is a part of minnesota
(termFormat ChineseLanguage Minnesota "明尼苏达") domainEnglishFormat.kif 37977-37977 Minneapolis minnesota is a part of minnesota
(termFormat ChineseTraditionalLanguage Minnesota "明尼蘇達") domainEnglishFormat.kif 37976-37976 Minneapolis minnesota is a part of minnesota
(termFormat EnglishLanguage Minnesota "minnesota") domainEnglishFormat.kif 37975-37975 Minneapolis minnesota is a part of minnesota


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