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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Texas

Sigma KEE - Texas
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
(instance Texas AmericanState) CountriesAndRegions.kif 1110-1110
(meetsSpatially Texas GulfOfMexico) CountriesAndRegions.kif 1113-1113
(meetsSpatially Texas Mexico) CountriesAndRegions.kif 1112-1112
(meetsSpatially Texas NewMexico) CountriesAndRegions.kif 1111-1111

appearance as argument number 2
-------------------------


(headquartersOfOrganization PeterbiltCorp Texas) Cars.kif 5007-5007
(meetsSpatially Arkansas Texas) CountriesAndRegions.kif 891-891
(meetsSpatially Colorado Texas) CountriesAndRegions.kif 912-912
(meetsSpatially Kansas Texas) CountriesAndRegions.kif 962-962
(meetsSpatially Louisiana Texas) CountriesAndRegions.kif 972-972
(names "Texas" Texas) CountriesAndRegions.kif 1117-1117
(part DallasTexas Texas) CountriesAndRegions.kif 851-851
(part HoustonTexas Texas) CountriesAndRegions.kif 828-828
(termFormat ChineseLanguage Texas "德州") domainEnglishFormat.kif 57692-57692
(termFormat ChineseTraditionalLanguage Texas "德州") domainEnglishFormat.kif 57691-57691
(termFormat EnglishLanguage Texas "texas") domainEnglishFormat.kif 57690-57690


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

Show without tree


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