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

appearance as argument number 2

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