![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
Minnesota
|
|
|
| appearance as argument number 1 |
|
|
| (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 NorthDakota) | CountriesAndRegions.kif 1004-1004 | Minnesota meets north dakota |
| (meetsSpatially Minnesota SouthDakota) | CountriesAndRegions.kif 1005-1005 | Minnesota meets South Dakota |
| (meetsSpatially Minnesota Iowa) | CountriesAndRegions.kif 1006-1006 | Minnesota meets Iowa |
| (documentation Minnesota EnglishLanguage "A state in the northern midwest of the UnitedStates.") | CountriesAndRegions.kif 1007-1007 | Minnesota meets Iowa |
| (externalImage Minnesota "http://articulatesoftware.com/SUMOpictures/geography/ US_States/ minnesota.png") | pictureList.kif 596-596 | Minnesota meets Iowa |
| appearance as argument number 2 |
|
|