TreeView Knowledge Base Browser - Algeria

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Algeria

Algeria(algeria)

Algeria, Algerie, Democratic_and_Popular_Republic_of_Algeria

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2949-2949	Algerian dinar is a currency type of algeria
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1178-1178
No TPTP formula. May not be expressible in strict first order.	Economy.kif 616-616	Developing country is an economy type of algeria
No TPTP formula. May not be expressible in strict first order.	Economy.kif 232-232	Less developed country is an economy type of algeria
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 217-217
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 116-116	Algeria is a geographic subregion of northern africa
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 117-117	Algeria is an instance of nation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2506-2506	Ain defla algeria is a geographic subregion of algeria
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2508-2508	Ain el hajar algeria is a geographic subregion of algeria
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2520-2520	Algiers algeria is a geographic subregion of algeria
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2556-2556	Arzew algeria is a geographic subregion of algeria
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2672-2672	Bouira algeria is a geographic subregion of algeria
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2674-2674	Bouze guene algeria is a geographic subregion of algeria
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2901-2901	Hamis miliyana algeria is a geographic subregion of algeria
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3061-3061	Khelil algeria is a geographic subregion of algeria
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3107-3107	Larba algeria is a geographic subregion of algeria
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3116-3116	Les eucalyptus district algeria is a geographic subregion of algeria
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3339-3339	Oilbase algeria is a geographic subregion of algeria
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3352-3352	Oran algeria is a geographic subregion of algeria
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3564-3564	Tamez guida algeria is a geographic subregion of algeria
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3599-3599	Tiaret algeria is a geographic subregion of algeria
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3601-3601	Tirat algeria is a geographic subregion of algeria
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3946-3946	Algeria has name "Algeria"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6486-6486
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6485-6485
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6484-6484

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Media.kif 2690-2690

"DZ" in ISO-3166-1-alpha-2 denotes algeria

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