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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AdenYemen
AdenYemen

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
(instance AdenYemen City) CountriesAndRegions.kif 1396-1396

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


(names "Aden" AdenYemen) CountriesAndRegions.kif 2500-2500
(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