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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 5650-5650
(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 50768-50768 Saada yemen has name "Saada"
(termFormat ChineseTraditionalLanguage SaadaYemen "薩達葉門") domainEnglishFormat.kif 50767-50767 Saada yemen has name "Saada"
(termFormat EnglishLanguage SaadaYemen "saada yemen") domainEnglishFormat.kif 50766-50766 Saada yemen has name "Saada"


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