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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Tennessee
TN, Tennessee, Volunteer_State

appearance as argument number 1

(documentation Tennessee EnglishLanguage "A state in the southeastern UnitedStates.") CountriesAndRegions.kif 1109-1109
(externalImage Tennessee " US_States/ tennessee.png") pictureList.kif 775-775
(instance Tennessee AmericanState) CountriesAndRegions.kif 1104-1104 Tennessee is an instance of american state
(meetsSpatially Tennessee Alabama) CountriesAndRegions.kif 1105-1105 Tennessee meets alabama
(meetsSpatially Tennessee Arkansas) CountriesAndRegions.kif 1107-1107 Tennessee meets arkansas
(meetsSpatially Tennessee Mississippi) CountriesAndRegions.kif 1106-1106 Tennessee meets mississippi
(meetsSpatially Tennessee Missouri) CountriesAndRegions.kif 1108-1108 Tennessee meets missouri

appearance as argument number 2

(meetsSpatially Kentucky Tennessee) CountriesAndRegions.kif 966-966 Kentucky meets tennessee
(meetsSpatially NorthCarolina Tennessee) CountriesAndRegions.kif 1065-1065 North carolina meets tennessee
(meetsSpatially Virginia Tennessee) CountriesAndRegions.kif 1136-1136 Virginia meets tennessee
(part MemphisTennessee Tennessee) CountriesAndRegions.kif 733-733 Memphis tennessee is a part of tennessee
(part NashvilleTennessee Tennessee) CountriesAndRegions.kif 753-753 Nashville tennessee is a part of tennessee
(termFormat ChineseLanguage Tennessee "田纳西") domainEnglishFormat.kif 57494-57494
(termFormat ChineseTraditionalLanguage Tennessee "田納西") domainEnglishFormat.kif 57493-57493
(termFormat EnglishLanguage Tennessee "tennessee") domainEnglishFormat.kif 57492-57492

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