![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
Tennessee
|
|
|
| appearance as argument number 1 |
|
|
| (instance Tennessee AmericanState) | CountriesAndRegions.kif 1104-1104 | Tennessee is an instance of american state |
| (meetsSpatially Tennessee Alabama) | CountriesAndRegions.kif 1105-1105 | Tennessee meets alabama |
| (meetsSpatially Tennessee Mississippi) | CountriesAndRegions.kif 1106-1106 | Tennessee meets mississippi |
| (meetsSpatially Tennessee Arkansas) | CountriesAndRegions.kif 1107-1107 | Tennessee meets arkansas |
| (meetsSpatially Tennessee Missouri) | CountriesAndRegions.kif 1108-1108 | Tennessee meets missouri |
| (documentation Tennessee EnglishLanguage "A state in the southeastern UnitedStates.") | CountriesAndRegions.kif 1109-1109 | Tennessee meets missouri |
| (externalImage Tennessee "http://articulatesoftware.com/SUMOpictures/geography/ US_States/ tennessee.png") | pictureList.kif 775-775 | Tennessee meets missouri |
| appearance as argument number 2 |
|
|