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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SidiHalifahLibya
SidiHalifahLibya

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


(documentation SidiHalifahLibya EnglishLanguage "The City of SidiHalifah in Libya.") CountriesAndRegions.kif 2324-2324
(geographicSubregion SidiHalifahLibya Libya) CountriesAndRegions.kif 3525-3525 geographicSubregion SidiHalifahLibya and Libya
(instance SidiHalifahLibya City) CountriesAndRegions.kif 2323-2323 SidiHalifahLibya est une instance de ville

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


(names "Sidi Halifah" SidiHalifahLibya) CountriesAndRegions.kif 3526-3526 SidiHalifahLibya s'appele nom "Sidi Halifah"
(termFormat ChineseLanguage SidiHalifahLibya "西迪·哈利法·利比亚") domainEnglishFormat.kif 52958-52958
(termFormat ChineseTraditionalLanguage SidiHalifahLibya "西迪·哈利法·利比亞") domainEnglishFormat.kif 52957-52957
(termFormat EnglishLanguage SidiHalifahLibya "sidi halifah libya") domainEnglishFormat.kif 52956-52956


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