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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Kentucky

appearance as argument number 1

(documentation Kentucky EnglishLanguage "A state in the southeastern UnitedStates.") CountriesAndRegions.kif 970-970
(externalImage Kentucky " pictures/ geography/ US_States/ kentucky.png") pictureList.kif 535-535
(instance Kentucky AmericanState) CountriesAndRegions.kif 965-965
(meetsSpatially Kentucky Illinois) CountriesAndRegions.kif 968-968
(meetsSpatially Kentucky Indiana) CountriesAndRegions.kif 969-969
(meetsSpatially Kentucky Missouri) CountriesAndRegions.kif 967-967
(meetsSpatially Kentucky Tennessee) CountriesAndRegions.kif 966-966

appearance as argument number 2

(meetsSpatially Ohio Kentucky) CountriesAndRegions.kif 1073-1073
(meetsSpatially Virginia Kentucky) CountriesAndRegions.kif 1137-1137
(meetsSpatially WestVirginia Kentucky) CountriesAndRegions.kif 1145-1145
(termFormat ChineseLanguage Kentucky "肯塔基") domainEnglishFormat.kif 32298-32298
(termFormat ChineseTraditionalLanguage Kentucky "肯塔基") domainEnglishFormat.kif 32297-32297
(termFormat EnglishLanguage Kentucky "kentucky") domainEnglishFormat.kif 32296-32296

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