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 " 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 TexasAmericanStateinstance では %n
(meetsSpatially Texas GulfOfMexico) CountriesAndRegions.kif 1113-1113 TexasGulfOfMexicomeets %n{ない}
(meetsSpatially Texas Mexico) CountriesAndRegions.kif 1112-1112 TexasMexicomeets %n{ない}
(meetsSpatially Texas NewMexico) CountriesAndRegions.kif 1111-1111 TexasNewMexicomeets %n{ない}

appearance as argument number 2

(headquartersOfOrganization PeterbiltCorp Texas) Cars.kif 5007-5007 headquartersOfOrganization PeterbiltCorp and Texas
(meetsSpatially Arkansas Texas) CountriesAndRegions.kif 891-891 ArkansasTexasmeets %n{ない}
(meetsSpatially Colorado Texas) CountriesAndRegions.kif 912-912 ColoradoTexasmeets %n{ない}
(meetsSpatially Kansas Texas) CountriesAndRegions.kif 962-962 KansasTexasmeets %n{ない}
(meetsSpatially Louisiana Texas) CountriesAndRegions.kif 972-972 LouisianaTexasmeets %n{ない}
(names "Texas" Texas) CountriesAndRegions.kif 1117-1117 Texas は "Texas" の name を 持って %n{ない}
(part DallasTexas Texas) CountriesAndRegions.kif 851-851 DallasTexasTexaspart では %n
(part HoustonTexas Texas) CountriesAndRegions.kif 828-828 HoustonTexasTexaspart では %n
(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