|
|
  Algeria
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2949-2949 | currencyType Algeria and AlgerianDinar |
| 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 | economyType Algeria and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 232-232 | economyType Algeria and LessDevelopedCountry |
| 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 | geographicSubregion Algeria and NorthernAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 117-117 | Algeria e' uma instancia de Nacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2506-2506 | geographicSubregion AinDeflaAlgeria and Algeria |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2508-2508 | geographicSubregion AinElHajarAlgeria and Algeria |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2520-2520 | geographicSubregion AlgiersAlgeria and Algeria |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2556-2556 | geographicSubregion ArzewAlgeria and Algeria |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2672-2672 | geographicSubregion BouiraAlgeria and Algeria |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2674-2674 | geographicSubregion BouzeGueneAlgeria and Algeria |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2901-2901 | geographicSubregion HamisMiliyanaAlgeria and Algeria |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3061-3061 | geographicSubregion KhelilAlgeria and Algeria |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3107-3107 | geographicSubregion LarbaAlgeria and Algeria |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3116-3116 | geographicSubregion LesEucalyptusDistrictAlgeria and Algeria |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3339-3339 | geographicSubregion OilbaseAlgeria and Algeria |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3352-3352 | geographicSubregion OranAlgeria and Algeria |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3564-3564 | geographicSubregion TamezGuidaAlgeria and Algeria |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3599-3599 | geographicSubregion TiaretAlgeria and Algeria |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3601-3601 | geographicSubregion TiratAlgeria and Algeria |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3946-3946 | Algeria se chama nome "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 | codeMapping ISO-3166-1-alpha-2, "DZ" and Algeria |
|
|
|
