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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SaadaYemen
SaadaYemen

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
(instance SaadaYemen City) CountriesAndRegions.kif 2255-2255

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


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


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