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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - AdenYemen
AdenYemen(aden yemen)

appearance as argument number 1

(documentation AdenYemen EnglishLanguage "The City of Aden in Yemen.") CountriesAndRegions.kif 1397-1397
(externalImage AdenYemen " 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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