![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
Georgia
|
|
|
| appearance as argument number 1 |
|
|
| (instance Georgia AmericanState) | CountriesAndRegions.kif 930-930 | Georgia is an instance of american state |
| (meetsSpatially Georgia NorthAtlanticOcean) | CountriesAndRegions.kif 931-931 | Georgia meets north atlantic ocean |
| (meetsSpatially Georgia FloridaUnitedStates) | CountriesAndRegions.kif 932-932 | Georgia meets Florida |
| (meetsSpatially Georgia Alabama) | CountriesAndRegions.kif 933-933 | Georgia meets alabama |
| (documentation Georgia EnglishLanguage "A state in the southeastern UnitedStates.") | CountriesAndRegions.kif 934-934 | Georgia meets alabama |
| (externalImage Georgia "http://articulatesoftware.com/SUMOpictures/geography/ US_States/ georgia.png") | pictureList.kif 459-459 | Georgia meets alabama |
| appearance as argument number 2 |
|
|