Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(instance TripoliLibya City) CountriesAndRegions.kif 2403-2403 Tripoli libya is an instance of city
(documentation TripoliLibya EnglishLanguage "The City of Tripoli in Libya.") CountriesAndRegions.kif 2404-2404 Tripoli libya is an instance of city
(geographicSubregion TripoliLibya Libya) CountriesAndRegions.kif 3616-3616 Tripoli libya is a geographic subregion of libya
(externalImage TripoliLibya "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 1e/ Ly_map.png/ 200px_Ly_map.png") pictureList.kif 1392-1392 Tripoli libya is a geographic subregion of libya

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


(names "Tripoli" TripoliLibya) CountriesAndRegions.kif 3617-3617 Tripoli libya has name "Tripoli"
(termFormat EnglishLanguage TripoliLibya "tripoli libya") domainEnglishFormat.kif 59203-59203 Tripoli libya has name "Tripoli"
(termFormat ChineseTraditionalLanguage TripoliLibya "的黎波里利比亞") domainEnglishFormat.kif 59204-59204 Tripoli libya has name "Tripoli"
(termFormat ChineseLanguage TripoliLibya "的黎波里利比亚") domainEnglishFormat.kif 59205-59205 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners