;; -*- LISP -*-
;; Description dumped from SME V4
;; Created by paritosh, using HERBRAND, a x86 at HERBRAND running Microsoft Windows 9x/Me and NT/2000/XP
(sme::defdescription "Algeria"
   :documentation ""
   :notes ""
   :expressions 
     (
(importFromThroughAmountDuring Italy (ProductFn NaturalGas) Algeria
 Transmed-Pipeline (YearFn 1997)
 ((PerFn (Giga CubicFoot) YearsDuration) 680))
(importFromAmountDuring Algeria Product UnitedStatesOfAmerica
 (YearFn 1997) (MillionDollars 685))
(dependsOn-Pairwise Algeria oilExport Algeria oilProduction Positive)
(importFromAmountDuring Algeria Product UnitedStatesOfAmerica
 (YearFn 1996) (BillionDollars 0.6))
(importFromAmountDuring UnitedStatesOfAmerica Product Algeria
 (YearFn 1997) (BillionDollars 2.73))
(productionAmountDuring Algeria (ProductFn NaturalGas) (YearFn 1996)
 ((Tera CubicFoot) 2.2))
(exportAmountDuring Algeria Product (YearFn 1996) (BillionDollars 11))
(emissionAmountDuring Algeria Carbon (YearFn 1995)
 ((Mega MetricTon) 23.2))
(exportCapacityDuring Algeria (ProductFn NaturalGas) (YearFn 1996)
 ((Tera CubicFoot) 1.6))
(budgetExpenditures Algeria GovernmentMilitaryOrganization
 (YearFn 1994) (BillionDollars 1.3))
(exportAmountDuring Algeria (ProductFn NaturalGas) (YearFn 1997)
 ((PerFn CubicFoot DaysDuration) 3.8e+9))
(productionCapacityDuring Algeria Electricity (YearFn 1994)
 (KiloWatt 6010000.0))
(implies
 (and (numberOfInhabitants Algeria ?Y)
      (emissionAmountDuring Algeria Carbon (YearFn 1995)
       (MetricTon ?X)))
 (evaluate 0.81 (QuotientFn ?X ?Y)))
(implies
 (and (grossDomesticProduct Algeria (YearFn 1995)
       ((USDollarFn 1987) ?Y))
      (emissionAmountDuring Algeria Carbon (YearFn 1995)
       (MetricTon ?X)))
 (evaluate 0.33 (QuotientFn ?X ?Y)))
(exportAmountDuring Algeria PartiallyTangibleProduct (YearFn 1997)
 (BillionDollars 14.77))
(productionCapacityDuring Algeria Electricity
 (DayFn 1 (MonthFn January (YearFn 1996))) ((Giga Watt) 6.0))
(tradeBalanceDuring Algeria Product (YearFn 1996) (BillionDollars 3.2))
(productionValueOfIndustryDuring Algeria ManufacturingEconomicSector
 (YearFn 1996) (BillionDollars 4.1))
(importAmountDuring Algeria Product (YearFn 1996) (BillionDollars 9.3))
(productionValueOfIndustryDuring Algeria AgriculturalEconomicSector
 (YearFn 1996) (BillionDollars 4.7))
(productionValueOfIndustryDuring Algeria ServiceEconomicSector
 (YearFn 1996) (BillionDollars 10.1))
(exportAmountDuring Algeria Product (YearFn 1996) (BillionDollars 12.5))
(exportAmountDuring Algeria Product (YearFn 1997)
 (BillionDollars 13.87))
(tradeBalanceDuring Algeria Product (YearFn 1997) (BillionDollars 4.11))
(importAmountDuring Algeria Product (YearFn 1997) (BillionDollars 9.76))
(productionValueOfIndustryDuring Algeria ServiceEconomicSector
 (YearFn 1997) (BillionDollars 10.228))
(productionValueOfIndustryDuring Algeria AgriculturalEconomicSector
 (YearFn 1997) (BillionDollars 3.866))
(implies
 (and (numberOfInhabitants Algeria ?Y)
      (consumptionAmountDuring Algeria EnergyAsAQuantity (YearFn 1995)
       ((Mega BritishThermalUnit) ?X)))
 (evaluate 44.1 (QuotientFn ?X ?Y)))
(importAmountDuring Algeria Product (YearFn 1996) (BillionDollars 10.5))
(consumptionAmountDuring Algeria (ProductFn NaturalGas) (YearFn 1996)
 ((Tera CubicFoot) 0.8))
(implies
 (and (grossDomesticProduct Algeria (YearFn 1995)
       ((USDollarFn 1987) ?Y))
      (consumptionAmountDuring Algeria EnergyStuff (YearFn 1995)
       ((Kilo BritishThermalUnit) ?X)))
 (evaluate 18.1 (QuotientFn ?X ?Y)))
(consumptionAmountDuring Algeria EnergyStuff (YearFn 1995)
 ((Peta BritishThermalUnit) 1.3))
(importAmountDuring Algeria PartiallyTangibleProduct (YearFn 1997)
 (BillionDollars 10.67))
(relationInstanceExistsCount possesses Algeria BallisticMissile 0)
(pathFromToInSystem GazoducMaghreb-EuropePipeline Algeria Spain
 EuroMedPipelineSystem)
(thereExists ?PIPELINE
 (and (Pipeline ?PIPELINE)
      (suppliedWithFromThrough Italy NaturalGas Algeria ?PIPELINE)))
(thereExists ?PIPELINE
 (and (Pipeline ?PIPELINE)
      (suppliedWithFromThrough Slovenia NaturalGas Algeria ?PIPELINE)))
(suppliedWithFromThrough Italy NaturalGas Algeria Transmed-Pipeline)
(suppliedWithFromThrough Spain NaturalGas Algeria
 GazoducMaghreb-EuropePipeline)
(and (Pipeline (SKF-7572689))
     (suppliedWithFromThrough Spain NaturalGas Algeria (SKF-7572689)))
(thereExists ?PIPELINE
 (and (Pipeline ?PIPELINE)
      (suppliedWithFromThrough Portugal NaturalGas Algeria ?PIPELINE)))
(suppliedWithFromThrough Portugal NaturalGas Algeria
 GazoducMaghreb-EuropePipeline)
(importsFromThrough Slovenia (ProductFn NaturalGas) Algeria
 Transmed-Pipeline)
(suppliedWithFromThrough Slovenia NaturalGas Algeria Transmed-Pipeline)
(thereExists ?PIPELINE
 (and (Pipeline ?PIPELINE)
      (suppliedWithFromThrough Morocco NaturalGas Algeria ?PIPELINE)))
(suppliedWithFromThrough Morocco NaturalGas Algeria
 GazoducMaghreb-EuropePipeline)
(thereExists ?PIPELINE
 (and (Pipeline ?PIPELINE)
      (suppliedWithFromThrough Tunisia NaturalGas Algeria ?PIPELINE)))
(suppliedWithFromThrough Tunisia NaturalGas Algeria Transmed-Pipeline)
(denotationRelatedTo Algerian-TheWord Adjective 0 Algeria)
(holdsIn (DayFn 31 (MonthFn December (YearFn 1993)))
 (totalReserves Algeria (ProductFn Coal) ((Mega ShortTon) 47)))
(populationDuring Algeria (YearFn 1997) 30200000)
(internationalMonetaryReservesDuring Algeria (YearFn 1996)
 (BillionDollars 4.0))
(grossDomesticProduct-Nominal Algeria (YearFn 1996)
 (BillionDollars 44.7))
(goalCategoryForAgent Algeria
 (exportAmountDuring Algeria (ProductFn NaturalGas) (YearFn 2000)
  ((PerFn CubicFoot DaysDuration) 5.8e+9))
 BusinessGoal)
(grossDomesticProduct-Nominal Algeria (YearFn 1997)
 (BillionDollars 45.996))
(distanceBetween Algeria PersianGulfRegion (Kilometer 4200 5700))
(behaviorCapable Algeria EconomicEmbargo performedBy)
(totalReserves Algeria (ProductFn NaturalGas) ((Tera CubicFoot) 130))
(laborForceDuring Algeria (YearFn 1997) 7950000)
(internationalMonetaryReservesDuring Algeria (YearFn 1997)
 (BillionDollars 7.52))
(holdsIn (MonthFn July (YearFn 1997))
 (numInhabitantsOfTypeInRegion Algeria FemaleChild 5712088))
(holdsIn (MonthFn July (YearFn 1997))
 (numInhabitantsOfTypeInRegion Algeria (MaleFn OldPerson) 525556))
(currentAccountBalanceDuring Algeria (YearFn 1997) (BillionDollars 0.5))
(lengthOfPathTypeInRegion Algeria GasPipeline (Kilometer 2948))
(holdsIn (MonthFn July (YearFn 1997))
 (numInhabitantsOfTypeInRegion Algeria MaleChild 5923391))
(grossDomesticProduct Algeria (YearFn 1996) (BillionDollars 115.9))
(totalBudgetExpenditures Algeria (YearFn 1995) (BillionDollars 17.9))
(populationDuring Algeria (MonthFn July (YearFn 1997)) 29830370)
(laborForceDuring Algeria (YearFn 1996) 7800000)
(lengthOfPathTypeInRegion Algeria Highway (Kilometer 102424))
(grossDomesticProduct Algeria (YearFn 1997) (BillionDollars 73.06))
(holdsIn (MonthFn July (YearFn 1997))
 (numInhabitantsOfTypeInRegion Algeria (FemaleFn OldPerson) 599552))
(lengthOfPathTypeInRegion Algeria Railway (Kilometer 4772))
(lengthOfPathTypeInRegion Algeria OilPipeline (Kilometer 6612))
(opponentsInConflict Libya Algeria TerritorialDispute-Libya-Algeria)
(hasStatusWithAgent ArmedIslamicGroup Algeria DissidentStatus)
(borderBetweenRegions (BorderBetweenFn Algeria WesternSahara) Algeria
 WesternSahara)
(beliefs InternationalCommunity
 (relationInstanceExists performedBy Algeria (MakingFn NuclearWeapon)))
(relationInstanceAll citizens Algeria AlgerianPerson)
(relationInstanceExistsMany possesses Algeria CruiseMissile-Styx)
(borderBetweenRegions (BorderBetweenFn Algeria Tunisia) Algeria Tunisia)
(relationInstanceExistsMany owns Algeria BallisticMissile-SCUDB)
(relationInstanceExistsMany possesses Algeria BallisticMissile-SCUDB)
(relationInstanceExistsMany owns Algeria CruiseMissile-Styx)
(hasStatusWithAgent IslamicSalvationFront Algeria DissidentStatus)
(relationInstanceExistsMany owns Algeria MiG-23-Fighter)
(borderBetweenRegions (BorderBetweenFn Mauritania Algeria) Mauritania
 Algeria)
(borderBetweenRegions (BorderBetweenFn Libya Algeria) Libya Algeria)
(borderBetweenRegions (BorderBetweenFn Morocco Algeria) Morocco Algeria)
(borderBetweenRegions (BorderBetweenFn Niger Algeria) Niger Algeria)
(borderBetweenRegions (BorderBetweenFn Mali Algeria) Mali Algeria)
(netMigrationRate Algeria -0.49)
(geopoliticalSubdivision Algeria Laghouat-ProvinceAlgeria)
(lengthOfObject (BorderBetweenFn Algeria Tunisia) (Kilometer 965))
(IntangibleExistingThing (BorderBetweenFn Algeria Tunisia))
(Border (BorderBetweenFn Algeria Tunisia))
(Individual (BorderBetweenFn Algeria Tunisia))
(GeopoliticalBorder (BorderBetweenFn Algeria Tunisia))
(holdsIn (MonthFn November (YearFn 1997))
 (thereExists ?FIRE
  (and (SettingSomethingOnFire ?FIRE) (damages ?FIRE Transmed-Pipeline)
       (inRegion ?FIRE (BorderBetweenFn Algeria Tunisia))
       (beliefs Algeria (TerroristAct ?FIRE)))))
(infantMortalityRate Algeria 47.1)
(languagesSpokenHere Algeria ArabicLanguage)
(geopoliticalSubdivision Algeria Oran-ProvinceAlgeria)
(EELDSharedOntologyCandidateConstant Algeria)
(customers Algeria Morocco)
(geopoliticalSubdivision Algeria Skikda-ProvinceAlgeria)
(geographicalSubRegions Algeria El-GassiEl-Agreb-OilField)
(geographicalSubRegions Algeria HaoudBerkaouibenKahla-OilField)
(geographicalSubRegions Algeria TinFouyeTabankortOrdo-OilField)
(minorReligions Algeria Judaism)
(birthRate Algeria 28.01)
(geopoliticalSubdivision Algeria CityOfGhardaiaAlgeria)
(regionHasTransportMeans Algeria Truck)
(geographicalSubRegions Algeria GaratAl-BafinatGasField)
(holdsIn (YearFn 1996) (totalDebt Algeria (BillionDollars 32.0)))
(geopoliticalSubdivision Algeria CityOfBejaiaAlgeria)
(chiefPorts Algeria CityOfArzewAlgeria)
(geographicalSubRegions Algeria RhourdeChouffGasField)
(customers Algeria Germany)
(geographicalSubRegions Algeria RhourdeNouss-CondensateField)
(inhabitantTypes Algeria EthnicGroupOfArab-Berbers)
(geopoliticalSubdivision Algeria Chlef-ProvinceAlgeria)
(geopoliticalSubdivision Algeria Bechar-ProvinceAlgeria)
(geopoliticalSubdivision Algeria Bouira-ProvinceAlgeria)
(geopoliticalSubdivision Algeria Tindouf-ProvinceAlgeria)
(customers Algeria Slovenia)
(geographicalSubRegions Algeria RhourdeHamraGasField)
(geographicalSubRegions Algeria GourMahmoudGasField)
(geographicalSubRegions Algeria StahOilField)
(exports Algeria CombustibleFuelSubstance)
(geographicalSubRegions Algeria EdjelehOilField)
(customers Algeria France)
(inhabitantTypes Algeria EthnicGroupOfEuropeans)
(chiefPorts Algeria CityOfAlgiersAlgeria)
(regionProduces Algeria (ProductFn NaturalGas))
(geopoliticalSubdivision Algeria Djelfa-ProvinceAlgeria)
(geopoliticalSubdivision Algeria Constantine-ProvinceAlgeria)
(geopoliticalSubdivision Algeria Mila-ProvinceAlgeria)
(spatiallyIntersects Algeria TropicOfCancer)
(exports Algeria PetroleumProduct)
(geopoliticalSubdivision Algeria BordjBouArreridj-ProvinceAlgeria)
(geopoliticalSubdivision Algeria Tissemsilt-ProvinceAlgeria)
(geopoliticalSubdivision Algeria Batna-ProvinceAlgeria)
(geographicalSubRegions Algeria RhourdeNoussSud-EstGasField)
(geographicalSubRegions Algeria HassiMoumemeGasField)
(Entity Algeria)
(geopoliticalSubdivision Algeria Ghardaia-ProvinceAlgeria)
(spatiallyIntersects Algeria Maghreb-Region)
(chiefPorts Algeria CityOfBejaiaAlgeria)
(holdsIn (YearFn 1997)
 (numberOfInhabitants Algeria (TimesFn 30.2 1000000)))
(geopoliticalSubdivision Algeria SidiBelAbbes-ProvinceAlgeria)
(geopoliticalSubdivision Algeria Tebessa-ProvinceAlgeria)
(holdsIn TheYear1988 (birthRate Algeria 42))
(languagesSpokenHere Algeria TachelhitLanguage)
(geographicalSubRegions Algeria Alrar-CondensateField)
(IndependentCountry Algeria)
(majorReligions Algeria SunniIslam)
(geographicalSubRegions Algeria TeguentourGasField)
(geographicalSubRegions Algeria InSalahGasField)
(languagesSpokenHere Algeria TamazightLanguage)
(geographicalSubRegions Algeria RhourdeEl-Baguel-OilField)
(geographicalSubRegions Algeria Zarzaitine-OilField)
(geographicalSubRegions Algeria HassiMessaoudNorth-OilField)
(imports Algeria IndustrialEquipment)
(geopoliticalSubdivision Algeria Khenchela-ProvinceAlgeria)
(geographicalSubRegions Algeria TinFouyeTabankortGasField)
(temporalBoundsContain Algeria TheYear1986)
(geopoliticalSubdivision Algeria Jijel-ProvinceAlgeria)
(spatiallyIntersects Algeria PrimeMeridian)
(geographicalSubRegions Algeria KrechtaGasField)
(geographicalSubRegions Algeria HassiRMelCondensateField)
(geopoliticalSubdivision Algeria OumelBouaghi-ProvinceAlgeria)
(geopoliticalSubdivision Algeria Guelma-ProvinceAlgeria)
(MaghrebCountry Algeria)
(geopoliticalSubdivision Algeria ElTarf-ProvinceAlgeria)
(geographicalSubRegions Algeria TiguentourineOilField)
(bordersOn Algeria Tunisia)
(geopoliticalSubdivision Algeria Blida-ProvinceAlgeria)
(easternRegion Algeria (EasternRegionFn Algeria))
(holdsIn TheYear1986 (infantMortalityRate Algeria 110))
(holdsIn TheYear1988 (infantMortalityRate Algeria 182))
(holdsIn TheYear1986 (birthRate Algeria 46))
(territoryOf Algeria (TerritoryFn Algeria))
(temporalBoundsContain Algeria TheYear1988)
(Individual Algeria)
(geopoliticalSubdivision Algeria Alger-ProvinceAlgeria)
(IndustrializedCountry Algeria)
(hasClimateType Algeria DesertClimateCycle)
(geopoliticalSubdivision Algeria Tamanghasset-ProvinceAlgeria)
(geopoliticalSubdivision Algeria Illizi-ProvinceAlgeria)
(spatiallyIntersects Algeria SaharaDesert)
(bordersOn Algeria MediterraneanSea)
(geopoliticalSubdivision Algeria SoukAhras-ProvinceAlgeria)
(holdsIn TheYear1986 (deathRate Algeria 14))
(government Algeria (GovernmentFn Algeria))
(geographicalSubRegions Algeria OuedNoumerOilField)
(geopoliticalSubdivision Algeria Ouargla-ProvinceAlgeria)
(geopoliticalSubdivision Algeria Medea-ProvinceAlgeria)
(geopoliticalSubdivision Algeria ElOued-ProvinceAlgeria)
(geopoliticalSubdivision Algeria Naama-ProvinceAlgeria)
(geographicalSubRegions Algeria ElAgrebOuestOilField)
(EELDNaturalDataConstant Algeria)
(geopoliticalSubdivision Algeria Relizane-ProvinceAlgeria)
(geopoliticalSubdivision Algeria Mostaganem-ProvinceAlgeria)
(geopoliticalSubdivision Algeria Biskra-ProvinceAlgeria)
(geopoliticalSubdivision Algeria CityOfConstantineAlgeria)
(chiefPorts Algeria CityOfAnnabaAlgeria)
(holdsIn Iran-IraqWar (allies Algeria Iran))
(languagesSpokenHere Algeria KabyleLanguage)
(customers Algeria Spain)
(subjectToCOC Algeria HumanRights)
(imports Algeria Food)
(regionHasTransportMeans Algeria Airplane)
(languagesSpokenHere Algeria ChaouiaLanguage)
(geographicalSubRegions Algeria MereksenOilField)
(presidentOfCountry Algeria LiamineZeroual)
(chiefPorts Algeria CityOfSkikdaAlgeria)
(geopoliticalSubdivision Algeria CityOfBecharAlgeria)
(geopoliticalSubdivision Algeria CityOfOuarglaAlgeria)
(geopoliticalSubdivision Algeria Tiaret-ProvinceAlgeria)
(geographicalSubRegions Algeria OuanDimetaGasField)
(geographicalSubRegions Algeria HassiMessaoudSouthOilField)
(geopoliticalSubdivision Algeria CityOfOranAlgeria)
(languagesSpokenHere Algeria RifLanguage)
(inhabitantTypes Algeria AlgerianPerson)
(geographicalSubRegions Algeria (CoastlineFn Algeria))
(geopoliticalSubdivision Algeria AinTemouchent-ProvinceAlgeria)
(geopoliticalSubdivision Algeria Saida-ProvinceAlgeria)
(holdsIn TheYear1988 (deathRate Algeria 10))
(ethnicGroupsHere Algeria EthnicGroupOfEuropeans)
(ethnicGroupsHere Algeria EthnicGroupOfArab-Berbers)
(spatiallyIntersects Algeria Transmed-Pipeline)
(geopoliticalSubdivision Algeria Boumerdes-ProvinceAlgeria)
(geopoliticalSubdivision Algeria ElBayadh-ProvinceAlgeria)
(geopoliticalSubdivision Algeria Bejaia-ProvinceAlgeria)
(holdsIn (MonthFn January (YearFn 1996))
 (totalDebt Algeria (BillionDollars 31.6)))
(IKBConstant Algeria)
(internationalMonetaryReserves Algeria (BillionDollars 2.1))
(capitalCity Algeria CityOfAlgiersAlgeria)
(geopoliticalSubdivision Algeria Tipaza-ProvinceAlgeria)
(customers Algeria UnitedStatesOfAmerica)
(languagesSpokenHere Algeria FrenchLanguage)
(adjSemTrans Algerian-TheWord 0 RegularAdjFrame
 (possessiveRelation Algeria :NOUN))
(geographicalSubRegions Algeria OuedNoumerGasField)
(primeMinister Algeria AhmedOuyahia)
(GeopoliticalBorder (BorderBetweenFn Algeria WesternSahara))
(IntangibleExistingThing (BorderBetweenFn Algeria WesternSahara))
(Border (BorderBetweenFn Algeria WesternSahara))
(lengthOfObject (BorderBetweenFn Algeria WesternSahara) (Kilometer 42))
(Individual (BorderBetweenFn Algeria WesternSahara))
(geopoliticalSubdivision Algeria AinDefla-ProvinceAlgeria)
(customers Algeria Portugal)
(geopoliticalSubdivision Algeria Setif-ProvinceAlgeria)
(customers Algeria Italy)
(minorReligions Algeria Christianity)
(customers Algeria Tunisia)
(geopoliticalSubdivision Algeria Tlemcen-ProvinceAlgeria)
(geographicalSubRegions Algeria RegGasField)
(definingMt Algeria WorldPoliticalGeographyDataVocabularyMt)
(geographicalSubRegions Algeria RhourdeNoussGasField)
(fertilityRate Algeria 3.48)
(geopoliticalSubdivision Algeria CityOfArzewAlgeria)
(geographicalSubRegions Algeria RhourdeCheggaOilField)
(geopoliticalSubdivision Algeria Adrar-ProvinceAlgeria)
(regionHasTransportMeans Algeria Ship)
(geopoliticalSubdivision Algeria Annaba-ProvinceAlgeria)
(chiefPorts Algeria CityOfOranAlgeria)
(geopoliticalSubdivision Algeria Msila-ProvinceAlgeria)
(geopoliticalSubdivision Algeria Mascara-ProvinceAlgeria)
(geographicalSubRegions Algeria GuellalaOilField)
(imports Algeria CommodityProduct)
(regionProduces Algeria (ProductFn Petroleum-CrudeOil))
(languagesSpokenHere Algeria ModernBerberLanguage)
(geopoliticalSubdivision Algeria TiziOuzou-ProvinceAlgeria)
(deathRate Algeria 5.76)
(geographicalSubRegions Algeria RhourdeAdraGasField)
(geographicalSubRegions Algeria AlrarGasField)
(exports Algeria PetroleumProduct-Refined)
(goals Algeria
 (exportAmountDuring Algeria (ProductFn NaturalGas) (YearFn 2000)
  ((PerFn CubicFoot DaysDuration) 5.8e+9)))
(internationalOrganizationMemberCountries
 OrganizationForTheProhibitionOfChemicalWeapons Algeria)
(internationalOrganizationMemberCountries
 ArabBankForEconomicDevelopmentInAfrica Algeria)
(IntangibleExistingThing (BorderBetweenFn Libya Algeria))
(lengthOfObject (BorderBetweenFn Libya Algeria) (Kilometer 982))
(Individual (BorderBetweenFn Libya Algeria))
(Border (BorderBetweenFn Libya Algeria))
(GeopoliticalBorder (BorderBetweenFn Libya Algeria))
(holidayCelebratedInRegion IndependenceDay-Algeria Algeria)
(jurisdictionRegion US-EuropeanCommand-Stuttgart-VaihingenGermany
 Algeria)
(internationalOrganizationMemberCountries INTERPOL Algeria)
(areasOfOrigin EthnicGroupOfTuaregs Algeria)
(internationalOrganizationMemberCountries OAPEC Algeria)
(industryFacilities (IndustryOfRegionFn OilIndustry Algeria)
 HassiMessaoud-Refinery)
(industryFacilities (IndustryOfRegionFn OilIndustry Algeria)
 SeaportOfOranAlgeria)
(industryFacilities (IndustryOfRegionFn OilIndustry Algeria)
 GuellalaOilField)
(industryFacilities (IndustryOfRegionFn OilIndustry Algeria)
 SeaportOfAlgiersAlgeria)
(industryFacilities (IndustryOfRegionFn OilIndustry Algeria)
 SkikdaOilRefinery)
(industryFacilities (IndustryOfRegionFn OilIndustry Algeria)
 El-GassiEl-Agreb-OilField)
(industryFacilities (IndustryOfRegionFn OilIndustry Algeria)
 Ohanet-HaoudElHamra-Pipeline)
(industryFacilities (IndustryOfRegionFn OilIndustry Algeria)
 HassiMessaoudSouthOilField)
(industryFacilities (IndustryOfRegionFn OilIndustry Algeria)
 HassiRMel-Arzew-Pipeline)
(industryFacilities (IndustryOfRegionFn OilIndustry Algeria)
 SeaportOfBejaiaAlgeria)
(industryFacilities (IndustryOfRegionFn OilIndustry Algeria)
 Mesdar-HaoudElHamra-Pipeline)
(industryFacilities (IndustryOfRegionFn OilIndustry Algeria)
 EdjelehOilField)
(industryFacilities (IndustryOfRegionFn OilIndustry Algeria)
 OuedNoumerOilField)
(industryFacilities (IndustryOfRegionFn OilIndustry Algeria)
 SeaportOfArzewAlgeria)
(groupMemberType (IndustryOfRegionFn OilIndustry Algeria) Business)
(industryFacilities (IndustryOfRegionFn OilIndustry Algeria)
 SeaportOfSkikdaAlgeria)
(industryFacilities (IndustryOfRegionFn OilIndustry Algeria)
 TiguentourineOilField)
(industryFacilities (IndustryOfRegionFn OilIndustry Algeria)
 InAmenas-Refinery)
(industryFacilities (IndustryOfRegionFn OilIndustry Algeria)
 TinFouyeTabankortOrdo-OilField)
(groupMembers (IndustryOfRegionFn OilIndustry Algeria) Naftec-Algeria)
(industryFacilities (IndustryOfRegionFn OilIndustry Algeria)
 HaoudBerkaouibenKahla-OilField)
(industryFacilities (IndustryOfRegionFn OilIndustry Algeria)
 El-Djazair-Refinery)
(industryFacilities (IndustryOfRegionFn OilIndustry Algeria)
 ElAgrebOuestOilField)
(Industry-Localized (IndustryOfRegionFn OilIndustry Algeria))
(industryFacilities (IndustryOfRegionFn OilIndustry Algeria)
 HaoudElHamra-Arzew-Pipeline)
(industryFacilities (IndustryOfRegionFn OilIndustry Algeria)
 HaoudElHamra-Skikda-Pipeline)
(groupMembers (IndustryOfRegionFn OilIndustry Algeria) Naftel-Algeria)
(OilIndustry (IndustryOfRegionFn OilIndustry Algeria))
(groupMembers (IndustryOfRegionFn OilIndustry Algeria)
 Sonatrach-Algeria)
(Individual (IndustryOfRegionFn OilIndustry Algeria))
((GroupFn Business) (IndustryOfRegionFn OilIndustry Algeria))
(industryFacilities (IndustryOfRegionFn OilIndustry Algeria)
 RhourdeEl-Baguel-OilField)
(industryFacilities (IndustryOfRegionFn OilIndustry Algeria)
 MereksenOilField)
(industryFacilities (IndustryOfRegionFn OilIndustry Algeria)
 ArzewOilRefinery)
(industryFacilities (IndustryOfRegionFn OilIndustry Algeria)
 SeaportOfAnnabaAlgeria)
(industryFacilities (IndustryOfRegionFn OilIndustry Algeria)
 StahOilField)
(industryFacilities (IndustryOfRegionFn OilIndustry Algeria)
 RhourdeCheggaOilField)
(industryFacilities (IndustryOfRegionFn OilIndustry Algeria)
 Zarzaitine-OilField)
(industryFacilities (IndustryOfRegionFn OilIndustry Algeria)
 HassiMessaoudNorth-OilField)
(groupMembers (IndustryOfRegionFn (IndustryFn NaturalGas) Algeria)
 Sonatrach-Algeria)
(Individual (IndustryOfRegionFn (IndustryFn NaturalGas) Algeria))
(groupMembers (IndustryOfRegionFn (IndustryFn NaturalGas) Algeria)
 Naftec-Algeria)
(industryProducesType
 (IndustryOfRegionFn (IndustryFn NaturalGas) Algeria) NaturalGas)
((GroupFn Business)
 (IndustryOfRegionFn (IndustryFn NaturalGas) Algeria))
(groupMemberType (IndustryOfRegionFn (IndustryFn NaturalGas) Algeria)
 Business)
(groupMembers (IndustryOfRegionFn (IndustryFn NaturalGas) Algeria)
 Naftel-Algeria)
(hasMembers InternationalAtomicEnergyAgency Algeria)
(internationalOrganizationMemberCountries AfricanDevelopmentBank
 Algeria)
(hasMembers InternationalSeabedAuthority Algeria)
(internationalOrganizationMemberCountries
 OrganizationOfTheIslamicConference Algeria)
(hasMembers InternationalMonetaryFund Algeria)
(originallyFromRegion AhmedRessam Algeria)
(internationalOrganizationMemberCountries CustomsCooperationCouncil
 Algeria)
(internationalOrganizationMemberCountries LeagueOfArabStates Algeria)
(groupMemberType (IndustryOfRegionFn GasIndustry Algeria) Business)
(GasIndustry (IndustryOfRegionFn GasIndustry Algeria))
(Individual (IndustryOfRegionFn GasIndustry Algeria))
((GroupFn Business) (IndustryOfRegionFn GasIndustry Algeria))
(groupMembers (IndustryOfRegionFn GasIndustry Algeria)
 Sonatrach-Algeria)
(Industry-Localized (IndustryOfRegionFn GasIndustry Algeria))
(internationalOrganizationMemberCountries OPEC Algeria)
(Individual (BorderBetweenFn Niger Algeria))
(Border (BorderBetweenFn Niger Algeria))
(IntangibleExistingThing (BorderBetweenFn Niger Algeria))
(lengthOfObject (BorderBetweenFn Niger Algeria) (Kilometer 956))
(GeopoliticalBorder (BorderBetweenFn Niger Algeria))
(internationalOrganizationMemberCountries UnitedNationsOrganization
 Algeria)
(internationalOrganizationMemberCountries ARABSAT Algeria)
(Individual (BorderBetweenFn Morocco Algeria))
(Border (BorderBetweenFn Morocco Algeria))
(GeopoliticalBorder (BorderBetweenFn Morocco Algeria))
(lengthOfObject (BorderBetweenFn Morocco Algeria) (Kilometer 1559))
(IntangibleExistingThing (BorderBetweenFn Morocco Algeria))
(IntangibleExistingThing (BorderBetweenFn Mauritania Algeria))
(Border (BorderBetweenFn Mauritania Algeria))
(Individual (BorderBetweenFn Mauritania Algeria))
(lengthOfObject (BorderBetweenFn Mauritania Algeria) (Kilometer 463))
(GeopoliticalBorder (BorderBetweenFn Mauritania Algeria))
(internationalOrganizationMemberCountries
 InternationalAtomicEnergyAgency Algeria)
(pathTerminus HaoudElHamra-Bejaia-Pipeline Algeria)
(customers Spain Algeria)
(officeInCountry Naftel-Algeria Algeria)
(socialParticipants Y1Stage1-OPECMeeting Algeria)
(not (hasHeadquartersInCountry PhillipsPetroleumCompany Algeria))
(objectFoundInLocation HaoudElHamra-Bejaia-Pipeline Algeria)
(pathTerminus Mesdar-HaoudElHamra-Pipeline Algeria)
(residenceOfOrganization ArmyOfTheProphetMuhammed Algeria)
(residenceOfOrganization ArmedIslamicMovement Algeria)
(objectFoundInLocation El-Djazair-Refinery Algeria)
(objectFoundInLocation SkikdaOilRefinery Algeria)
(not (hasHeadquartersInCountry NesteOy Algeria))
(residenceOfOrganization ArmedIslamicGroup Algeria)
(not (hasHeadquartersInCountry BritishPetroleum Algeria))
(residenceOfOrganization UnitedCompanyOfJihad Algeria)
(residenceOfOrganization MovementForAnIslamicState Algeria)
(pathTerminus Ohanet-HaoudElHamra-Pipeline Algeria)
(residenceOfOrganization SalafistGroupForPreachingAndCombat Algeria)
(eventOccursAt HijackedAirFranceFlightToAlgiers-01 Algeria)
(obligatedAgent ChemicalWeaponsConvention Algeria)
(not (hasHeadquartersInCountry Louisiana-OilCompany Algeria))
(not (hasHeadquartersInCountry Oryx-OilCompany Algeria))
(officeInCountry Sonatrach-Algeria Algeria)
(implies
 (and (TransferringPossession ?PROC) (toPossessor ?PROC Libya)
      (transferredThing ?PROC ?MISSILE-1)
      (BallisticMissile-Nodong1 ?MISSILE-1))
 (consistent
  (and (MissileAttack ?ATTACK) (performedBy ?ATTACK Libya)
       (victim ?ATTACK Algeria) (deviceUsed ?ATTACK ?MISSILE))))
(customers Germany Algeria)
(not (hasHeadquartersInCountry Sasol-Corporation Algeria))
(negativeVestedInterest IslamicSalvationFront Algeria)
(not (hasHeadquartersInCountry MobilCorporation Algeria))
(not (hasHeadquartersInCountry Repsol-Corporation Algeria))
(not (hasHeadquartersInCountry Maersk Algeria))
(not (hasHeadquartersInCountry Petrocanada Algeria))
(not (hasHeadquartersInCountry Talisman-OilCompany Algeria))
(residenceOfOrganization IslamicSalvationFront Algeria)
(customers Italy Algeria)
(pathTerminus HaoudElHamra-Skikda-Pipeline Algeria)
(not (hasHeadquartersInCountry Daewoo Algeria))
(not (hasHeadquartersInCountry Ranger-Corporation Algeria))
(likelihood
 (thereExists ?GROUP
  (thereExists ?PERSON
   (and (Group ?GROUP) (Person ?PERSON)
        (hasBeliefSystems ?GROUP IslamicSocietyIdeology)
        (residesInRegion ?PERSON Algeria)
        (not (groupMembers ?PERSON ArmedIslamicGroup))
        (groupMembers ?PERSON ?GROUP))))
 High)
(currencyOf Dinar-Algeria Algeria)
(customers UnitedStatesOfAmerica Algeria)
(objectFoundInLocation HassiMessaoud-Refinery Algeria)
(objectFoundInLocation CityOfArzewAlgeria Algeria)
(not (hasHeadquartersInCountry Arco Algeria))
(not (hasHeadquartersInCountry BHP-Corporation Algeria))
(objectFoundInLocation ArzewOilRefinery Algeria)
(conceptuallyRelated LiamineZeroual Algeria)
(geographicalSubRegions NorthernAfrica Algeria)
(bordersOn Morocco Algeria)
(not (hasHeadquartersInCountry SunOil Algeria))
(obligatedAgent NuclearNon-ProliferationTreaty Algeria)
(not (hasHeadquartersInCountry Samsung Algeria))
(bordersOn Mauritania Algeria)
(officeInCountry Naftec-Algeria Algeria)
(not (hasHeadquartersInCountry Agip Algeria))
(bordersOn Libya Algeria)
(not (hasHeadquartersInCountry Total-OilCompany Algeria))
(objectFoundInLocation InAmenas-Refinery Algeria)
(geographicalSubRegions Maghreb-Region Algeria)
(geographicalSubRegions ContinentOfAfrica Algeria)
(bordersOn Mali Algeria)
(geographicalSubRegions Mediterranean-Region Algeria)
(pathTerminus HaoudElHamra-Arzew-Pipeline Algeria)
(not (hasHeadquartersInCountry ExxonCorporation Algeria))
(bordersOn Niger Algeria)
(conceptuallyRelated AhmedOuyahia Algeria)
(pathTerminus HassiRMel-Arzew-Pipeline Algeria)
(not (hasHeadquartersInCountry YPF-OilCompany Algeria))
(negativeVestedInterest ArmedIslamicGroup Algeria)
(not (hasHeadquartersInCountry Wintershall-Corporation Algeria))
(customers France Algeria)
(Border (BorderBetweenFn Mali Algeria))
(Individual (BorderBetweenFn Mali Algeria))
(IntangibleExistingThing (BorderBetweenFn Mali Algeria))
(GeopoliticalBorder (BorderBetweenFn Mali Algeria))
(lengthOfObject (BorderBetweenFn Mali Algeria) (Kilometer 1376))
(groupMemberType (ArmyFn Algeria) MilitaryPerson)
(Army-BranchOfService (ArmyFn Algeria))
(Individual (ArmyFn Algeria))
((GroupFn MilitaryPerson) (ArmyFn Algeria))
(groupCardinality (ArmyFn Algeria) 107000)
(subOrganizations (GovernmentFn Algeria) (ArmyFn Algeria))
(RedCrossSociety-National (NationalRedCrossSocietyFn Algeria))
(Individual (NationalRedCrossSocietyFn Algeria))
(hasMembers InternationalFederationOfRedCrossAndRedCrescentSocieties
 (NationalRedCrossSocietyFn Algeria))
((GroupFn MilitaryPerson) (AirForceFn Algeria))
(groupMemberType (AirForceFn Algeria) MilitaryPerson)
(Individual (AirForceFn Algeria))
(groupCardinality (AirForceFn Algeria) 10000)
(AirForce (AirForceFn Algeria))
(subOrganizations (GovernmentFn Algeria) (AirForceFn Algeria))
((GroupFn MilitaryPerson) (NavyFn Algeria))
(groupMemberType (NavyFn Algeria) MilitaryPerson)
(Individual (NavyFn Algeria))
(GovernmentMilitaryOrganization (NavyFn Algeria))
(ModernMilitaryOrganization (NavyFn Algeria))
(Navy (NavyFn Algeria))
(groupCardinality (NavyFn Algeria) 6700)
(officialArmedForces (GovernmentFn Algeria) (NavyFn Algeria))
(subOrganizations (GovernmentFn Algeria) (NavyFn Algeria))
(Seacoast (CoastlineFn Algeria))
(lengthOfObject (CoastlineFn Algeria) (Kilometer 998))
(IKBConstant (CoastlineFn Algeria))
(Individual (CoastlineFn Algeria))
(holdsIn (YearFn 1997)
 (relationInstanceExists subOrganizations (GovernmentFn Algeria)
  AirForce))
(positionOfPersonInOrganization YoucefYousfi (GovernmentFn Algeria)
 MinisterOfEnergy)
(holdsIn (YearFn 1997)
 (relationInstanceExists subOrganizations (GovernmentFn Algeria) Navy))
(holdsIn (YearFn 1997)
 (relationInstanceExists subOrganizations (GovernmentFn Algeria)
  ParamilitaryOrganization))
(holdsIn (YearFn 1997)
 (relationInstanceExists subOrganizations (GovernmentFn Algeria)
  Army-BranchOfService))
(holdsIn (TimeIntervalInclusiveFn (YearFn 1992) Now)
 (thereExists ?CONFLICT
  (and (ConflictEvent ?CONFLICT) (deathToll ?CONFLICT Person 75000)
       (opponentsInConflict (GovernmentFn Algeria) ArmedIslamicGroup
        ?CONFLICT)
       (opponentsInConflict (GovernmentFn Algeria)
        IslamicSalvationFront ?CONFLICT))))
(RegionalGovernment (GovernmentFn Algeria))
(startingDate (GovernmentFn Algeria)
 (DayFn 5 (MonthFn July (YearFn 1962))))
(GovernmentOfCountry (GovernmentFn Algeria))
(Individual (GovernmentFn Algeria))
(conceptuallyRelated YoucefYousfi (GovernmentFn Algeria))
(GeopoliticalRegion (TerritoryFn Algeria))
(Individual (TerritoryFn Algeria))
(Place-NonAgent (TerritoryFn Algeria))
(GeographicalRegion (TerritoryFn Algeria))
(spatiallyIntersects WesternHemisphere-Region (TerritoryFn Algeria))
(spatiallyIntersects EasternHemisphere-Region (TerritoryFn Algeria))
(Individual (EasternRegionFn Algeria))
(geographicalSubRegions (EasternRegionFn Algeria)
 (SouthernRegionFn (EasternRegionFn Algeria)))
(southernRegion (EasternRegionFn Algeria)
 (SouthernRegionFn (EasternRegionFn Algeria)))
(positiveVestedInterest Libya
 (SouthernRegionFn (EasternRegionFn Algeria)))
(territoryDisputed TerritorialDispute-Libya-Algeria
 (SouthernRegionFn (EasternRegionFn Algeria)))
(Individual (SouthernRegionFn (EasternRegionFn Algeria)))
     )
  ) ;; End of description Algeria