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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AdenYemen
AdenYemen(aden yemen)
Aden

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


(documentation AdenYemen EnglishLanguage "The City of Aden in Yemen.") CountriesAndRegions.kif 1397-1397
(externalImage AdenYemen "http://upload.wikimedia.org/wikipedia/commons/ 3/ 35/ Aden01_flickr.jpg") pictureList.kif 4476-4476
(geographicSubregion AdenYemen Yemen) CountriesAndRegions.kif 2498-2498 Aden yemen is a geographic subregion of yemen
(instance AdenYemen City) CountriesAndRegions.kif 1396-1396 Aden yemen is an instance of city

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


(names "Aden" AdenYemen) CountriesAndRegions.kif 2499-2499 Aden yemen has name "Aden"
(termFormat ChineseLanguage AdenYemen "腺也门") domainEnglishFormat.kif 5435-5435 Aden yemen has name "Aden"
(termFormat ChineseTraditionalLanguage AdenYemen "腺也門") domainEnglishFormat.kif 5434-5434 Aden yemen has name "Aden"
(termFormat EnglishLanguage AdenYemen "aden yemen") domainEnglishFormat.kif 5433-5433 Aden yemen has name "Aden"


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