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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Kentucky

Sigma KEE - Kentucky
Kentucky

appearance as argument number 1
-------------------------


(documentation Kentucky EnglishLanguage "A state in the southeastern UnitedStates.") CountriesAndRegions.kif 970-970
(externalImage Kentucky "http://articulatesoftware.com/SUMOpictures/geography/ US_States/ kentucky.png") pictureList.kif 535-535
(instance Kentucky AmericanState) CountriesAndRegions.kif 965-965 Kentucky è un' istanza di AmericanState
(meetsSpatially Kentucky Illinois) CountriesAndRegions.kif 968-968 Kentucky incontras Illinois
(meetsSpatially Kentucky Indiana) CountriesAndRegions.kif 969-969 Kentucky incontras Indiana
(meetsSpatially Kentucky Missouri) CountriesAndRegions.kif 967-967 Kentucky incontras Missouri
(meetsSpatially Kentucky Tennessee) CountriesAndRegions.kif 966-966 Kentucky incontras Tennessee

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


(meetsSpatially Ohio Kentucky) CountriesAndRegions.kif 1073-1073 Ohio incontras Kentucky
(meetsSpatially Virginia Kentucky) CountriesAndRegions.kif 1137-1137 Virginia incontras Kentucky
(meetsSpatially WestVirginia Kentucky) CountriesAndRegions.kif 1145-1145 WestVirginia incontras Kentucky
(termFormat ChineseLanguage Kentucky "肯塔基") domainEnglishFormat.kif 32311-32311
(termFormat ChineseTraditionalLanguage Kentucky "肯塔基") domainEnglishFormat.kif 32310-32310
(termFormat EnglishLanguage Kentucky "kentucky") domainEnglishFormat.kif 32309-32309


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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