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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 geographicSubregion Texas and UnitedStates
(instance Texas AmericanState) CountriesAndRegions.kif 1110-1110 Texas è un' istanza di AmericanState
(meetsSpatially Texas GulfOfMexico) CountriesAndRegions.kif 1113-1113 Texas incontras GulfOfMexico
(meetsSpatially Texas Mexico) CountriesAndRegions.kif 1112-1112 Texas incontras Mexico
(meetsSpatially Texas NewMexico) CountriesAndRegions.kif 1111-1111 Texas incontras NewMexico

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


(headquartersOfOrganization PeterbiltCorp Texas) Cars.kif 4992-4992 headquartersOfOrganization PeterbiltCorp and Texas
(meetsSpatially Arkansas Texas) CountriesAndRegions.kif 891-891 Arkansas incontras Texas
(meetsSpatially Colorado Texas) CountriesAndRegions.kif 912-912 Colorado incontras Texas
(meetsSpatially Kansas Texas) CountriesAndRegions.kif 962-962 Kansas incontras Texas
(meetsSpatially Louisiana Texas) CountriesAndRegions.kif 972-972 Louisiana incontras Texas
(names "Texas" Texas) CountriesAndRegions.kif 1117-1117 names "Texas" and Texas
(part DallasTexas Texas) CountriesAndRegions.kif 851-851 DallasTexas è una parte di Texas
(part HoustonTexas Texas) CountriesAndRegions.kif 828-828 HoustonTexas è una parte di Texas
(termFormat ChineseLanguage Texas "德州") domainEnglishFormat.kif 57694-57694
(termFormat ChineseTraditionalLanguage Texas "德州") domainEnglishFormat.kif 57693-57693
(termFormat EnglishLanguage Texas "texas") domainEnglishFormat.kif 57692-57692


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