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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 " 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 57662-57662
(termFormat ChineseTraditionalLanguage Texas "德州") domainEnglishFormat.kif 57661-57661
(termFormat EnglishLanguage Texas "texas") domainEnglishFormat.kif 57660-57660

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