;; -*- 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 "Chad"
   :documentation ""
   :notes ""
   :expressions 
     (
(importAmountDuring Chad Product (YearFn 1995) (MillionDollars 225))
(exportAmountDuring Chad Product (YearFn 1995) (MillionDollars 226))
(relationExistsCountInstance objectFoundInLocation RadioStation-AM Chad
 6)
(relationExistsCountInstance objectFoundInLocation RadioStation-FM Chad
 1)
(denotationRelatedTo Chadian-TheWord Adjective 0 Chad)
(numInhabitantsOfTypeInRegion Chad FemaleChild 1579086)
(grossDomesticProduct Chad (YearFn 1995) ((Giga (USDollarFn 1995)) 3.3))
(implies
 (and (numInhabitantsOfTypeInRegion Chad (FemaleFn HumanInfant)
       ?FEMALES)
      (evaluate 1.04 (QuotientFn ?MALES ?FEMALES)))
 (numInhabitantsOfTypeInRegion Chad (MaleFn HumanInfant) ?MALES))
(implies
 (and (numInhabitantsOfTypeInRegion Chad (MaleFn HumanInfant) ?MALES)
      (evaluate 1.04 (QuotientFn ?MALES ?FEMALES)))
 (numInhabitantsOfTypeInRegion Chad (FemaleFn HumanInfant) ?FEMALES))
(holdsIn (YearFn 1993)
 (implies
  (and (areaOfRegion Chad ?AREA)
       (percentOfRegionIs Chad IrrigatedLand ?PCT))
  (evaluate ?PCT (QuotientFn (SquareKilometer 140) ?AREA))))
(holdsIn (YearFn 1993)
 (implies
  (and (areaOfRegion Chad ?AREA)
       (evaluate ?PCT (QuotientFn (SquareKilometer 140) ?AREA)))
  (percentOfRegionIs Chad IrrigatedLand ?PCT)))
(implies (CalendarYear ?YEAR)
 (fiscalYearForAgent Chad (DayFn 1 (MonthFn January ?YEAR))
  (DayFn 31 (MonthFn December ?YEAR))))
(implies
 (and (numberOfInhabitants Chad ?INHAB)
      (evaluate 600 (QuotientFn ?AMT ?INHAB)))
 (grossDomesticProduct Chad (YearFn 1995) ((USDollarFn 1995) ?AMT)))
(numInhabitantsOfTypeInRegion Chad MaleChild 1586873)
(populationDuring Chad (MonthFn July (YearFn 1997)) 7166023)
(implies
 (and (numInhabitantsOfTypeInRegion Chad FemaleChild ?FEMALES)
      (evaluate 1 (QuotientFn ?MALES ?FEMALES)))
 (numInhabitantsOfTypeInRegion Chad MaleChild ?MALES))
(implies
 (and (numInhabitantsOfTypeInRegion Chad MaleChild ?MALES)
      (evaluate 1 (QuotientFn ?MALES ?FEMALES)))
 (numInhabitantsOfTypeInRegion Chad FemaleChild ?FEMALES))
(lengthOfPathTypeInRegion Chad WaterSurfacePath (Kilometer 2000))
(lengthOfPathTypeInRegion Chad Highway (Kilometer 32700))
(representsAgentToAgent MahamatSalehAhmat Chad UnitedStatesOfAmerica)
(relationInstanceAll citizens Chad ChadPerson)
(hasStatusWithAgent InternationalSeabedAuthority Chad ObserverStatus)
(borderBetweenRegions (BorderBetweenFn Chad Libya) Chad Libya)
(borderBetweenRegions (BorderBetweenFn Chad Cameroon) Chad Cameroon)
(importsFrom Germany Product Chad)
(importsFrom SouthAfrica Product Chad)
(importsFrom France Product Chad)
(importsFrom Portugal Product Chad)
(representsAgentToAgent DavidCHalsted UnitedStatesOfAmerica Chad)
(geopoliticalSubdivision Chad Salamat-PrefectureChad)
(geopoliticalSubdivision Chad Guera-PrefectureChad)
(implies (CalendarYear ?YEAR)
 (thereExistExactly 65906 ?PERSON
  (and (citizens Chad ?PERSON)
       (implies (intervalEndedBy ?INTERVALENDEDBYFN ?YEAR)
        (holdsIn ?INTERVALENDEDBYFN
         (not ((MaleFn PersonLegallyCapableOfMilitaryService)
               ?PERSON))))
       (implies (intervalStartedBy ?INTERVALSTARTEDBYFN ?YEAR)
        (holdsIn ?INTERVALSTARTEDBYFN
         ((MaleFn PersonLegallyCapableOfMilitaryService) ?PERSON))))))
(geopoliticalSubdivision Chad ChariBaguirmi-PrefectureChad)
(geopoliticalSubdivision Chad Lac-PrefectureChad)
(Republic-Coll Chad)
(regionProduces Chad CottonStuff)
(inhabitantTypes Chad EthnicGroupOfToubou)
(languagesSpokenHere Chad ArabicLanguage)
(holdsIn (YearFn 1997) (fertilityRate Chad 5.79))
(holdsIn (YearFn 1994)
 (defenseBudgetExpenditures Chad (MillionDollars 74)))
(geographicalSubRegions Chad (SouthernRegionFn Chad))
(northernRegion Chad (NorthernRegionFn Chad))
(geopoliticalSubdivision Chad Biltine-PrefectureChad)
(IntangibleExistingThing (BorderBetweenFn Chad Cameroon))
(GeopoliticalBorder (BorderBetweenFn Chad Cameroon))
(Individual (BorderBetweenFn Chad Cameroon))
(lengthOfObject (BorderBetweenFn Chad Cameroon) (Kilometer 1094))
(Border (BorderBetweenFn Chad Cameroon))
(geopoliticalSubdivision Chad Batha-PrefectureChad)
(capitalCity Chad CityOfNdjamenaChad)
(latitude Chad (Degree-UnitOfAngularMeasure 15))
(bordersOn Chad Sudan)
(bordersOn Chad Niger)
(highestPointInRegion Chad EmiKoussi-Chad)
(holdsIn (YearFn 1997) (infantMortalityRate Chad 118.7))
(majorReligions Chad Islam)
(LandlockedRegion Chad)
(IKBConstant Chad)
(customers Chad SouthAfrica)
(bordersOn Chad Cameroon)
(regionProduces Chad TextileProduct)
(inhabitantTypes Chad EthnicGroupOfKotoko)
(holdsIn TheYear1986 (deathRate Chad 21.9))
(inhabitantTypes Chad EthnicGroupOfHadjerai)
(holdsIn TheYear1986 (infantMortalityRate Chad 146))
(areaOfRegion Chad (SquareKilometer (TimesFn 1.284 1000000)))
(holdsIn TheYear1986 (birthRate Chad 42.9))
(inhabitantTypes Chad EthnicGroupOfFulbe)
(holdsIn TheYear1988 (deathRate Chad 28))
(holdsIn TheYear1988 (birthRate Chad 51))
(holdsIn TheYear1988 (infantMortalityRate Chad 140))
(bordersOn Chad Libya)
(geopoliticalSubdivision Chad Tandjile-PrefectureChad)
(geopoliticalSubdivision Chad MayoKebbi-PrefectureChad)
(bordersOn Chad CentralAfricanRepublic)
(inhabitantTypes Chad ChadPerson)
(exports Chad Fish)
(geopoliticalSubdivision Chad Ouaddai-PrefectureChad)
(geopoliticalSubdivision Chad Kanem-PrefectureChad)
(geopoliticalSubdivision Chad LogoneOriental-PrefectureChad)
(geopoliticalSubdivision Chad LogoneOccidental-PrefectureChad)
(geopoliticalSubdivision Chad MoyenChari-PrefectureChad)
(longitude Chad (Degree-UnitOfAngularMeasure 19))
(subjectToCOC Chad HumanRights)
(customers Chad Portugal)
(holdsIn (YearFn 1997) (birthRate Chad 43.85))
(southernRegion Chad (SouthernRegionFn Chad))
(regionProduces Chad Rice-Foodstuff)
(languagesSpokenHere Chad FrenchLanguage)
(temporalBoundsContain Chad TheYear1988)
(geopoliticalSubdivision Chad BorkouEnnediTibesti-PrefectureChad)
(temporalBoundsContain Chad TheYear1986)
(customers Chad Germany)
(regionProduces Chad MilletPlant)
(Individual Chad)
(definingMt Chad WorldPoliticalGeographyDataVocabularyMt)
(nationalBudgetExpenditures Chad (MillionDollars 222))
(governmentType-Coll Chad Republic-Coll)
(adjSemTrans Chadian-TheWord 0 RegularAdjFrame
 (possessiveRelation Chad :NOUN))
(government Chad (GovernmentFn Chad))
(UnderdevelopedRegion Chad)
(naturalResourcesInRegion Chad Petroleum-CrudeOil)
(waterAreaOfRegion Chad (SquareKilometer 24800))
(Entity Chad)
(IndependentCountry Chad)
(holdsIn (YearFn 1997)
 (thereExistExactly 1603194 ?MALE
  (and (greaterThan ?AGE 14) (greaterThan 50 ?AGE)
       (citizens Chad ?MALE)
       ((MaleFn PersonLegallyCapableOfMilitaryService) ?MALE)
       (age ?MALE ?AGE))))
(holdsIn (YearFn 1997)
 (thereExistExactly 830777 ?MALE
  (and (citizens Chad ?MALE)
       ((MaleFn PersonFitForMilitaryService) ?MALE))))
(EELDNaturalDataConstant Chad)
(EELDSharedOntologyCandidateConstant Chad)
(inhabitantTypes Chad EthnicGroupOfKanembou)
(regionProduces Chad (ProductFn Sorghum-TheGrain))
(Individual (BorderBetweenFn Chad Libya))
(GeopoliticalBorder (BorderBetweenFn Chad Libya))
(Border (BorderBetweenFn Chad Libya))
(IntangibleExistingThing (BorderBetweenFn Chad Libya))
(thereExists ?URANIUM
 (and (inRegion ?URANIUM (BorderBetweenFn Chad Libya))
      (Uranium ?URANIUM) (objectFoundInLocation ?URANIUM Libya)))
(beliefs Libya
 (thereExists ?URANIUM
  (and (Uranium ?URANIUM) (objectFoundInLocation ?URANIUM Libya)
       (inRegion ?URANIUM (BorderBetweenFn Chad Libya)))))
(exports Chad Cattle-Generic)
(landAreaOfRegion Chad (SquareKilometer 1259200))
(nationalBudgetRevenues Chad (MillionDollars 136))
(holdsIn (YearFn 1997) (netMigrationRate Chad 0))
(exports Chad TextileProduct)
(exports Chad CottonStuff)
(majorReligions Chad Christianity)
(holdsIn (YearFn 1997) (deathRate Chad 17.15))
(regionProduces Chad Peanut-TheSeed)
(governmentType Chad Republic)
(startingDate Chad (DayFn 11 (MonthFn August (YearFn 1960))))
(inhabitantTypes Chad MuslimPerson)
(customers Chad France)
(conceptuallyRelated Chad (ResidentsFn Chad))
(imports Chad MechanicalDevice)
(regionProduces Chad Potato-Foodstuff)
(maleficiary ChemicalAttackAgainstChad-1987 Chad)
(internalSubRegions ContinentOfAfrica Chad)
(hasHeadquartersInCountry PatrioticSalvationMovement-Chad Chad)
(internationalOrganizationMemberCountries INTERPOL Chad)
(conceptuallyRelated EthnicGroupOfHadjerai Chad)
(jurisdictionRegion US-EuropeanCommand-Stuttgart-VaihingenGermany Chad)
(customers France Chad)
(geographicalSubRegions ContinentOfAfrica Chad)
(obligatedAgent NuclearNon-ProliferationTreaty Chad)
(hasMembers WorldTradeOrganization Chad)
(internationalOrganizationMemberCountries
 AfricanCaribbeanAndPacificCountries Chad)
(currencyOf Centime-Chad Chad)
(internationalOrganizationMemberCountries
 OrganizationForTheProhibitionOfChemicalWeapons Chad)
(customers Nigeria Chad)
(conceptuallyRelated EthnicGroupOfToubou Chad)
(bordersOn Nigeria Chad)
(holdsIn (YearFn 1987)
 (thereExistAtLeast 5000 ?TEL
  (and (Telephone ?TEL) (objectFoundInLocation ?TEL Chad))))
(internationalOrganizationMemberCountries
 CentralAfricanStatesDevelopmentBank Chad)
(areasOfOrigin EthnicGroupOfHausa Chad)
(lowestPointInRegion DjourabDepression Chad)
(currencyOf Franc-Chad Chad)
(hasMembers InternationalMonetaryFund Chad)
(customers UnitedStatesOfAmerica Chad)
(internationalOrganizationMemberCountries
 OrganizationOfTheIslamicConference Chad)
(holdsIn (YearFn 1991)
 (thereExistAtLeast 7000 ?TV
  (and (TelevisionSet ?TV) (objectFoundInLocation ?TV Chad))))
(internationalOrganizationMemberCountries UnitedNationsOrganization
 Chad)
(internationalOrganizationMemberCountries AfricanDevelopmentBank Chad)
(obligatedAgent ChemicalWeaponsConvention Chad)
(holdsIn (YearFn 1996)
 (thereExistAtLeast 31 ?AIRPORT
  (thereExistAtLeast 1 ?RUNWAY
   (and (Airport-Physical ?AIRPORT)
        (objectFoundInLocation ?AIRPORT Chad) (AirplaneRunway ?RUNWAY)
        (not (surfaceAttributeOfObj ?RUNWAY Paved))
        (physicalParts ?AIRPORT ?RUNWAY)
        (lengthOfObject ?RUNWAY ?LENGTH)))))
(holdsIn (YearFn 1996)
 (thereExistAtLeast 31 ?AIRPORT
  (thereExistAtLeast 1 ?RUNWAY
   (and (Airport-Physical ?AIRPORT) (AirplaneRunway ?RUNWAY)
        (objectFoundInLocation ?AIRPORT Chad)
        (not (surfaceAttributeOfObj-Coll ?RUNWAY Paved-Coll))
        (lengthOfObject ?RUNWAY ?VAR0)
        (physicalParts ?AIRPORT ?RUNWAY)))))
(holdsIn (YearFn 1996)
 (thereExistAtLeast 15 ?AIRPORT
  (thereExistAtLeast 1 ?RUNWAY
   (and (Airport-Physical ?AIRPORT)
        (objectFoundInLocation ?AIRPORT Chad) (AirplaneRunway ?RUNWAY)
        (surfaceAttributeOfObj ?RUNWAY Paved)
        (physicalParts ?AIRPORT ?RUNWAY)))))
(holdsIn (YearFn 1996)
 (thereExistAtLeast 15 ?AIRPORT
  (thereExistAtLeast 1 ?RUNWAY
   (and (surfaceAttributeOfObj-Coll ?RUNWAY Paved-Coll)
        (Airport-Physical ?AIRPORT) (AirplaneRunway ?RUNWAY)
        (objectFoundInLocation ?AIRPORT Chad)
        (physicalParts ?AIRPORT ?RUNWAY)))))
(holdsIn (YearFn 1996)
 (thereExistAtLeast 46 ?AIRPORT
  (and (Airport-Physical ?AIRPORT)
       (objectFoundInLocation ?AIRPORT Chad))))
(residenceOfOrganization PatrioticSalvationMovement-Chad Chad)
(not (and (RadioStation-Shortwave ?STATION)
          (objectFoundInLocation ?STATION Chad)))
(holdsIn (YearFn 1987)
 (thereExistExactly 1 ?STATION
  (and (TelevisionStation ?STATION)
       (objectFoundInLocation ?STATION Chad))))
(internationalOrganizationMemberCountries
 EconomicCommunityOfCentralAfricanStates Chad)
(conceptuallyRelated (ResidentsFn Chad) Chad)
(customers Cameroon Chad)
(implies
 (and (TransferringPossession ?PROC) (toPossessor ?PROC Libya)
      (transferredThing ?PROC ?MISSILE-1)
      (BallisticMissile-Nodong1 ?MISSILE-1))
 (consistent
  (and (MissileAttack ?ATTACK) (performedBy ?ATTACK Libya)
       (victim ?ATTACK Chad) (deviceUsed ?ATTACK ?MISSILE))))
(maleficiary CWAttackOnChadianTroops Chad)
(relationInstanceExists subOrganizations (GovernmentFn Chad) AirForce)
(positionOfPersonInOrganization DjimastaKoibla (GovernmentFn Chad)
 HeadOfGovernment)
(relationInstanceExists subOrganizations (GovernmentFn Chad)
 Army-BranchOfService)
(GovernmentOfCountry (GovernmentFn Chad))
(hasLeaders (GovernmentFn Chad) DjimastaKoibla)
(RegionalGovernment (GovernmentFn Chad))
(subOrganizations (GovernmentFn Chad) (ArmyFn Chad))
(Individual (GovernmentFn Chad))
(keyMembers (GovernmentFn Chad) DjimastaKoibla)
(conceptuallyRelated DjimastaKoibla (GovernmentFn Chad))
(keIrrelevantPrecisionSuggestionFrom (ResidentsFn Chad) Person)
(genls (ResidentsFn Chad) ChadPerson)
(PersonTypeByGeographicResidence (ResidentsFn Chad))
(genls (ResidentsFn Chad) Individual)
(genls (ResidentsFn Chad) Person)
(IKBConstant (SouthernRegionFn Chad))
(Individual (SouthernRegionFn Chad))
(hasClimateType (SouthernRegionFn Chad) HumidClimateCycle)
(Individual (ArmyFn Chad))
(groupMemberType (ArmyFn Chad) MilitaryPerson)
((GroupFn MilitaryPerson) (ArmyFn Chad))
(Army-BranchOfService (ArmyFn Chad))
(objectActedOn CWAttackOnChadianTroops (ArmyFn Chad))
(Individual (NationalRedCrossSocietyFn Chad))
(RedCrossSociety-National (NationalRedCrossSocietyFn Chad))
(hasMembers InternationalFederationOfRedCrossAndRedCrescentSocieties
 (NationalRedCrossSocietyFn Chad))
(SomethingExisting (LandBorderFn Chad))
(lengthOfObject (LandBorderFn Chad) (Kilometer 5968))
(Border (LandBorderFn Chad))
(Individual (LandBorderFn Chad))
(GeopoliticalBorder (LandBorderFn Chad))
(hasClimateType (NorthernRegionFn Chad) DesertClimateCycle)
(Individual (NorthernRegionFn Chad))
(IKBConstant (NorthernRegionFn Chad))
(GeographicalRegion (NorthernRegionFn Chad))
     )
  ) ;; End of description Chad