| Texas(texas)
| | Lone-Star_State, TX, Texas |
| appearance as argument number 1 |
|
|
| (documentation Texas EnglishLanguage "The second largest AmericanState, located in the southwest on the GulfOfMexico.") | CountriesAndRegions.kif 1114-1115 | |
| (externalImage Texas "http://articulatesoftware.com/SUMOpictures/geography/ US_States/ texas.png") | pictureList.kif 776-776 | |
| (geographicSubregion Texas UnitedStates) | CountriesAndRegions.kif 1116-1116 | Texas is a geographic subregion of united states |
| (instance Texas AmericanState) | CountriesAndRegions.kif 1110-1110 | Texas is an instance of american state |
| (meetsSpatially Texas GulfOfMexico) | CountriesAndRegions.kif 1113-1113 | Texas meets Gulf of mexico |
| (meetsSpatially Texas Mexico) | CountriesAndRegions.kif 1112-1112 | Texas meets mexico |
| (meetsSpatially Texas NewMexico) | CountriesAndRegions.kif 1111-1111 | Texas meets new mexico |
| appearance as argument number 2 |
|
|
| (headquartersOfOrganization PeterbiltCorp Texas) | Cars.kif 5067-5067 | The headquarters of Peterbilt is in texas |
| (meetsSpatially Arkansas Texas) | CountriesAndRegions.kif 891-891 | Arkansas meets texas |
| (meetsSpatially Colorado Texas) | CountriesAndRegions.kif 912-912 | Colorado meets texas |
| (meetsSpatially Kansas Texas) | CountriesAndRegions.kif 962-962 | Kansas meets texas |
| (meetsSpatially Louisiana Texas) | CountriesAndRegions.kif 972-972 | Louisiana meets texas |
| (names "Texas" Texas) | CountriesAndRegions.kif 1117-1117 | Texas has name "Texas" |
| (part DallasTexas Texas) | CountriesAndRegions.kif 851-851 | Dallas texas is a part of texas |
| (part HoustonTexas Texas) | CountriesAndRegions.kif 828-828 | Houston texas is a part of texas |
| (termFormat ChineseLanguage Texas "德州") | domainEnglishFormat.kif 57731-57731 | Houston texas is a part of texas |
| (termFormat ChineseTraditionalLanguage Texas "德州") | domainEnglishFormat.kif 57730-57730 | Houston texas is a part of texas |
| (termFormat EnglishLanguage Texas "texas") | domainEnglishFormat.kif 57729-57729 | Houston texas is a part of texas |
|
|
|