Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Pennsylvania
|
|
|
| appearance as argument number 1 |
|
|
| (instance Pennsylvania AmericanState) | CountriesAndRegions.kif 1085-1085 | Pennsylvania is an instance of american state |
| (documentation Pennsylvania EnglishLanguage "A mid_Atlantic AmericanState. Its two major cities are PhiladelphiaPennsylvania and PittsburghPennsylvania.") | CountriesAndRegions.kif 1086-1087 | Pennsylvania is an instance of american state |
| (meetsSpatially Pennsylvania WestVirginia) | CountriesAndRegions.kif 1088-1088 | Pennsylvania meets West virginia |
| (meetsSpatially Pennsylvania Ohio) | CountriesAndRegions.kif 1089-1089 | Pennsylvania meets ohio |
| (meetsSpatially Pennsylvania Canada) | CountriesAndRegions.kif 1090-1090 | Pennsylvania meets canada |
| (externalImage Pennsylvania "http://articulatesoftware.com/SUMOpictures/ geography/ US_States/ pennsylvania.png") | pictureList.kif 660-660 | Pennsylvania meets canada |
| appearance as argument number 2 |
|
|
|
