Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Texas
|
|
|
| appearance as argument number 1 |
|
|
| (instance Texas AmericanState) | CountriesAndRegions.kif 1110-1110 | Texas is an instance of american state |
| (meetsSpatially Texas NewMexico) | CountriesAndRegions.kif 1111-1111 | Texas meets new mexico |
| (meetsSpatially Texas Mexico) | CountriesAndRegions.kif 1112-1112 | Texas meets mexico |
| (meetsSpatially Texas GulfOfMexico) | CountriesAndRegions.kif 1113-1113 | Texas meets Gulf of mexico |
| (documentation Texas EnglishLanguage "The second largest AmericanState, located in the southwest on the GulfOfMexico.") | CountriesAndRegions.kif 1114-1115 | Texas meets Gulf of mexico |
| (geographicSubregion Texas UnitedStates) | CountriesAndRegions.kif 1116-1116 | Texas is a geographic subregion of united states |
| (externalImage Texas "http://articulatesoftware.com/SUMOpictures/geography/ US_States/ texas.png") | pictureList.kif 776-776 | Texas is a geographic subregion of united states |
| appearance as argument number 2 |
|
|
|
