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 4477-4477
(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 5430-5430
(termFormat ChineseTraditionalLanguage AdenYemen "腺也門") domainEnglishFormat.kif 5429-5429
(termFormat EnglishLanguage AdenYemen "aden yemen") domainEnglishFormat.kif 5428-5428


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