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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SidiHalifahLibya

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
(instance SidiHalifahLibya City) CountriesAndRegions.kif 2323-2323

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


(names "Sidi Halifah" SidiHalifahLibya) CountriesAndRegions.kif 3526-3526
(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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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