| 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 | geographicSubregion Texas and UnitedStates |
| (instance Texas AmericanState) | CountriesAndRegions.kif 1110-1110 | Texas e' uma instancia de AmericanState |
| (meetsSpatially Texas GulfOfMexico) | CountriesAndRegions.kif 1113-1113 | Texas encontra GulfOfMexico |
| (meetsSpatially Texas Mexico) | CountriesAndRegions.kif 1112-1112 | Texas encontra Mexico |
| (meetsSpatially Texas NewMexico) | CountriesAndRegions.kif 1111-1111 | Texas encontra NewMexico |
| appearance as argument number 2 |
|
|
| (headquartersOfOrganization PeterbiltCorp Texas) | Cars.kif 5007-5007 | headquartersOfOrganization PeterbiltCorp and Texas |
| (meetsSpatially Arkansas Texas) | CountriesAndRegions.kif 891-891 | Arkansas encontra Texas |
| (meetsSpatially Colorado Texas) | CountriesAndRegions.kif 912-912 | Colorado encontra Texas |
| (meetsSpatially Kansas Texas) | CountriesAndRegions.kif 962-962 | Kansas encontra Texas |
| (meetsSpatially Louisiana Texas) | CountriesAndRegions.kif 972-972 | Louisiana encontra Texas |
| (names "Texas" Texas) | CountriesAndRegions.kif 1117-1117 | Texas se chama nome "Texas" |
| (part DallasTexas Texas) | CountriesAndRegions.kif 851-851 | DallasTexas e' uma &parte de Texas |
| (part HoustonTexas Texas) | CountriesAndRegions.kif 828-828 | HoustonTexas e' uma &parte de Texas |
| (termFormat ChineseLanguage Texas "德州") | domainEnglishFormat.kif 57692-57692 | |
| (termFormat ChineseTraditionalLanguage Texas "德州") | domainEnglishFormat.kif 57691-57691 | |
| (termFormat EnglishLanguage Texas "texas") | domainEnglishFormat.kif 57690-57690 |
|
|
|