|
|
  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 est une instance de AmericanState |
| (meetsSpatially Texas GulfOfMexico) | CountriesAndRegions.kif 1113-1113 | Texas rencontre GulfOfMexico |
| (meetsSpatially Texas Mexico) | CountriesAndRegions.kif 1112-1112 | Texas rencontre Mexico |
| (meetsSpatially Texas NewMexico) | CountriesAndRegions.kif 1111-1111 | Texas rencontre 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 rencontre Texas |
| (meetsSpatially Colorado Texas) | CountriesAndRegions.kif 912-912 | Colorado rencontre Texas |
| (meetsSpatially Kansas Texas) | CountriesAndRegions.kif 962-962 | Kansas rencontre Texas |
| (meetsSpatially Louisiana Texas) | CountriesAndRegions.kif 972-972 | Louisiana rencontre Texas |
| (names "Texas" Texas) | CountriesAndRegions.kif 1117-1117 | Texas s'appele nom "Texas" |
| (part DallasTexas Texas) | CountriesAndRegions.kif 851-851 | DallasTexas est une partie de Texas |
| (part HoustonTexas Texas) | CountriesAndRegions.kif 828-828 | HoustonTexas est une partie de Texas |
| (termFormat ChineseLanguage Texas "德州") | domainEnglishFormat.kif 57692-57692 | |
| (termFormat ChineseTraditionalLanguage Texas "德州") | domainEnglishFormat.kif 57691-57691 | |
| (termFormat EnglishLanguage Texas "texas") | domainEnglishFormat.kif 57690-57690 |
|
|
|
