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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AinElHajarAlgeria

Sigma KEE - AinElHajarAlgeria
AinElHajarAlgeria

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

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


(names "Ain el Hajar" AinElHajarAlgeria) CountriesAndRegions.kif 2509-2509
(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 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