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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DushanbeGarmTajikistan
DushanbeGarmTajikistan(dushanbe garm tajikistan)

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


(documentation DushanbeGarmTajikistan EnglishLanguage "The City of DushanbeGarm in Tajikistan.") CountriesAndRegions.kif 1691-1691
(geographicSubregion DushanbeGarmTajikistan Tajikistan) CountriesAndRegions.kif 2811-2811 Dushanbe garm tajikistan is a geographic subregion of tajikistan
(instance DushanbeGarmTajikistan City) CountriesAndRegions.kif 1690-1690 Dushanbe garm tajikistan is an instance of city

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


(names "Dushanbe Garm" DushanbeGarmTajikistan) CountriesAndRegions.kif 2812-2812 Dushanbe garm tajikistan has name "Dushanbe Garm"
(termFormat ChineseLanguage DushanbeGarmTajikistan "dushanbe garm 塔吉克斯坦") domainEnglishFormat.kif 20722-20722 Dushanbe garm tajikistan has name "Dushanbe Garm"
(termFormat ChineseTraditionalLanguage DushanbeGarmTajikistan "dushanbe garm 塔吉克斯坦") domainEnglishFormat.kif 20721-20721 Dushanbe garm tajikistan has name "Dushanbe Garm"
(termFormat EnglishLanguage DushanbeGarmTajikistan "dushanbe garm tajikistan") domainEnglishFormat.kif 20720-20720 Dushanbe garm tajikistan has name "Dushanbe Garm"


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