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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - AinElHajarAlgeria

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
(instance AinElHajarAlgeria City) CountriesAndRegions.kif 1406-1406

appearance as argument number 2

(names "Ain el Hajar" AinElHajarAlgeria) CountriesAndRegions.kif 2510-2510
(termFormat ChineseLanguage AinElHajarAlgeria "ain el hajar 阿尔及利亚") domainEnglishFormat.kif 6087-6087
(termFormat ChineseTraditionalLanguage AinElHajarAlgeria "ain el hajar 阿爾及利亞") domainEnglishFormat.kif 6086-6086
(termFormat EnglishLanguage AinElHajarAlgeria "ain el hajar algeria") domainEnglishFormat.kif 6085-6085

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