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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 geographicSubregion TripoliLibya and Libya
(instance TripoliLibya City) CountriesAndRegions.kif 2397-2397 TripoliLibya est une instance de ville

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


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


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