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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - KohlanYemen

appearance as argument number 1

(documentation KohlanYemen EnglishLanguage "The City of Kohlan in Yemen.") CountriesAndRegions.kif 1929-1929
(geographicSubregion KohlanYemen Yemen) CountriesAndRegions.kif 3089-3089
(instance KohlanYemen City) CountriesAndRegions.kif 1928-1928

appearance as argument number 2

(names "Kohlan" KohlanYemen) CountriesAndRegions.kif 3090-3090
(termFormat ChineseLanguage KohlanYemen "科兰也门") domainEnglishFormat.kif 32730-32730
(termFormat ChineseTraditionalLanguage KohlanYemen "科蘭也門") domainEnglishFormat.kif 32729-32729
(termFormat EnglishLanguage KohlanYemen "kohlan yemen") domainEnglishFormat.kif 32728-32728

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