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 è un' istanza di Citt�

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


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


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