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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TripoliLibya

Sigma KEE - TripoliLibya
TripoliLibya

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


(documentation TripoliLibya EnglishLanguage "The City of Tripoli in Libya.") CountriesAndRegions.kif 2398-2398
(externalImage TripoliLibya "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 1e/ Ly-map.png/ 200px-Ly-map.png") pictureList.kif 1392-1392
(geographicSubregion TripoliLibya Libya) CountriesAndRegions.kif 3614-3614
(instance TripoliLibya City) CountriesAndRegions.kif 2397-2397

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


(names "Tripoli" TripoliLibya) CountriesAndRegions.kif 3615-3615
(termFormat ChineseLanguage TripoliLibya "的黎波里利比亚") domainEnglishFormat.kif 59228-59228
(termFormat ChineseTraditionalLanguage TripoliLibya "的黎波里利比亞") domainEnglishFormat.kif 59227-59227
(termFormat EnglishLanguage TripoliLibya "tripoli libya") domainEnglishFormat.kif 59226-59226


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