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)

appearance as argument number 1

(documentation AinElHajarAlgeria EnglishLanguage "The City of AinElHajar in Algeria.") CountriesAndRegions.kif 1407-1407
(geographicSubregion AinElHajarAlgeria Algeria) CountriesAndRegions.kif 2508-2508 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 2509-2509 Ain el hajar algeria has name "Ain el Hajar"
(termFormat ChineseLanguage AinElHajarAlgeria "ain el hajar 阿尔及利亚") domainEnglishFormat.kif 6078-6078
(termFormat ChineseTraditionalLanguage AinElHajarAlgeria "ain el hajar 阿爾及利亞") domainEnglishFormat.kif 6077-6077
(termFormat EnglishLanguage AinElHajarAlgeria "ain el hajar algeria") domainEnglishFormat.kif 6076-6076

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