Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Michigan
|
|
|
| appearance as argument number 1 |
|
|
| (instance Michigan AmericanState) | CountriesAndRegions.kif 996-996 | Michigan is an instance of american state |
| (meetsSpatially Michigan Indiana) | CountriesAndRegions.kif 997-997 | Michigan meets Indiana |
| (meetsSpatially Michigan Illinois) | CountriesAndRegions.kif 998-998 | Michigan meets illinois |
| (meetsSpatially Michigan Canada) | CountriesAndRegions.kif 999-999 | Michigan meets canada |
| (documentation Michigan EnglishLanguage "A populous and industrial state in the midwestern UnitedStates.") | CountriesAndRegions.kif 1000-1001 | Michigan meets canada |
| (externalImage Michigan "http://articulatesoftware.com/SUMOpictures/geography/ US_States/ michigan.png") | pictureList.kif 591-591 | Michigan meets canada |
| appearance as argument number 2 |
|
|
|
