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 德州美国geographic 次要地区
(instance Texas AmericanState) CountriesAndRegions.kif 1110-1110 德州美国国家instance
(meetsSpatially Texas GulfOfMexico) CountriesAndRegions.kif 1113-1113 德州 接上 GulfOfMexico
(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 PeterbiltCorpheadquarters 是在 德州
(meetsSpatially Arkansas Texas) CountriesAndRegions.kif 891-891 阿肯色州 接上 德州
(meetsSpatially Colorado Texas) CountriesAndRegions.kif 912-912 科罗拉多州 接上 德州
(meetsSpatially Kansas Texas) CountriesAndRegions.kif 962-962 Kansas 接上 德州
(meetsSpatially Louisiana Texas) CountriesAndRegions.kif 972-972 路易斯安那州 接上 德州
(names "Texas" Texas) CountriesAndRegions.kif 1117-1117 德州 的名 是 "Texas"
(part DallasTexas Texas) CountriesAndRegions.kif 851-851 达拉斯得克萨斯德州part
(part HoustonTexas Texas) CountriesAndRegions.kif 828-828 休斯敦,德克萨斯州德州part
(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