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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 MinnesotaAmericanStateinstance では %n
(meetsSpatially Minnesota Canada) CountriesAndRegions.kif 1003-1003 MinnesotaCanadameets %n{ない}
(meetsSpatially Minnesota Iowa) CountriesAndRegions.kif 1006-1006 MinnesotaIowameets %n{ない}
(meetsSpatially Minnesota NorthDakota) CountriesAndRegions.kif 1004-1004 MinnesotaNorthDakotameets %n{ない}
(meetsSpatially Minnesota SouthDakota) CountriesAndRegions.kif 1005-1005 MinnesotaSouthDakotameets %n{ない}

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


(capitalCity SaintPaulMinnesota Minnesota) CountriesAndRegions.kif 786-786 capitalCity SaintPaulMinnesota and Minnesota
(meetsSpatially Wisconsin Minnesota) CountriesAndRegions.kif 1151-1151 WisconsinMinnesotameets %n{ない}
(part MinneapolisMinnesota Minnesota) CountriesAndRegions.kif 737-737 MinneapolisMinnesotaMinnesotapart では %n
(termFormat ChineseLanguage Minnesota "明尼苏达") domainEnglishFormat.kif 37943-37943
(termFormat ChineseTraditionalLanguage Minnesota "明尼蘇達") domainEnglishFormat.kif 37942-37942
(termFormat EnglishLanguage Minnesota "minnesota") domainEnglishFormat.kif 37941-37941


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