Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Wyoming(wyoming)
|  | Equality_State, WY, Wyoming |
| appearance as argument number 1 |
|
|
| (instance Wyoming AmericanState) | CountriesAndRegions.kif 1153-1153 | Wyoming is an instance of american state |
| (meetsSpatially Wyoming Idaho) | CountriesAndRegions.kif 1154-1154 | Wyoming meets Idaho |
| (meetsSpatially Wyoming Utah) | CountriesAndRegions.kif 1155-1155 | Wyoming meets utah |
| (meetsSpatially Wyoming Colorado) | CountriesAndRegions.kif 1156-1156 | Wyoming meets colorado |
| (documentation Wyoming EnglishLanguage "A large western state in the UnitedStates.") | CountriesAndRegions.kif 1157-1157 | Wyoming meets colorado |
| (externalImage Wyoming "http://articulatesoftware.com/SUMOpictures/geography/ US_States/ wyoming.png") | pictureList.kif 845-845 | Wyoming meets colorado |
| appearance as argument number 2 |
|
|
|