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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SaadaYemen

Sigma KEE - SaadaYemen
SaadaYemen(saada yemen)

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


(documentation SaadaYemen EnglishLanguage "The City of Saada in Yemen.") CountriesAndRegions.kif 2256-2256
(externalImage SaadaYemen "http://upload.wikimedia.org/wikipedia/commons/ 0/ 03/ Yemen-map.gif") pictureList.kif 5651-5651
(geographicSubregion SaadaYemen Yemen) CountriesAndRegions.kif 3452-3452 Saada yemen is a geographic subregion of yemen
(instance SaadaYemen City) CountriesAndRegions.kif 2255-2255 Saada yemen is an instance of city

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


(names "Saada" SaadaYemen) CountriesAndRegions.kif 3453-3453 Saada yemen has name "Saada"
(termFormat ChineseLanguage SaadaYemen "萨达叶门") domainEnglishFormat.kif 50735-50735
(termFormat ChineseTraditionalLanguage SaadaYemen "薩達葉門") domainEnglishFormat.kif 50734-50734
(termFormat EnglishLanguage SaadaYemen "saada yemen") domainEnglishFormat.kif 50733-50733


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