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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Algeria

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