Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 " 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 5007-5007 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 57692-57692
(termFormat ChineseTraditionalLanguage Texas "德州") domainEnglishFormat.kif 57691-57691
(termFormat EnglishLanguage Texas "texas") domainEnglishFormat.kif 57690-57690

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners