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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AinElHajarAlgeria
AinElHajarAlgeria(ain el hajar algeria)ain_el_hajar_algeria, ain_el_hajar_阿尔及利亚, ain_el_hajar_阿爾及利亞

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


(documentation AinElHajarAlgeria EnglishLanguage "The City of AinElHajar in Algeria.") CountriesAndRegions.kif 1407-1407
(geographicSubregion AinElHajarAlgeria Algeria) CountriesAndRegions.kif 2509-2509 Ain el hajar algeria is a geographic subregion of algeria
(instance AinElHajarAlgeria City) CountriesAndRegions.kif 1406-1406 Ain el hajar algeria is an instance of city

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


(names "Ain el Hajar" AinElHajarAlgeria) CountriesAndRegions.kif 2510-2510 Ain el hajar algeria has name "Ain el Hajar"
(termFormat ChineseLanguage AinElHajarAlgeria "ain el hajar 阿尔及利亚") domainEnglishFormat.kif 6085-6085 "ain el hajar 阿尔及利亚" is the printable form of ain el hajar algeria in ChineseLanguage
(termFormat ChineseTraditionalLanguage AinElHajarAlgeria "ain el hajar 阿爾及利亞") domainEnglishFormat.kif 6084-6084 "ain el hajar 阿爾及利亞" is the printable form of ain el hajar algeria in ChineseTraditionalLanguage
(termFormat EnglishLanguage AinElHajarAlgeria "ain el hajar algeria") domainEnglishFormat.kif 6083-6083 "ain el hajar algeria" is the printable form of ain el hajar algeria in english language


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners