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 4478-4478
(geographicSubregion AdenYemen Yemen) CountriesAndRegions.kif 2499-2499 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 2500-2500 Aden yemen has name "Aden"
(termFormat ChineseLanguage AdenYemen "腺也门") domainEnglishFormat.kif 5435-5435
(termFormat ChineseTraditionalLanguage AdenYemen "腺也門") domainEnglishFormat.kif 5434-5434
(termFormat EnglishLanguage AdenYemen "aden yemen") domainEnglishFormat.kif 5433-5433


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners