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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Tennessee

appearance as argument number 1

(documentation Tennessee EnglishLanguage "A state in the southeastern UnitedStates.") CountriesAndRegions.kif 1109-1109
(externalImage Tennessee " pictures/ geography/ US_States/ tennessee.png") pictureList.kif 775-775
(instance Tennessee AmericanState) CountriesAndRegions.kif 1104-1104
(meetsSpatially Tennessee Alabama) CountriesAndRegions.kif 1105-1105
(meetsSpatially Tennessee Arkansas) CountriesAndRegions.kif 1107-1107
(meetsSpatially Tennessee Mississippi) CountriesAndRegions.kif 1106-1106
(meetsSpatially Tennessee Missouri) CountriesAndRegions.kif 1108-1108

appearance as argument number 2

(meetsSpatially Kentucky Tennessee) CountriesAndRegions.kif 966-966
(meetsSpatially NorthCarolina Tennessee) CountriesAndRegions.kif 1065-1065
(meetsSpatially Virginia Tennessee) CountriesAndRegions.kif 1136-1136
(part MemphisTennessee Tennessee) CountriesAndRegions.kif 733-733
(part NashvilleTennessee Tennessee) CountriesAndRegions.kif 753-753
(termFormat ChineseLanguage Tennessee "田纳西") domainEnglishFormat.kif 57461-57461
(termFormat ChineseTraditionalLanguage Tennessee "田納西") domainEnglishFormat.kif 57460-57460
(termFormat EnglishLanguage Tennessee "tennessee") domainEnglishFormat.kif 57459-57459

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