Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Alabama
|
|
|
| appearance as argument number 1 |
|
|
| (instance Alabama AmericanState) | CountriesAndRegions.kif 865-865 | Alabama is an instance of american state |
| (meetsSpatially Alabama Mississippi) | CountriesAndRegions.kif 866-866 | Alabama meets mississippi |
| (documentation Alabama EnglishLanguage "A state in the southeastern UnitedStates that borders on the GulfOfMexico.") | CountriesAndRegions.kif 867-868 | Alabama meets mississippi |
| (externalImage Alabama "http://articulatesoftware.com/SUMOpictures/geography/ US_States/ alabama.png") | pictureList.kif 214-214 | Alabama meets mississippi |
| appearance as argument number 2 |
|
|
|
