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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TripoliLibya
TripoliLibya(tripoli libya)
Tarabulus, Tarabulus_Al-Gharb, Tarabulus_Ash-Sham, Trablous, Tripoli, capital_of_Libya

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 Tripoli libya is a geographic subregion of libya
(instance TripoliLibya City) CountriesAndRegions.kif 2397-2397 Tripoli libya is an instance of city

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


(names "Tripoli" TripoliLibya) CountriesAndRegions.kif 3615-3615 Tripoli libya has name "Tripoli"
(termFormat ChineseLanguage TripoliLibya "的黎波里利比亚") domainEnglishFormat.kif 59266-59266 Tripoli libya has name "Tripoli"
(termFormat ChineseTraditionalLanguage TripoliLibya "的黎波里利比亞") domainEnglishFormat.kif 59265-59265 Tripoli libya has name "Tripoli"
(termFormat EnglishLanguage TripoliLibya "tripoli libya") domainEnglishFormat.kif 59264-59264 Tripoli libya has name "Tripoli"


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