;; -*- LISP -*- ;; Description dumped from SME v4 ;; Created by paritosh, using HERBRAND, a x86 at HERBRAND running Microsoft Windows 9x, Me, NT and 2000 (sme::defdescription GermanyDgrp :documentation "" :notes "" :expressions ( (budgetExpenditures Germany GovernmentMilitaryOrganization (YearFn 1993) ((USDollarFn 1993) 4.0e+10)) (exportAmountDuring Germany Product (YearFn 1994) (BillionDollars 437)) (denotationRelatedTo German-TheWord Adjective 0 Germany) (goalCategoryForAgent Russia (powerInRegion-Geopolitical Germany CaspianRegion Low) GeopoliticalStatusGoal) (goals Russia (powerInRegion-Geopolitical Germany CaspianRegion Low)) (importsFrom Germany Product Ireland-TheNation) (populationDuring Germany (YearFn 1996) 83536115) (importsFrom Germany PetroleumProduct-Refined Libya) (importsFrom Germany Product Iceland) (laborForceDuring Germany (YearFn 1994) 3.675e+7) (holdsIn (YearFn 1997) (suppliedWithFrom Germany PetroleumProduct Libya)) (grossNationalProduct Germany (YearFn 1994) ((USDollarFn 1994) 1.3446e+12)) (importsFrom Germany Product Estonia) (importsThrough Germany (ProductFn NaturalGas) GazoducMaghreb-EuropePipeline) (importsFrom Germany Product Canada) (goalCategoryForAgent Russia (powerInRegion-Geopolitical Germany Caucasus-Region Low) GeopoliticalStatusGoal) (goals Russia (powerInRegion-Geopolitical Germany Caucasus-Region Low)) (behaviorCapable Germany EconomicEmbargo performedBy) (populationDuring Germany (MonthFn July (YearFn 1996)) 83536115) (populationDuring Germany (YearFn 1994) 81337541) (grossDomesticProduct Germany (YearFn 1996) (BillionDollars 1700)) (thereExists ?SUPPORT (and (holdsIn PersianGulfWar (givesSupportToAgent Germany UnitedStatesOfAmerica ?SUPPORT)) (isa ?SUPPORT MilitarySupport))) (thereExists ?SUPPORT (and (holdsIn PersianGulfWar (givesSupportToAgent Germany Kuwait ?SUPPORT)) (isa ?SUPPORT MilitarySupport))) (ist-Information PersianGulfWarMt (thereExists ?SUPPORT (and (holdsIn PersianGulfWar (givesSupportToAgent Germany SaudiArabia ?SUPPORT)) (isa ?SUPPORT MilitarySupport)))) (ist-Information PersianGulfWarMt (thereExists ?SUPPORT (holdsIn PersianGulfWar (givesSupportToAgent Germany SaudiArabia ?SUPPORT)))) (importsFrom Germany Product Chad) (goalCategoryForAgent Libya (powerInRegion-Geopolitical Germany MiddleEast-Region Low) ActionGuidingIdeology) (goals Libya (powerInRegion-Geopolitical Germany MiddleEast-Region Low)) (importanceOfThingInSet Germany (TheSetOf ?COUNTRY (and (isa ?COUNTRY IndependentCountry) (importsFrom ?COUNTRY PetroleumProduct-Refined Libya))) VeryHigh) (relationInstanceAll citizens Germany GermanPerson) (importsFrom Iceland Product Germany) (importsFrom Estonia Product Germany) (importsFrom Canada Product Germany) (performsInsAtLocation PFLP-GeneralCommand TerroristAct Germany) (borderBetweenRegions (BorderBetweenFn Austria Germany) Austria Germany) (relationAllInstance nationalityOfManufacturer GermanCar Germany) (bordersOn Denmark Germany) (holdsIn Iran-IraqWar (thereExists ?CHANGE (thereExists ?NUC (thereExists ?CORP (and (isa ?CHANGE ChangeInUserRights) (isa ?NUC NuclearProduct) (isa ?CORP LegalCorporation) (hasHeadquartersInCountry ?CORP Germany) (toPossessor ?CHANGE Iran) (objectOfPossessionTransfer ?CHANGE ?NUC) (fromPossessor ?CHANGE ?CORP)))))) (spatiallyIntersects WeserRiver Germany) (internationalOrg-MemberCountry OECD Germany) (incorporatedIn Bayer-CommercialOrganization Germany) (internationalOrg-MemberCountry ZanggerCommittee Germany) (internationalOrg-MemberCountry G10Organization Germany) (holdsSometimeDuring DesertShieldCoalition (affiliatedWith Oman Germany)) (internationalOrg-MemberCountry INTERPOL Germany) (spatiallyIntersects OderRiver Germany) (bordersOn Austria Germany) (internationalOrg-MemberCountry NATO Germany) (internationalOrg-MemberCountry CouncilOfEurope Germany) (customers Canada Germany) (customers Algeria Germany) (bordersOn Luxembourg Germany) (geographicalSubRegions WesternEurope Germany) (customers Azerbaijan Germany) (hasHeadquartersInCountry MerkurTheCompany Germany) (presentInRegion AumSupremeTruth Germany) (eventOccursAt KillingAtMykonosRestaurant Germany) (holdsIn (YearFn 1997) (customers Libya Germany)) (eventOccursAt GermanManKilledBySnipers-01 Germany) (residenceOfOrganization RedArmyFaction Germany) (customers Turkey Germany) (hasMembers InternationalSeabedAuthority Germany) (hasHeadquartersInCountry Deminex-OilCompany Germany) (holidayCelebratedInRegion Oktoberfest-Holiday Germany) (conceptuallyRelated CityOfBerlinGermany Germany) (performedBy OperationDesertStorm Germany) (customers Syria Germany) (conceptuallyRelated EthnicGroupOfGermans Germany) (internationalOrg-MemberCountry InternationalEnergyAgency Germany) (eventOccursAt BritishArmyArtilleryOfficerShotAndKilledWhileReturningHome-01 Germany) (holdsIn (YearFn 1900) (residesInRegion ChristianMommsen Germany)) (obligatedAgent NuclearNon-ProliferationTreaty Germany) (customers Estonia Germany) (customers Qatar Germany) (eventOccursAt ImprovisedExplosiveDeviceDetonated-01 Germany) (customers Afghanistan Germany) (obligatedAgent ChemicalWeaponsConvention Germany) (groupMembers DesertShieldCoalition Germany) (culturalRegionOfOrigin GermanCuisine Germany) (holdsIn (YearFn 1996) (customers Egypt Germany)) (customers Japan Germany) (spatiallyIntersects RhineRiver Germany) (internationalOrg-MemberCountry CouncilOfTheBalticSeaStates Germany) (bordersOn Belgium Germany) (eventOccursAt KillingOfIranianKurdishDissidents-01 Germany) (internationalOrg-MemberCountry UNIKOM Germany) (residesInRegion JohannSebastianBach Germany) (currencyOf Euro Germany) (obligatedAgent BiologicalAndToxinWeaponsConvention Germany) (bordersOn Poland Germany) (internationalOrg-MemberCountry InternationalHydrographicOrganization Germany) (hasMembers InternationalAtomicEnergyAgency Germany) (customers China-PeoplesRepublic Germany) (currencyOf Mark-Germany Germany) (internationalOrg-MemberCountry MissileTechnologyControlRegime Germany) (bordersOn Netherlands Germany) (bordersOn Switzerland Germany) (internationalOrg-MemberCountry AfricanDevelopmentBank Germany) (internationalOrg-MemberCountry OrganizationForTheProhibitionOfChemicalWeapons Germany) (geographicalSubRegions (WesternRegionFn ContinentOfEurope) Germany) (conceptuallyRelated PlattdeutschLanguage Germany) (isa (IndustryOfRegionFn OilIndustry Germany) OilIndustry) (isa (IndustryOfRegionFn OilIndustry Germany) Industry-Localized) (groupMembers (IndustryOfRegionFn OilIndustry Germany) Deminex-OilCompany) (residenceOfOrganization US-EuropeanCommand-Stuttgart-VaihingenGermany Germany) (hasMembers WorldTradeOrganization Germany) (internationalOrg-MemberCountry NuclearSuppliersGroup Germany) (spatiallyIntersects DanubeRiver Germany) (conceptuallyRelated Helgoland-Island-Germany Germany) (holdsIn (IntervalStartedByFn (YearFn 1951)) (internationalOrg-MemberCountry EuropeanUnion Germany)) (internationalOrg-MemberCountry DesertShieldCoalition Germany) (performedBy SinkingOfTheLusitania-MilitaryAttack Germany) (internationalOrg-MemberCountry G8Organization Germany) (customers Ireland-TheNation Germany) (customers Greece Germany) (geographicalSubRegions ContinentOfEurope Germany) (customers France Germany) (groupMembers (IndustryOfRegionFn (IndustryFn NaturalGas) Germany) Deminex-OilCompany) (isa (IndustryOfRegionFn (IndustryFn NaturalGas) Germany) (IndustryFn NaturalGas)) (isa (IndustryOfRegionFn (IndustryFn NaturalGas) Germany) Industry-Localized) (industryProducesType (IndustryOfRegionFn (IndustryFn NaturalGas) Germany) NaturalGas) (internationalOrg-MemberCountry UnitedNationsOrganization Germany) (internationalOrg-MemberCountry WassenaarArrangement-Organization Germany) (internationalOrg-MemberCountry InternationalAtomicEnergyAgency Germany) (customers Iran Germany) (internationalOrg-MemberCountry CustomsCooperationCouncil Germany) (birthPlace FriedrichNietzsche Germany) (provenanceOfMediaSeriesProduct DerSpiegel-TheMagazine Germany) (doneBy OperationDesertStorm Germany) (conceptuallyRelated RichardWagner Germany) (conceptuallyRelated CityOfHamburgGermany Germany) (internationalOrg-MemberCountry BankForInternationalSettlements Germany) (isa (BorderBetweenFn Austria Germany) IntangibleExistingThing) (isa (BorderBetweenFn Austria Germany) Border) (isa (BorderBetweenFn Austria Germany) GeopoliticalBorder) (lengthOfObject (BorderBetweenFn Austria Germany) (Kilometer 784)) (internationalOrg-MemberCountry CentralAfricanStatesDevelopmentBank Germany) (internationalOrg-MemberCountry AustraliaGroup Germany) (customers Iceland Germany) (customers Chad Germany) (hasMembers InternationalMonetaryFund Germany) (isa Germany IndependentCountry) (customers Germany China-PeoplesRepublic) (isa Germany Entity) (citizens Germany PaulJohannLudwigHeyse) (holdsIn (YearFn 1996) (customers Germany Egypt)) (citizens Germany RudolfChristophEuken) (customers Germany Australia) (customers Germany Libya) (ethnicGroupsHere Germany EthnicGroupOfTurks) (ethnicGroupsHere Germany EthnicGroupOfPoles) (defenseBudgetExpenditures Germany ((USDollarFn 1993) 4.0e+10)) (isa Germany IndustrializedCountry) (customers Germany Algeria) (adjSemTrans German-TheWord 0 RegularAdjFrame (possessiveRelation Germany :NOUN)) (customers Germany Ireland-TheNation) (bordersOn Germany CzechRepublic) (customers Germany Azerbaijan) (chiefPorts Germany CityOfRostockGermany) (geopoliticalSubdivision Germany Hamburg-StateGermany) (chiefPorts Germany CityOfHamburgGermany) (bordersOn Germany France) (bordersOn Germany Scandinavia-Continental) (languagesSpokenHere Germany SwabianDialect) (geopoliticalSubdivision Germany SachsenAnhalt-StateGermany) (holdsIn (TimeIntervalBetweenFn (YearFn 1934) (YearFn 1945)) (presidentOfCountry Germany AdolfHitler)) (geopoliticalSubdivision Germany Saarland-StateGermany) (geographicalSubRegions Germany CityOfBerlinGermany) (ethnicGroupsHere Germany EthnicGroupOfItalians) (languagesSpokenHere Germany AlsatianDialect) (nationalLanguage Germany GermanLanguage) (chiefPorts Germany CityOfWismarGermany) (isa Germany GeographicalRegion) (bordersOn Germany Scandinavia-Nordic) (customers Germany Syria) (geopoliticalSubdivision Germany BadenWurttemberg-StateGermany) (customers Germany Iceland) (customers Germany Japan) (geopoliticalSubdivision Germany RheinlandPfalz-StateGermany) (geopoliticalSubdivision Germany Hessen-StateGermany) (isa Germany WesternEuropeanCountry) (geopoliticalSubdivision Germany Bremen-StateGermany) (isa Germany PublicConstant) (customers Germany Qatar) (geopoliticalSubdivision Germany Bayern-StateGermany) (customers Germany Kuwait) (subjectToCOC Germany HumanRights) (geopoliticalSubdivision Germany Brandenburg-StateGermany) (chiefPorts Germany CityOfLubeckGermany) (geopoliticalSubdivision Germany Berlin-StateGermany) (holdsIn (TimeIntervalInclusiveFn (DayFn 3 (MonthFn October (YearFn 1990))) Now) (hasAsHeadOfGovernment Germany HelmutKohl)) (customers Germany Bahrain) (geopoliticalSubdivision Germany NordrheinWestfalen-StateGermany) (customers Germany Iran) (ethnicGroupsHere Germany EthnicGroupOfGreeks) (customers Germany Estonia) (geopoliticalSubdivision Germany Sachsen-StateGermany) (chiefPorts Germany CityOfStralsundGermany) (holdsIn SinkingOfTheLusitania-MilitaryAttack (possesses Germany SubThatSankTheLusitania)) (customers Germany Afghanistan) (predominantLanguage Germany GermanLanguage) (geopoliticalSubdivision Germany MecklenburgVorpommern-StateGermany) (bordersOn Germany Scandinavia-Broad) (customers Germany Turkey) (citizens Germany GerhartHauptmann) (geopoliticalSubdivision Germany Thuringen-StateGermany) (geopoliticalSubdivision Germany Niedersachsen-StateGermany) (ethnicGroupsHere Germany EthnicGroupOfGermans) (holdsIn Czechoslovakia (bordersOn Germany Czechoslovakia)) (chiefPorts Germany CityOfBremenGermany) (customers Germany Canada) (customers Germany France) (languagesSpokenHere Germany SaxonLanguage) (customers Germany Greece) (geographicalSubRegions Germany WeserRiver) (languagesSpokenHere Germany GermanLanguage) (geopoliticalSubdivision Germany SchleswigHolstein-StateGermany) (isa (NationalRedCrossSocietyFn Germany) RedCrossSociety-National) (hasMembers InternationalFederationOfRedCrossAndRedCrescentSocieties (NationalRedCrossSocietyFn Germany)) (isa (ResidentsFn Germany) PersonByGeographicResidence) (genls (ResidentsFn Germany) GermanPerson) (genls (ResidentsFn Germany) EthnicGroupOfGermans) (genls (ResidentsFn Germany) Person) ) ) ;; End of description GermanyDgrp ;;------------------------------------ ;; -*- LISP -*- ;; Description dumped from SME v4 ;; Created by paritosh, using HERBRAND, a x86 at HERBRAND running Microsoft Windows 9x, Me, NT and 2000 (sme::defdescription FranceDgrp :documentation "" :notes "" :expressions ( (examplePredSentences similarWRTTypeSpecsViaBinRel (similarWRTTypeSpecsViaBinRel Italy France Food exports)) (exportAmountDuring France Product (YearFn 1995) ((USDollarFn 1995) 3.02965e+9)) (examplePredSentences similarWRTTypeSpecsViaBinRel-Inverse (similarWRTTypeSpecsViaBinRel-Inverse France Italy Wine productTypeProducedIn)) (importAmountDuring France Product (YearFn 1995) ((USDollarFn 1995) 2.89471e+9)) (denotationRelatedTo French-TheWord Adjective 0 France) (successorInRole KingLouisXVI KingLouisXV headOfStateOf France) (successorInRole KingLouisXIII KingHenryIV headOfStateOf France) (successorInRole NapoleonI KingLouisXVII headOfStateOf France) (successorInRole KingLouisXV KingLouisXIV headOfStateOf France) (successorInRole KingCharlesX KingLouisXVIII headOfStateOf France) (successorInRole KingLouisPhilippe KingCharlesX headOfStateOf France) (successorInRole KingLouisXVIII NapoleonI headOfStateOf France) (successorInRole KingLouisXIV KingLouisXIII headOfStateOf France) (successorInRole KingLouisXVII KingLouisXVI headOfStateOf France) (successorInRole NapoleonIII KingLouisPhilippe headOfStateOf France) (performsInsAtLocation France TerroristAct NewZealand) (goalCategoryForAgent Russia (powerInRegion-Geopolitical France CaspianRegion Low) GeopoliticalStatusGoal) (goals Russia (powerInRegion-Geopolitical France CaspianRegion Low)) (memberStatusInOrganization France NATO FoundingMember) (populationDuring France (MonthFn July (YearFn 1996)) 58317450) (importsFrom France PetroleumProduct-Refined Libya) (laborForceDuring France (YearFn 1995) 2.417e+7) (thereExists ?SUPPORT (and (holdsIn PersianGulfWar (givesSupportToAgent France UnitedStatesOfAmerica ?SUPPORT)) (isa ?SUPPORT MilitarySupport))) (importsThrough France PetroleumProduct StraitOfHormuz) (lengthOfPathTypeInRegion France GasPipeline (Kilometer 24746)) (grossDomesticProduct France (YearFn 1996) (BillionDollars 1220)) (importanceOfThingInSet France (TheSetOf ?COUNTRY (and (isa ?COUNTRY IndependentCountry) (importsFrom ?COUNTRY PetroleumProduct-Refined Libya))) VeryHigh) (realGDPGrowthRateDuring France (YearFn 1995) 2.4) (ist-Information Iran-IraqTankerWarMt (purposeInEvent France FranceSendsForcesToGulf (thereExists ?PROTECTION (and (isa ?PROTECTION ProtectingSomething) (directingAgent ?PROTECTION (NavyFn France)) (relationInstanceExists objectProtected ?PROTECTION CargoShip))))) (importsThrough France (ProductFn NaturalGas) GazoducMaghreb-EuropePipeline) (ist-Information PersianGulfWarMt (thereExists ?SUPPORT (and (holdsIn PersianGulfWar (givesSupportToAgent France SaudiArabia ?SUPPORT)) (isa ?SUPPORT MilitarySupport)))) (ist-Information PersianGulfWarMt (thereExists ?SUPPORT (holdsIn PersianGulfWar (givesSupportToAgent France SaudiArabia ?SUPPORT)))) (behaviorCapable France EconomicEmbargo performedBy) (thereExists ?SUPPORT (and (holdsIn PersianGulfWar (givesSupportToAgent France Kuwait ?SUPPORT)) (isa ?SUPPORT MilitarySupport))) (importsFrom France Product UnitedKingdomOfGreatBritainAndNorthernIreland) (importsFrom France Product Chad) (holdsIn (YearFn 1997) (suppliedWithFrom France PetroleumProduct Libya)) (lengthOfPathTypeInRegion France OilPipeline (Kilometer 4487)) (populationDuring France (YearFn 1996) 58317450) (importsFrom France Product Andorra) (importsFrom France Product Ireland-TheNation) (lengthOfPathTypeInRegion France Highway (Kilometer 1511200)) (importsFrom France Product Iceland) (productionCapacity France Electricity (KiloWatt 105250000)) (holdsIn (TimeIntervalBetweenFn (YearFn 1945) Now) (memberStatusInOrganization France UN-SecurityCouncil PermanentMember)) (implies (and (numInhabitants France ?INHAB) (grossNationalProduct France (YearFn 1994) ((USDollarFn 1994) ?AMT))) (evaluate 18670 (QuotientFn ?AMT ?INHAB))) (goalCategoryForAgent Russia (powerInRegion-Geopolitical France Caucasus-Region Low) GeopoliticalStatusGoal) (goals Russia (powerInRegion-Geopolitical France Caucasus-Region Low)) (goalCategoryForAgent Libya (powerInRegion-Geopolitical France MiddleEast-Region Low) ActionGuidingIdeology) (goals Libya (powerInRegion-Geopolitical France MiddleEast-Region Low)) (examplePredSentences greaterValueOn (greaterValueOn Russia France areaOfObject)) (relationInstanceAll citizens France StPierreAndMiquelonPerson) (relationInstanceAll geopoliticalSubdivision France FrenchRegion) (beliefs InternationalCommunity (relationInstanceExists possesses France ChemicalWeapon)) (beliefs InternationalCommunity (relationInstanceExistsMany possesses France NuclearWeapon)) (beliefs InternationalCommunity (relationInstanceExists possesses France NuclearWeapon)) (many-GenQuantRelnFrom possesses France NuclearWeapon) (relationInstanceAll citizens France MartiniquePerson) (relationInstanceAll citizens France FrenchGuiananPerson) (relationInstanceAll citizens France GuadeloupePerson) (performsInsAtLocation BasqueFatherlandAndLiberty TerroristAttack France) (performsInsAtLocation Iran TerroristAct France) (performsInsAtLocation ArmedIslamicGroup TerroristAct France) (importsFrom UnitedKingdomOfGreatBritainAndNorthernIreland Product France) (importsFrom Andorra Product France) (relationAllInstance nationalityOfManufacturer FrenchCar France) (performsInsAtLocation AbuNidalOrganization TerroristAttack France) (borderBetweenRegions (BorderBetweenFn Spain France) Spain France) (formsBorderBetween Pyrenees-Mountains Spain France) (borderBetweenRegions (BorderBetweenFn Andorra France) Andorra France) (suppliedWithFrom Iraq CruiseMissile-ExocetAM39 France) (suppliedWithFrom Iraq CruiseMissile-Armat France) (importsFrom Canada Product France) (hasMembers InternationalMonetaryFund France) (internationalOrg-MemberCountry G7Organization France) (internationalOrg-MemberCountry InternationalMonetaryFund France) (customers Chad France) (internationalOrg-MemberCountry CouncilOfEurope France) (symbolizes (AnthemFn France) France) (internationalOrg-MemberCountry InternationalEnergyAgency France) (internationalOrg-MemberCountry InternationalCivilAviationOrganization France) (currencyOf Euro France) (internationalOrg-MemberCountry G5Organization France) (internationalOrg-MemberCountry PermanentCourtOfArbitration France) (conceptuallyRelated ReunionIsland France) (internationalOrg-MemberCountry InternationalLaborOrganization France) (internationalOrg-MemberCountry MissileTechnologyControlRegime France) (customers Spain France) (conceptuallyRelated FrancoisMitterrand France) (customers Iceland France) (internationalOrg-MemberCountry InternationalHydrographicOrganization France) (examplePredSentences properPartOf-RCC (properPartOf-RCC CityOfParisFrance France)) (internationalOrg-MemberCountry UnitedNationsOrganization France) (conceptuallyRelated NapoleonI France) (isa (BorderBetweenFn Andorra France) Border) (isa (BorderBetweenFn Andorra France) GeopoliticalBorder) (lengthOfObject (BorderBetweenFn Andorra France) (Kilometer 60)) (isa (BorderBetweenFn Andorra France) IntangibleExistingThing) (examplePredSentences partOf-RCC (partOf-RCC CityOfParisFrance France)) (holdsIn (TimeIntervalBetweenFn (YearFn 1852) (YearFn 1873)) (and (isa NapoleonIII Emperor-HeadOfState) (headOfStateOf NapoleonIII France))) (birthPlace JacquesAnatoleThibault France) (customers Italy France) (customers Ireland-TheNation France) (internationalOrg-MemberCountry EconomicAndSocialCommissionForAsiaAndThePacific France) (internationalOrg-MemberCountry UnitedNationsInstituteForTrainingAndResearch France) (customers Netherlands France) (holdsIn (TimeIntervalBetweenFn (YearFn 1643) (YearFn 1715)) (and (isa KingLouisXIV King-HeadOfState) (headOfStateOf KingLouisXIV France) (rulerInDynasty KingLouisXIV HouseOfBourbon))) (holdsIn (TimeIntervalBetweenFn (YearFn 1799) (YearFn 1814)) (and (isa NapoleonI Emperor-HeadOfState) (headOfStateOf NapoleonI France))) (internationalOrg-MemberCountry InternationalOrganizationForStandardization France) (internationalOrg-MemberCountry BankForInternationalSettlements France) (internationalOrg-MemberCountry AsianDevelopmentBank France) (customers Japan France) (internationalOrg-MemberCountry InternationalTelecommunicationUnion France) (internationalOrg-MemberCountry CustomsCooperationCouncil France) (conceptuallyRelated FrenchCuisine France) (conceptuallyRelated LaurentFabius France) (conceptuallyRelated KingLouisPhilippe France) (ist-Information DesertShieldMt (performedBy FranceAnnouncesTroopDeployments France)) (internationalOrg-MemberCountry UNESCO France) (mtTopic FranceGeographyDualistMt France) (conceptuallyRelated (AnthemFn France) France) (conceptuallyRelated KingCharlesX France) (conceptuallyRelated CityOfParisFrance France) (mtTopic FranceGeographyMt France) (conceptuallyRelated KingLouisXVIII France) (internationalOrg-MemberCountry WassenaarArrangement-Organization France) (conceptuallyRelated CityOfNiceFrance France) (mtTopic FranceNaturalGeographyMt France) (residenceOfOrganization DoctorsWithoutBorders France) (internationalOrg-MemberCountry InternationalFinanceCorporation France) (internationalOrg-MemberCountry UnitedNationsConferenceOnTradeAndDevelopment France) (internationalOrg-MemberCountry CentralAfricanStatesDevelopmentBank France) (conceptuallyRelated MontBlanc-Mount France) (holdsIn (TimeIntervalBetweenFn (YearFn 1610) (YearFn 1643)) (and (isa KingLouisXIII King-HeadOfState) (headOfStateOf KingLouisXIII France) (rulerInDynasty KingLouisXIII HouseOfBourbon))) (holidayCelebratedInRegion EighthOfMay France) (birthPlace ClaudeSimon France) (holdsIn (YearFn 1950) (residesInRegion IvanBunin France)) (internationalOrg-MemberCountry NuclearEnergyAgency France) (holdsIn (IntervalStartedByFn (YearFn 1951)) (internationalOrg-MemberCountry EuropeanUnion France)) (holdsIn (TimeIntervalBetweenFn (YearFn 1814) (YearFn 1824)) (and (isa KingLouisXVIII King-HeadOfState) (headOfStateOf KingLouisXVIII France) (rulerInDynasty KingLouisXVIII RestorationOfHouseOfBourbon))) (internationalOrg-MemberCountry OECD France) (internationalOrg-MemberCountry AfricanDevelopmentBank France) (internationalOrg-MemberCountry DesertShieldCoalition France) (internationalOrg-MemberCountry FoodAndAgricultureOrganization France) (isa (BorderBetweenFn Spain France) Border) (lengthOfObject (BorderBetweenFn Spain France) (Kilometer 623)) (isa (BorderBetweenFn Spain France) GeopoliticalBorder) (isa (BorderBetweenFn Spain France) IntangibleExistingThing) (conceptuallyRelated FrenchPerson France) (internationalOrg-MemberCountry InternationalBankForReconstructionAndDevelopment France) (holdsIn (TimeIntervalBetweenFn (YearFn 1793) (YearFn 1795)) (and (isa KingLouisXVII King-HeadOfState) (headOfStateOf KingLouisXVII France) (rulerInDynasty KingLouisXVII HouseOfBourbon))) (customers Algeria France) (internationalOrg-MemberCountry NATO France) (ist-Information DesertShieldMt (senderOfInfo FranceAnnouncesTroopDeployments France)) (internationalOrg-MemberCountry UN-SecurityCouncil France) (considersAsEnemy NationalFrontForTheRenewalOfChad France) (conceptuallyRelated Petanque France) (holdsSometimeDuring DesertShieldCoalition (affiliatedWith Oman France)) (customers Syria France) (ist-Information Iran-IraqTankerWarMt (directingAgent FranceSendsForcesToGulf France)) (cultureRegions FrenchCulture France) (internationalOrg-MemberCountry G8Organization France) (holdsIn (YearFn 1997) (customers Libya France)) (holdsIn (TimeIntervalBetweenFn (YearFn 1589) (YearFn 1610)) (and (isa KingHenryIV King-HeadOfState) (headOfStateOf KingHenryIV France) (rulerInDynasty KingHenryIV HouseOfBourbon))) (holdsIn (TimeIntervalBetweenFn (YearFn 1774) (YearFn 1792)) (and (isa KingLouisXVI King-HeadOfState) (headOfStateOf KingLouisXVI France) (rulerInDynasty KingLouisXVI HouseOfBourbon))) (customers Qatar France) (conceptuallyRelated EthnicGroupOfFrench France) (internationalOrg-MemberCountry InternationalOrganizationForMigration France) (internationalOrg-MemberCountry AustraliaGroup France) (internationalOrg-MemberCountry InterAmericanDevelopmentBank France) (internationalOrg-MemberCountry Intelsat France) (customers Germany France) (doneBy OperationDesertStorm France) (internationalOrg-MemberCountry WorldFederationOfTradeUnions France) (currencyOf Franc-France France) (customers Greece France) (performedBy OperationDesertStorm France) (internationalOrg-MemberCountry WorldMeteorologicalOrganization France) (internationalOrg-MemberCountry InternationalDevelopmentAssociation France) (conceptuallyRelated TromelinIsland France) (internationalOrg-MemberCountry AndeanGroup France) (internationalOrg-MemberCountry G10Organization France) (internationalOrg-MemberCountry UnitedNationsUniversity France) (hasMembers WorldTradeOrganization France) (internationalOrg-MemberCountry ZanggerCommittee France) (customers Iran France) (holdsIn (TimeIntervalBetweenFn (YearFn 1830) (YearFn 1848)) (and (isa KingLouisPhilippe King-HeadOfState) (headOfStateOf KingLouisPhilippe France) (rulerInDynasty KingLouisPhilippe Bourbon-OrleansLine))) (internationalOrg-MemberCountry InternationalAtomicEnergyAgency France) (customers Andorra France) (internationalOrg-MemberCountry WorldHealthOrganization France) (internationalOrg-MemberCountry WorldIntellectualPropertyOrganization France) (internationalOrg-MemberCountry UnitedNationsOfficeOfTheHighCommissionerForRefugees France) (internationalOrg-MemberCountry InternationalChamberOfCommerce France) (residenceOfOrganization Iparretarrak France) (internationalOrg-MemberCountry INTERPOL France) (internationalOrg-MemberCountry WorldConfederationOfLabor France) (hasMembers InternationalSeabedAuthority France) (obligatedAgent BiologicalAndToxinWeaponsConvention France) (internationalOrg-MemberCountry UnitedNationsIndustrialDevelopmentOrganization France) (internationalOrg-MemberCountry UNIKOM France) (bordersOn EnglishChannel France) (bordersOn Andorra France) (holdsIn (TimeIntervalBetweenFn (YearFn 1715) (YearFn 1774)) (and (isa KingLouisXV King-HeadOfState) (headOfStateOf KingLouisXV France) (rulerInDynasty KingLouisXV HouseOfBourbon))) (bordersOn Spain France) (conceptuallyRelated Pyrenees-Mountains France) (customers UnitedKingdomOfGreatBritainAndNorthernIreland France) (eventOccursAt MolotovCocktailThrownAtBuildingInParis-01 France) (internationalOrg-MemberCountry Inmarsat France) (bordersOn BayOfBiscay France) (obligatedAgent ChemicalWeaponsConvention France) (internationalOrg-MemberCountry EuropeanBankForReconstructionAndDevelopment France) (geographicalSubRegions ContinentOfEurope France) (bordersOn Germany France) (sticksInto-2D LakeGeneva France) (eventOccursAt MurderOfRezaMazlouman France) (bordersOn Luxembourg France) (obligatedAgent NuclearNon-ProliferationTreaty France) (bordersOn Italy France) (pathDividesRegion RhoneRiver France) (groupMembers DesertShieldCoalition France) (internationalOrg-MemberCountry NuclearSuppliersGroup France) (bordersOn Switzerland France) (internationalOrg-MemberCountry UniversalPostalUnion France) (internationalOrg-MemberCountry OrganizationOfAmericanStates France) (internationalOrg-MemberCountry OrganizationForTheProhibitionOfChemicalWeapons France) (conceptuallyRelated (ResidentsFn France) France) (geographicalSubRegions WesternEurope France) (internationalOrg-MemberCountry InternationalFundForAgriculturalDevelopment France) (bordersOn MediterraneanSea France) (bordersOn Belgium France) (geographicalSubRegions (WesternRegionFn ContinentOfEurope) France) (culturalRegionOfOrigin FrenchCuisine France) (internationalOrg-MemberCountry InternationalMaritimeOrganization France) (hasMembers InternationalAtomicEnergyAgency France) (holdsIn (TimeIntervalBetweenFn (YearFn 1824) (YearFn 1830)) (and (isa KingCharlesX King-HeadOfState) (headOfStateOf KingCharlesX France) (rulerInDynasty KingCharlesX RestorationOfHouseOfBourbon))) (internationalOrg-MemberCountry WorldTradeOrganization France) (not (performedBy PassingUNSC-ResolutionThreateningIraqiTravelBan France)) (internationalOrg-MemberCountry InternationalOlympicCommittee France) (eventOccursAt AssassinationOfLTTETreasurer-01 France) (internationalOrg-MemberCountry InternationalConfederationOfFreeTradeUnions France) (eventOccursAt BombingOfRegionalExpress-01 France) (geopoliticalSubdivision France Provence) (government France (GovernmentFn France)) (customers France Canada) (customers France Japan) (isa France IndependentCountry) (usedInWPDemoInferencing (isa France IndependentCountry)) (geopoliticalSubdivision France Reunion-Department) (geopoliticalSubdivision France FrenchSouthernAndAntarcticLands) (goals France (territoriesControlled France GloriosoIslands)) (isa France Entity) (spatiallyIntersects France LakeGeneva) (holdsIn TheYear1988 (birthRate France 14)) (citizens France FredericMistral) (geopoliticalSubdivision France Brittany) (citizens France HenriBergson) (adjSemTrans French-TheWord 0 RegularAdjFrame (possessiveRelation France :NOUN)) (customers France Germany) (customers France Spain) (customers France Italy) (territoryOf France (TerritoryFn France)) (imports France Rum) (goals France (territoriesControlled France BassasDaIndia)) (customers France Qatar) (customers France Syria) (customers France Iran) (customers France Andorra) (conceptuallyRelated France ReunionIsland) (bordersOn France LakeGeneva) (chiefPorts France CityOfLeHavreFrance) (nationalLanguage France FrenchLanguage) (hasOwnershipIn France (TerritoryFn France)) (exceptWhen (and (elementOf ?OVERSEASTERRITORY (TheSet FrenchPolynesia FrenchSouthernAndAntarcticLands Martinique Guadeloupe-TheDependency StPierreAndMiquelon WallisAndFutunaIslands FrenchGuiana Mayotte NewCaledonia-Territory Reunion-Department)) (geopoliticalSubdivision ?OVERSEASTERRITORY ?AREA)) (implies (geopoliticalSubdivision France ?AREA) (geographicalSubRegions MetropolitainFrance ?AREA))) (usedInWPDemoInferencing (ist WorldGeographyDualistMt (geographicalSubRegions France CityOfParisFrance))) (customers France Greece) (geographicalSubRegions France MontBlanc-Mount) (citizens France JacquesAnatoleThibault) (fertilityRate France 1.8) (isa France IndustrializedCountry) (imports France (ProductFn Petroleum-CrudeOil)) (governmentType France Republic) (holdsIn TheYear1988 (deathRate France 10)) (conceptuallyRelated France FrenchPerson) (citizens France ReneFrancoisArmand) (goals France (territoriesControlled France KerguelenArchipelago)) (regionHasTransportMeans France Ship) (geopoliticalSubdivision France Martinique) (regionHasTransportMeans France Airplane) (majorReligions France Islam) (citizens France Colette) (imports France Vodka) (citizens France RomainRolland) (startingDate France (YearFn 486)) (ethnicGroupsHere France EthnicGroupOfAfricans) (customers France Libya) (bordersOn France IberianPeninsula) (ableToControl France TromelinIsland) (goals France (territoriesControlled France ClippertonIsland)) (geopoliticalSubdivision France NewCaledonia-Territory) (customers France Algeria) (capitalCity France CityOfParisFrance) (isa France NuclearWeaponStateUnderNNPT) (geographicalSubRegions France MetropolitainFrance) (regionHasTransportMeans France Truck) (visaType France (VisaFn France)) (geopoliticalSubdivision France Guadeloupe-TheDependency) (geographicalSubRegions France GaronneRiver) (hero France JoanOfArc) (regionHasTransportMeans France Train-TransportationDevice) (temporalBoundsContain France TheYear1988) (holdsIn TheYear1988 (infantMortalityRate France 8.2)) (geopoliticalSubdivision France Mayotte) (predominantLanguage France FrenchLanguage) (geographicalSubRegions France SeineRiver) (languagesSpokenHere France FrenchLanguage) (isa France WesternEuropeanCountry) (nationalAnthemIs France (AnthemFn France)) (geopoliticalSubdivision France FrenchPolynesia) (temporalBoundsContain France TheYear1986) (geographicalSubRegions France MarneRiver) (spatiallyIntersects France Ardennes-Region) (omitFromIKB (languagesSpokenHere France ItalianLanguage)) (omitFromIKB (languagesSpokenHere France PortugueseLanguage)) (imports France MechanicalDevice) (geographicalSubRegions France (SouthernRegionFn France)) (citizens France RogerMartinDuGard) (conceptuallyRelated France (ResidentsFn France)) (geopoliticalSubdivision France CatalonianFrance) (customers France Netherlands) (southernRegion France (SouthernRegionFn France)) (geopoliticalSubdivision France FrenchGuiana) (citizens France AndreGide) (imports France PetroleumProduct) (goals France (territoriesControlled France SaintPaulIsland)) (spatiallyIntersects France PrimeMeridian) (holdsIn (YearFn 1994) (totalDebt France ((USDollarFn 1994) -6.47711e+8))) (customers France Oman) (subjectToCOC France HumanRights) (ethnicGroupsHere France EthnicGroupOfFrench) (citizens France AlexisLeger) (infantMortalityRate France 6.5) (customers France Ireland-TheNation) (geopoliticalSubdivision France StPierreAndMiquelon) (imports France ElectronicDevice) (ethnicGroupsHere France EthnicGroupOfBasques) (geopoliticalSubdivision France Alsace-Lorraine) (citizens France FrancoisMauriac) (customers France Kuwait) (beliefs InternationalCommunity (thereExists ?WEAP (and (isa ?WEAP NuclearWeapon) (possesses France ?WEAP)))) (beliefs InternationalCommunity (thereExists ?WEAP (and (isa ?WEAP ChemicalWeapon) (possesses France ?WEAP)))) (customers France Chad) (customers France UnitedKingdomOfGreatBritainAndNorthernIreland) (isa France PublicConstant) (many-GenQuantRelnFrom possesses (AirForceFn France) MatraMica-AirToAirMissile) (many-GenQuantRelnFrom possesses (AirForceFn France) MagicII-AirToAirMissile) (isa (AirForceFn France) GovernmentMilitaryOrganization) (isa (AirForceFn France) Individual) (isa (AirForceFn France) AirForce) (subOrganizations (GovernmentFn France) (AirForceFn France)) (ist-Information Iran-IraqTankerWarMt (increasesImmediatelyCausally FranceSendsForcesToGulf (TheSetOf ?NAVAL-UNIT (and (isa ?NAVAL-UNIT ModernMilitaryOrganization) (subOrganizations (NavyFn France) ?NAVAL-UNIT) (objectFoundInLocation ?NAVAL-UNIT PersianGulfRegion))) entityCardinality)) (ist-Information Iran-IraqTankerWarMt (implies (and (isa ?MILITARY-ORG ModernMilitaryOrganization) (transferredThing FranceSendsForcesToGulf ?MILITARY-ORG)) (subOrganizations (NavyFn France) ?MILITARY-ORG))) (isa (NavyFn France) ModernMilitaryOrganization) (isa (NavyFn France) Navy) (isa (NavyFn France) GovernmentMilitaryOrganization) (subOrganizations (GovernmentFn France) (NavyFn France)) (officialArmedForces (GovernmentFn France) (NavyFn France)) (examplePredSentences nontangentialProperPartOf-Inverse-RCC (nontangentialProperPartOf-Inverse-RCC (GeographicalSpaceRegionFn France) (GeographicalSpaceRegionFn CityOfParisFrance))) (genls (ResidentsFn France) FrenchPerson) (genls (ResidentsFn France) Person) (isa (ResidentsFn France) PersonByGeographicResidence) (isa (NationalRedCrossSocietyFn France) RedCrossSociety-National) (hasMembers InternationalFederationOfRedCrossAndRedCrescentSocieties (NationalRedCrossSocietyFn France)) (isa (SouthernRegionFn France) Individual) (isa (SouthernRegionFn France) IKBConstant) (isa (SouthernRegionFn France) GeographicalRegion) (presentInRegion BasqueFatherlandAndLiberty (SouthernRegionFn France)) (isa (GovernmentFn France) GovernmentOfCountry) (ist-Information DesertShieldMt (infoTransferred FranceAnnouncesTroopDeployments (thereExists ?MOVEMENT (thereExists ?MILITARY-ORG (and (isa ?MOVEMENT Movement-TranslationEvent) (isa ?MILITARY-ORG ModernMilitaryOrganization) (toLocation ?MOVEMENT PersianGulfRegion) (officialArmedForces (GovernmentFn France) ?MILITARY-ORG) (primaryObjectMoving ?MOVEMENT ?MILITARY-ORG)))))) (isa (GovernmentFn France) RegionalGovernment) (spatiallyIntersects WesternHemisphere-Region (TerritoryFn France)) (examplePredSentences properPartOf-RCC (properPartOf-RCC (TerritoryFn CityOfParisFrance) (TerritoryFn France))) (spatiallyIntersects EasternHemisphere-Region (TerritoryFn France)) (exceptWhen (spatiallyIntersects ?PLACE (TerritoryFn France)) (implies (geographicalSubRegions ContinentOfEurope ?PLACE) (geographicalSubRegions EasternHemisphere-Region ?PLACE))) (isa (TerritoryFn France) Place-NonAgent) (isa (TerritoryFn France) GeopoliticalRegion) (isa (TerritoryFn France) GeographicalRegion) (isa (VisaFn France) ExistingObjectType) (genls (VisaFn France) Visa-Permit) (isa (AnthemFn France) NationalAnthem) (isa (AnthemFn France) Song-CW) ) ) ;; End of description FranceDgrp ;;------------------------------------ ;; -*- LISP -*- ;; Description dumped from SME v4 ;; Created by paritosh, using HERBRAND, a x86 at HERBRAND running Microsoft Windows 9x, Me, NT and 2000 (sme::defdescription JapanDgrp :documentation "" :notes "" :expressions ( (implies (and (grossDomesticProduct Japan (YearFn 1996) ((USDollarFn 1987) ?Y)) (consumptionAmountDuring Japan EnergyStuff (YearFn 1996) ((Kilo BritishThermalUnit) ?X))) (evaluate 6.8 (QuotientFn ?X ?Y))) (exportAmountDuring Japan PartiallyTangibleProduct (YearFn 1997) (BillionDollars 409.5)) (productionAmountDuring Japan Electricity (YearFn 1996) ((Giga KiloWattHour) 945)) (productionCapacityDuring Japan Electricity (YearFn 1994) (KiloWatt 1.9988e+8)) (importAmountDuring Japan Product (YearFn 1996) (BillionDollars 329)) (importAmountDuring Japan PartiallyTangibleProduct (YearFn 1997) (BillionDollars 310.4)) (exportAmountDuring Japan Product (YearFn 1996) (BillionDollars 385)) (productionAmountDuring Japan (ProductFn Coal) (YearFn 1996) ((Mega ShortTon) 7.4)) (consumptionAmountDuring Japan (ProductFn Coal) (YearFn 1996) ((Mega ShortTon) 144.2)) (consumptionAmountDuring Japan (ProductFn NaturalGas) (YearFn 1996) ((Tera CubicFoot) 2.4)) (consumptionAmountDuring Japan EnergyStuff (YearFn 1996) ((Peta BritishThermalUnit) 21.4)) (productionCapacityDuring Japan Electricity (DayFn 1 (MonthFn January (YearFn 1996))) ((Giga Watt) 205)) (budgetExpenditures Japan GovernmentMilitaryOrganization (YearFn 1997) (BillionDollars 48.5)) (tradeBalanceDuring Japan PartiallyTangibleProduct (YearFn 1997) (BillionDollars 99.1)) (productionAmountDuring Japan (ProductFn NaturalGas) (YearFn 1996) ((Tera CubicFoot) 0.08)) (implies (and (numInhabitants Japan ?Y) (consumptionAmountDuring Japan EnergyAsAQuantity (YearFn 1996) ((Mega BritishThermalUnit) ?X))) (evaluate 169.9 (QuotientFn ?X ?Y))) (implies (and (numInhabitants Japan ?Y) (emissionAmountDuring Japan Carbon (YearFn 1996) (MetricTon ?X))) (evaluate 2.3 (QuotientFn ?X ?Y))) (relationInstanceExistsCount possesses Japan NuclearWeapon 0) (denotationRelatedTo Japanese-TheWord Adjective 0 Japan) (goalCategoryForAgent Japan (pathState SuezCanal PathOpen) PoliticalGoal) (totalReserves Japan Petroleum-CrudeOil (MillionBarrels 55)) (importsThrough Japan PetroleumProduct StraitOfHormuz) (productionCapacity Japan Electricity (KiloWatt 205140000)) (numInhabitantsOfTypeInRegion Japan (FemaleFn OldPerson) 10514017) (numInhabitantsOfTypeInRegion Japan FemaleChild 9955603) (currentAccountBalanceDuring Japan (YearFn 1997) (BillionDollars 89.8)) (goalCategoryForAgent Japan (pathState StraitOfHormuz PathOpen) ForeignPolicyGoal) (numInhabitantsOfTypeInRegion Japan (MaleFn OldPerson) 7272829) (goalCategoryForAgent Japan (pathState SuezCanal PathOpen) ForeignPolicyGoal) (grossDomesticProduct-Nominal Japan (YearFn 1997) (BillionDollars 4214.5)) (suppliedWithFrom Japan Petroleum-CrudeOil Qatar) (importsFrom Japan Product Iceland) (numInhabitantsOfTypeInRegion Japan MaleChild 10542973) (importsFrom Japan Product Bahrain) (grossDomesticProduct Japan (YearFn 1996) (BillionDollars 2850)) (laborForceDuring Japan (YearFn 1997) 67900000) (goalCategoryForAgent Japan (pathState SuezCanal PathOpen) StrategicNationalInterest) (internationalMonetaryReservesDuring Japan (YearFn 1997) (BillionDollars 223.9)) (implies (and (areaOfRegion Japan ?AREA) (percentOfRegionIs Japan IrrigatedLand ?PCT)) (evaluate ?PCT (QuotientFn (SquareKilometer 28680) ?AREA))) (populationDuring Japan (MonthFn July (YearFn 1997)) 125700000) (implies (and (numInhabitants Japan ?INHAB) (grossNationalProduct Japan (YearFn 1994) ((USDollarFn 1994) ?AMT))) (evaluate 20200 (QuotientFn ?AMT ?INHAB))) (totalReserves Japan PetroleumProduct (MillionBarrels 60)) (importsFrom Japan Product Canada) (populationDuring Japan (MonthFn July (YearFn 1996)) 125449703) (populationDuring Japan (YearFn 1996) 125449703) (goalCategoryForAgent Japan (pathState SuezCanal PathOpen) StrategicInterest) (behaviorCapable Japan EconomicEmbargo performedBy) (suppliedWithFrom Japan Petroleum-CrudeOil Iran) (laborForceDuring Japan (MonthFn March (YearFn 1997)) 67230000) (holdsIn (YearFn 1998) (memberStatusInOrganization Japan UN-SecurityCouncil ElectedMember)) (goalCategoryForAgent Japan (pathState StraitOfHormuz PathOpen) StrategicNationalInterest) (holdsIn (YearFn 1997) (suppliedWithFrom Japan PetroleumProduct Oman)) (lengthOfPathTypeInRegion Japan Highway (Kilometer 1111974)) (populationDuring Japan (MonthFn July (YearFn 1997)) 125732794) (goalCategoryForAgent Japan (pathState StraitOfHormuz PathOpen) StrategicInterest) (lengthOfPathTypeInRegion Japan GasPipeline (Kilometer 1800)) (laborForceDuring Japan (YearFn 1995) 6.587e+7) (holdsIn (DayFn 1 (MonthFn January (YearFn 1996))) (productionCapacity Japan Electricity ((Giga Watt) 205))) (totalBudgetExpenditures Japan (YearFn 1998) (BillionDollars 673)) (goalCategoryForAgent Japan (pathState StraitOfHormuz PathOpen) AidingAllies) (goalCategoryForAgent Japan (pathState StraitOfHormuz PathOpen) PoliticalGoal) (lengthOfPathTypeInRegion Japan OilPipeline (Kilometer 322)) (importsFrom Japan PetroleumProduct SaudiArabia) (goalCategoryForAgent Japan (pathState SuezCanal PathOpen) AidingAllies) (importsFrom Japan PetroleumProduct Iran) (holdsIn (TimeIntervalBetweenFn (DayFn 31 (MonthFn December (YearFn 1996))) (DayFn 31 (MonthFn December (YearFn 1998)))) (memberStatusInOrganization UN-SecurityCouncil Japan ElectedMember)) (relationInstanceExistsMany owns Japan BallisticMissile-H2) (relationInstanceExistsMany owns Japan BallisticMissile-M3) (relationInstanceExistsMany owns Japan BallisticMissile-H1) (relationInstanceExistsMany possesses Japan BallisticMissile-H2) (relationInstanceAll citizens Japan (CitizensFn Japan)) (relationInstanceAll citizens Japan JapanesePerson) (relationInstanceExistsMany possesses Japan BallisticMissile-M3) (relationInstanceExistsMany possesses Japan BallisticMissile-H1) (ist-Information Y2Scenario-Stage1Mt (goalCategoryForAgent Iran (thereExists ?CONFLICT-2 (opponentsInConflict Iran Japan ?CONFLICT-2)) PoliticalGoal)) (ist-Information Y2Scenario-Stage3Mt (goalCategoryForAgent Iran (thereExists ?CONFLICT-2 (opponentsInConflict Iran Japan ?CONFLICT-2)) PoliticalGoal)) (ist-Information Y2Scenario-Stage2Mt (goalCategoryForAgent Iran (thereExists ?CONFLICT-2 (opponentsInConflict Iran Japan ?CONFLICT-2)) PoliticalGoal)) (ist-Information Y2Scenario-Stage4Mt (goalCategoryForAgent Iran (thereExists ?CONFLICT-2 (opponentsInConflict Iran Japan ?CONFLICT-2)) PoliticalGoal)) (ist-Information Y2Scenario-Stage3Mt (goals Iran (thereExists ?CONFLICT-2 (opponentsInConflict Iran Japan ?CONFLICT-2)))) (ist-Information Y2Scenario-Stage4Mt (goals Iran (thereExists ?CONFLICT-2 (opponentsInConflict Iran Japan ?CONFLICT-2)))) (ist-Information Y2Scenario-Stage2Mt (goals Iran (thereExists ?CONFLICT-2 (opponentsInConflict Iran Japan ?CONFLICT-2)))) (ist-Information Y2Scenario-Stage1Mt (goals Iran (thereExists ?CONFLICT-2 (opponentsInConflict Iran Japan ?CONFLICT-2)))) (ist-Information Y2Scenario-Stage5Mt (goalCategoryForAgent Iran (not (thereExists ?CONFLICT-2 (opponentsInConflict Iran Japan ?CONFLICT-2))) SelfPreservationGoal)) (ist-Information Y2Scenario-Stage6Mt (goalCategoryForAgent Iran (not (thereExists ?CONFLICT-2 (opponentsInConflict Iran Japan ?CONFLICT-2))) SelfPreservationGoal)) (ist-Information Y2Scenario-Stage6Mt (goals Iran (not (thereExists ?CONFLICT-2 (opponentsInConflict Iran Japan ?CONFLICT-2))))) (ist-Information Y2Scenario-Stage5Mt (goals Iran (not (thereExists ?CONFLICT-2 (opponentsInConflict Iran Japan ?CONFLICT-2))))) (performsInsAtLocation Chukaku-Ha TerroristAttack Japan) (relationAllInstance nationalityOfManufacturer JapaneseCar Japan) (importsFrom Canada Product Japan) (naturalHazardsInRegion Japan TsunamiLandfall) (geopoliticalSubdivision Japan Yamanashi-PrefectureJapan) (majorReligions Japan Shintoism) (geographicalSubRegions Japan CityOfKobeJapan) (geopoliticalSubdivision Japan Saitama-PrefectureJapan) (geographicalSubRegions Japan MountFuji-Volcano) (geopoliticalSubdivision Japan Mie-PrefectureJapan) (numInhabitants Japan 125506492) (customers Japan China-PeoplesRepublic) (imports Japan MilitaryHardware) (imports Japan Wine) (geopoliticalSubdivision Japan Tokushima-PrefectureJapan) (geographicalSubRegions Japan MountUsu-Volcano) (capitalCity Japan CityOfTokyoJapan) (geopoliticalSubdivision Japan Hokkaido-PrefectureJapan) (areaOfRegion Japan (SquareKilometer 377835)) (geographicalSubRegions Japan CityOfMojiJapan) (geopoliticalSubdivision Japan Nara-PrefectureJapan) (customers Japan Afghanistan) (primeMinister Japan RyutaroHashimoto) (holdsIn TheYear1988 (deathRate Japan 6)) (isa Japan Entity) (customers Japan Germany) (geopoliticalSubdivision Japan Kyoto-PrefectureJapan) (imports Japan PhotographicFilm) (subjectToCOC Japan HumanRights) (nationalLanguage Japan JapaneseLanguage) (geopoliticalSubdivision Japan Oita-PrefectureJapan) (geopoliticalSubdivision Japan Fukuoka-PrefectureJapan) (holdsIn TheYear1986 (deathRate Japan 6.1)) (landAreaOfRegion Japan (SquareKilometer 374744)) (isa Japan IndustrializedCountry) (geopoliticalSubdivision Japan CityOfNagoyaJapan) (geopoliticalSubdivision Japan Chiba-PrefectureJapan) (geographicalSubRegions Japan DaitoIslands) (holdsIn TheYear1986 (birthRate Japan 12.7)) (governmentType Japan Monarchy) (customers Japan Bahrain) (geopoliticalSubdivision Japan Niigata-PrefectureJapan) (geopoliticalSubdivision Japan Wakayama-PrefectureJapan) (geopoliticalSubdivision Japan Ibaraki-PrefectureJapan) (geopoliticalSubdivision Japan Tottori-PrefectureJapan) (conceptuallyRelated Japan (ResidentsFn Japan)) (geographicalSubRegions Japan CityOfHakodateJapan) (geographicalSubRegions Japan HonshuIsland-Japan) (geopoliticalSubdivision Japan Kochi-PrefectureJapan) (imports Japan Lumber) (geopoliticalSubdivision Japan Hyogo-PrefectureJapan) (geopoliticalSubdivision Japan Ehime-PrefectureJapan) (predominantLanguage Japan JapaneseLanguage) (geopoliticalSubdivision Japan Tochigi-PrefectureJapan) (imports Japan Rum) (holdsIn (YearFn 1994) (customers Japan Yemen)) (geopoliticalSubdivision Japan Ishikawa-PrefectureJapan) (ethnicGroupsHere Japan EthnicGroupOfJapanese) (exports Japan MechanicalDevice) (majorReligions Japan Buddhism) (geopoliticalSubdivision Japan CityOfMizushimaJapan) (imports Japan PetroleumProduct-Refined) (geographicalSubRegions Japan CityOfNagoyaJapan) (geopoliticalSubdivision Japan Miyagi-PrefectureJapan) (geographicalSubRegions Japan (CoastlineFn Japan)) (languagesSpokenHere Japan JapaneseLanguage) (geographicalSubRegions Japan MetropolisOfOsaka-Kobe-KyotoJapan) (customers Japan Oman) (geopoliticalSubdivision Japan Gifu-PrefectureJapan) (geopoliticalSubdivision Japan Tokyo-PrefectureJapan) (geopoliticalSubdivision Japan Okinawa-PrefectureJapan) (naturalHazardsInRegion Japan Volcano) (geopoliticalSubdivision Japan Kagawa-PrefectureJapan) (geopoliticalSubdivision Japan Okayama-PrefectureJapan) (customers Japan SaudiArabia) (holdsIn (MonthFn July (YearFn 1997)) (numInhabitants Japan (TimesFn 125.7 1000000))) (fertilityRate Japan 1.56) (geopoliticalSubdivision Japan Toyama-PrefectureJapan) (holdsIn TheYear1988 (infantMortalityRate Japan 6)) (possesses Japan HYP-BallisticMissile-H2-60535978) (geopoliticalSubdivision Japan CityOfTokyoJapan) (geographicalSubRegions Japan HokkaidoIsland-Japan) (customers Japan Canada) (temporalBoundsContain Japan TheYear1988) (geopoliticalSubdivision Japan Fukushima-PrefectureJapan) (holdsIn TheYear1988 (birthRate Japan 12)) (possesses Japan HYP-BallisticMissile-H1-21958403) (geopoliticalSubdivision Japan Aomori-PrefectureJapan) (geopoliticalSubdivision Japan Nagano-PrefectureJapan) (infantMortalityRate Japan 4.3) (customers Japan Kuwait) (geopoliticalSubdivision Japan CityOfHiroshimaJapan) (geopoliticalSubdivision Japan Nagasaki-PrefectureJapan) (customers Japan OPEC) (geographicalSubRegions Japan MetropolisOfTokyo-YokohamaJapan) (holdsIn TheYear1986 (infantMortalityRate Japan 6.2)) (imports Japan Food) (inhabitantTypes Japan JapanesePerson) (imports Japan CombustibleFuelSubstance) (geopoliticalSubdivision Japan Yamaguchi-PrefectureJapan) (geopoliticalSubdivision Japan Kumamoto-PrefectureJapan) (geopoliticalSubdivision Japan Gumma-PrefectureJapan) (geographicalSubRegions Japan CityOfTomakomaiJapan) (possesses Japan HYP-BallisticMissile-M3-62735219) (temporalBoundsContain Japan TheYear1986) (geopoliticalSubdivision Japan Hiroshima-PrefectureJapan) (geographicalSubRegions Japan CityOfKushiroJapan) (customers Japan Qatar) (imports Japan PetroleumProduct) (exports Japan ElectronicDevice) (geopoliticalSubdivision Japan Yamagata-PrefectureJapan) (goals Japan (pathState StraitOfHormuz PathOpen)) (geographicalSubRegions Japan ShikokuIsland-Japan) (customers Japan UnitedStatesOfAmerica) (geographicalSubRegions Japan KyushuIsland-Japan) (government Japan (GovernmentFn Japan)) (defenseBudgetExpenditures Japan ((USDollarFn 1995) 6.65551e+9)) (customers Japan France) (geopoliticalSubdivision Japan Osaka-PrefectureJapan) (customers Japan Greece) (deathRate Japan 7.46) (startingDate Japan (YearBCE-JulianFn 660)) (defenseBudgetExpenditures Japan ((USDollarFn 1995) 4.7200002e+10)) (inhabitantTypes Japan EthnicGroupOfJapanese) (geopoliticalSubdivision Japan Iwate-PrefectureJapan) (geopoliticalSubdivision Japan Fukui-PrefectureJapan) (geographicalSubRegions Japan MountOyama-Volcano) (geopoliticalSubdivision Japan Shimane-PrefectureJapan) (geographicalSubRegions Japan CityOfChibaJapan) (birthRate Japan 10.66) (geopoliticalSubdivision Japan Shizuoka-PrefectureJapan) (geographicalSubRegions Japan MiyakejimaIsland-Japan) (imports Japan Vodka) (conceptuallyRelated Japan EthnicGroupOfJapanese) (netMigrationRate Japan 0) (chiefPorts Japan CityOfYokohamaJapan) (geopoliticalSubdivision Japan Aichi-PrefectureJapan) (geopoliticalSubdivision Japan Miyazaki-PrefectureJapan) (geographicalSubRegions Japan CityOfKawasakiJapan) (imports Japan Whisky) (naturalResourcesInRegion Japan Fish) (customers Japan Australia) (goals Japan (pathState SuezCanal PathOpen)) (geopoliticalSubdivision Japan Shiga-PrefectureJapan) (governmentType Japan ConstitutionalMonarchy) (geopoliticalSubdivision Japan Kagoshima-PrefectureJapan) (startingDate Japan (YearFn 660)) (isa Japan Agent) (isa Japan IndependentCountry) (geographicalSubRegions Japan CityOfAkitaJapan) (geopoliticalSubdivision Japan Akita-PrefectureJapan) (customers Japan Iran) (imports Japan (ProductFn Coal)) (geographicalSubRegions Japan CityOfTokyoJapan) (naturalHazardsInRegion Japan Tsunami) (geopoliticalSubdivision Japan CityOfSapporoJapan) (adjSemTrans Japanese-TheWord 0 RegularAdjFrame (possessiveRelation Japan :NOUN)) (geopoliticalSubdivision Japan Saga-PrefectureJapan) (geopoliticalSubdivision Japan Kanagawa-PrefectureJapan) (geographicalSubRegions Japan CityOfHimejiJapan) (isa Japan PublicConstant) (conceptuallyRelated RyutaroHashimoto Japan) (customers Kuwait Japan) (conceptuallyRelated HonshuIsland-Japan Japan) (hasHeadquartersInCountry SumitomoPetroleum Japan) (customers UnitedStatesOfAmerica Japan) (internationalOrg-MemberCountry InternationalCivilAviationOrganization Japan) (officeInCountry ShowaShellSekiyu Japan) (officeInCountry MitsuiOilExploration Japan) (holidayCelebratedInRegion BirthdayOfTheEmperor-Japan Japan) (internationalOrg-MemberCountry UnitedNationsIndustrialDevelopmentOrganization Japan) (hasHeadquartersInCountry JapanEnergyCorporation Japan) (internationalOrg-MemberCountry UnitedNationsOperationsInMozambique Japan) (officeInCountry GeneralSekiyu Japan) (internationalOrg-MemberCountry BankForInternationalSettlements Japan) (internationalOrg-MemberCountry G2Organization Japan) (officeInCountry CosmoOil Japan) (internationalOrg-MemberCountry G5Organization Japan) (internationalOrg-MemberCountry InterAmericanDevelopmentBank Japan) (internationalOrg-MemberCountry G10Organization Japan) (conceptuallyRelated CityOfKobeJapan Japan) (internationalOrg-MemberCountry AustraliaGroup Japan) (obligatedAgent ChemicalWeaponsConvention Japan) (hasMembers InternationalSeabedAuthority Japan) (internationalOrg-MemberCountry InternationalAtomicEnergyAgency Japan) (customers Germany Japan) (conceptuallyRelated Anime Japan) (customers OPEC Japan) (internationalOrg-MemberCountry UNESCO Japan) (internationalOrg-MemberCountry EuropeanBankForReconstructionAndDevelopment Japan) (officeInCountry SumitomoPetroleum Japan) (officeInCountry IndonesiaPetroleumLtd Japan) (internationalOrg-MemberCountry WorldHealthOrganization Japan) (internationalOrg-MemberCountry OrganizationOfAmericanStates Japan) (exceptWhen (equals VaticanCity ?COUNTRY) (implies (isa ?COUNTRY WesternEuropeanCountry) (thereExists ?ACT (thereExists ?COMPANY (and (isa ?ACT CommercialActivity) (isa ?COMPANY CommercialOrganization) (residenceOfOrganization ?COMPANY Japan) (performedBy ?ACT ?COMPANY) (eventOccursAt ?ACT ?COUNTRY)))))) (implies (and (geographicalSubRegions SouthEastAsia ?COUNTRY) (isa ?COUNTRY IndependentCountry)) (thereExists ?ACT (thereExists ?COMPANY (and (isa ?ACT CommercialActivity) (isa ?COMPANY CommercialOrganization) (performedBy ?ACT ?COMPANY) (residenceOfOrganization ?COMPANY Japan) (eventOccursAt ?ACT ?COUNTRY))))) (implies (isa ?COUNTRY WesternEuropeanCountry) (thereExists ?ACT (thereExists ?COMPANY (and (eventOccursAt ?ACT ?COUNTRY) (isa ?ACT CommercialActivity) (isa ?COMPANY CommercialOrganization) (performedBy ?ACT ?COMPANY) (residenceOfOrganization ?COMPANY Japan))))) (internationalOrg-MemberCountry CustomsCooperationCouncil Japan) (internationalOrg-MemberCountry OrganizationForTheProhibitionOfChemicalWeapons Japan) (hasHeadquartersInCountry MitsubishiCorp Japan) (internationalOrg-MemberCountry InternationalChamberOfCommerce Japan) (internationalOrg-MemberCountry UnitedNationsOrganization Japan) (internationalOrg-MemberCountry G7Organization Japan) (customers China-PeoplesRepublic Japan) (conceptuallyRelated CityOfKawasakiJapan Japan) (hasHeadquartersInCountry ShowaShellSekiyu Japan) (internationalOrg-MemberCountry InternationalConfederationOfFreeTradeUnions Japan) (customers Iran Japan) (hasHeadquartersInCountry MitsuiOilExploration Japan) (hasHeadquartersInCountry Sodeco Japan) (officeInCountry NipponOil Japan) (internationalOrg-MemberCountry WorldTradeOrganization Japan) (internationalOrg-MemberCountry WorldMeteorologicalOrganization Japan) (conceptuallyRelated JapaneseLanguage Japan) (hasHeadquartersInCountry GeneralSekiyu Japan) (conceptuallyRelated ShikokuIsland-Japan Japan) (hasHeadquartersInCountry MitsubishiOil Japan) (officeInCountry SaudiPetroleumOverseas Japan) (conceptuallyRelated CityOfTokyoJapan Japan) (internationalOrg-MemberCountry InternationalFundForAgriculturalDevelopment Japan) (officeInCountry ElectricPowerDevelopmentCo Japan) (culturalRegionOfOrigin JapaneseCuisine Japan) (culturalRegionOfOrigin Anime Japan) (internationalOrg-MemberCountry InternationalOlympicCommittee Japan) (customers Bahrain Japan) (conceptuallyRelated YasuhiroNakasone Japan) (internationalOrg-MemberCountry AndeanGroup Japan) (internationalOrg-MemberCountry InternationalEnergyAgency Japan) (holdsIn (YearFn 1997) (customers Oman Japan)) (bordersOn PacificOcean Japan) (obligatedAgent BiologicalAndToxinWeaponsConvention Japan) (currencyOf Yen-Japan Japan) (geographicalSubRegions PacificRim Japan) (objectFoundInLocation ArmyBase-Yokosuka-Grounds-Japan Japan) (internationalOrg-MemberCountry INTERPOL Japan) (internationalOrg-MemberCountry InternationalDevelopmentAssociation Japan) (objectFoundInLocation NinthTheaterArmyAreaCommand Japan) (internationalOrg-MemberCountry UniversalPostalUnion Japan) (conceptuallyRelated (ResidentsFn Japan) Japan) (objectFoundInLocation ArmyBase-FtBuckner-Grounds-Japan Japan) (conceptuallyRelated CityOfSakaiJapan Japan) (objectFoundInLocation FifthAirForce Japan) (objectFoundInLocation ArmyBase-Yokota-Grounds-Japan Japan) (hasHeadquartersInCountry JapanNationalOilCorporation Japan) (hasHeadquartersInCountry ItochuCorporation Japan) (internationalOrg-MemberCountry InternationalHydrographicOrganization Japan) (groupMembers (IndustryOfRegionFn OilIndustry Japan) MitsubishiPetroleumDevelopmentCorporation) (isa (IndustryOfRegionFn OilIndustry Japan) OilIndustry) (groupMembers (IndustryOfRegionFn OilIndustry Japan) TeikokuOil) (groupMembers (IndustryOfRegionFn OilIndustry Japan) NipponOil) (groupMembers (IndustryOfRegionFn OilIndustry Japan) JapanNationalOilCorporation) (groupMembers (IndustryOfRegionFn OilIndustry Japan) ItochuCorporation) (isa (IndustryOfRegionFn OilIndustry Japan) Industry-Localized) (ist-Information WorldLikeOursCollectorMt (isa (IndustryOfRegionFn OilIndustry Japan) Industry-Localized)) (customers SaudiArabia Japan) (hasHeadquartersInCountry NipponOil Japan) (objectFoundInLocation SeventhFleet-USNavy Japan) (customers France Japan) (internationalOrg-MemberCountry WorldFederationOfTradeUnions Japan) (bordersOn SeaOfJapan Japan) (internationalOrg-MemberCountry NuclearSuppliersGroup Japan) (allies UnitedStatesOfAmerica Japan) (conceptuallyRelated MountFuji-Volcano Japan) (conceptuallyRelated EthnicGroupOfJapanese Japan) (incorporatedIn ToyotaTheCompany Japan) (birthPlace YasunariKawabata Japan) (internationalOrg-MemberCountry InternationalTelecommunicationUnion Japan) (internationalOrg-MemberCountry AfricanDevelopmentBank Japan) (internationalOrg-MemberCountry InternationalFinanceCorporation Japan) (internationalOrg-MemberCountry MissileTechnologyControlRegime Japan) (officeInCountry TeikokuOil Japan) (internationalOrg-MemberCountry WorldIntellectualPropertyOrganization Japan) (internationalOrg-MemberCountry InternationalBankForReconstructionAndDevelopment Japan) (internationalOrg-MemberCountry InternationalMaritimeOrganization Japan) (incorporatedIn NissanTheCompany Japan) (internationalOrg-MemberCountry OECD Japan) (holdsIn (YearFn 1994) (customers Yemen Japan)) (conceptuallyRelated AinuLanguage Japan) (internationalOrg-MemberCountry G8Organization Japan) (internationalOrg-MemberCountry FoodAndAgricultureOrganization Japan) (hasMembers WorldTradeOrganization Japan) (officeInCountry JapanNationalOilCorporation Japan) (surroundsHorizontally PacificOcean Japan) (hasMembers InternationalMonetaryFund Japan) (obligatedAgent NuclearNon-ProliferationTreaty Japan) (internationalOrg-MemberCountry NuclearEnergyAgency Japan) (internationalOrg-MemberCountry UnitedNationsConferenceOnTradeAndDevelopment Japan) (conceptuallyRelated JapanesePerson Japan) (conceptuallyRelated ZenBuddhism Japan) (internationalOrg-MemberCountry UN-SecurityCouncil Japan) (conceptuallyRelated KyushuIsland-Japan Japan) (internationalOrg-MemberCountry Inmarsat Japan) (conceptuallyRelated HaikuPoem Japan) (internationalOrg-MemberCountry WassenaarArrangement-Organization Japan) (internationalOrg-MemberCountry InternationalMonetaryFund Japan) (internationalOrg-MemberCountry UnitedNationsOfficeOfTheHighCommissionerForRefugees Japan) (internationalOrg-MemberCountry EconomicAndSocialCommissionForAsiaAndThePacific Japan) (internationalOrg-MemberCountry Intelsat Japan) (residenceOfOrganization AumSupremeTruth Japan) (internationalOrg-MemberCountry AsiaPacificEconomicCooperation Japan) (residenceOfOrganization Chukaku-Ha Japan) (internationalOrg-MemberCountry AsianDevelopmentBank Japan) (internationalOrg-MemberCountry InternationalLaborOrganization Japan) (officeInCountry ArabianOilCompany Japan) (customers Iceland Japan) (internationalOrg-MemberCountry InternationalOrganizationForMigration Japan) (internationalOrg-MemberCountry UnitedNationsUniversity Japan) (eventOccursAt UnsuccessfulUseOfBotulinumAndAnthrax-01 Japan) (hasMembers InternationalAtomicEnergyAgency Japan) (conceptuallyRelated HokkaidoIsland-Japan Japan) (customers Canada Japan) (jurisdictionRegion US-PacificCommand-HonoluluHI Japan) (customers Qatar Japan) (internationalOrg-MemberCountry ZanggerCommittee Japan) (hasHeadquartersInCountry TeikokuOil Japan) (hasHeadquartersInCountry NECInc Japan) (officeInCountry Sodeco Japan) (customers Australia Japan) (internationalOrg-MemberCountry ColomboPlan Japan) (internationalOrg-MemberCountry PermanentCourtOfArbitration Japan) (geographicalSubRegions FarEastAsia-Region Japan) (internationalOrg-MemberCountry InternationalOrganizationForStandardization Japan) (internationalOrg-MemberCountry UnitedNationsInstituteForTrainingAndResearch Japan) (officeInCountry MobilSekiyu Japan) (incorporatedIn HondaTheCompany Japan) (officeInCountry MitsubishiOil Japan) (hasHeadquartersInCountry JapanPetroleumExploration Japan) (relationAllInstance groupMemberType (GroupFn (CitizensFn Japan)) (CitizensFn Japan)) (isa (CitizensFn Japan) PersonByGeoPoliticalAffiliation) (genls (CitizensFn Japan) Person) (isa (CitizensFn Japan) Nationality) (genls (CitizensFn Japan) JapanesePerson) (groupMemberType GroupOfJapaneseCommutersInTokyoSubwayAttack (CitizensFn Japan)) (genls (GroupFn (CitizensFn Japan)) (GroupFn Person)) (genls (GroupFn (CitizensFn Japan)) Group) (genls (GroupFn (CitizensFn Japan)) PartiallyTangible) (isa (GroupFn (CitizensFn Japan)) ObjectType) (isa GroupOfJapaneseCommutersInTokyoSubwayAttack (GroupFn (CitizensFn Japan))) (isa (NationalRedCrossSocietyFn Japan) RedCrossSociety-National) (hasMembers InternationalFederationOfRedCrossAndRedCrescentSocieties (NationalRedCrossSocietyFn Japan)) (genls (Y2KIndividualFn Japan) Y2KThing) (isa (Y2KIndividualFn Japan) Collection) (conceptuallyRelated MillenniumBug (Y2KIndividualFn Japan)) (isa (CoastlineFn Japan) Seacoast) (lengthOfObject (CoastlineFn Japan) (Kilometer 29751)) (isa (CoastlineFn Japan) IKBConstant) (genls (ResidentsFn Japan) JapanesePerson) (genls (ResidentsFn Japan) Person) (isa (ResidentsFn Japan) PersonByGeographicResidence) (genls (ResidentsFn Japan) EthnicGroupOfJapanese) (holdsIn (MonthFn August (YearFn 1996)) (relationInstanceExists subOrganizations (GovernmentFn Japan) Army-BranchOfService)) (holdsIn (MonthFn August (YearFn 1996)) (relationInstanceExists subOrganizations (GovernmentFn Japan) Navy)) (holdsIn (MonthFn August (YearFn 1996)) (relationInstanceExists subOrganizations (GovernmentFn Japan) AirForce)) (isa (GovernmentFn Japan) GovernmentOfCountry) (isa (GovernmentFn Japan) RegionalGovernment) (thereExists ?FORCE (and (groupCardinality ?FORCE 43000) (isa ?FORCE Navy) (subOrganizations (GovernmentFn Japan) ?FORCE))) (thereExists ?FORCE (and (groupCardinality ?FORCE 44500) (isa ?FORCE AirForce) (subOrganizations (GovernmentFn Japan) ?FORCE))) (thereExists ?FORCE (and (groupCardinality ?FORCE 148000) (isa ?FORCE Army-BranchOfService) (subOrganizations (GovernmentFn Japan) ?FORCE))) ) ) ;; End of description JapanDgrp ;;------------------------------------ ;; -*- LISP -*- ;; Description dumped from SME v4 ;; Created by paritosh, using HERBRAND, a x86 at HERBRAND running Microsoft Windows 9x, Me, NT and 2000 (sme::defdescription China-PeoplesRepublicDgrp :documentation "" :notes "" :expressions ( (importFromAmountDuring China-PeoplesRepublic Product UnitedStatesOfAmerica (YearFn 1997) (BillionDollars 13)) (importFromAmountDuring UnitedStatesOfAmerica Product China-PeoplesRepublic (YearFn 1997) (BillionDollars 60)) (exportAmountDuring China-PeoplesRepublic Product (YearFn 1995) ((USDollarFn 1995) 1.21e+11)) (exportAmountDuring China-PeoplesRepublic Product (YearFn 1996) (BillionDollars 151.07)) (importAmountDuring China-PeoplesRepublic Product (YearFn 1996) (BillionDollars 138.83)) (productionCapacityDuring China-PeoplesRepublic Electricity (YearFn 1995) (KiloWatt 2.1e+8)) (productionValueOfIndustryDuring China-PeoplesRepublic ServiceEconomicSector (YearFn 1997) (BillionDollars 228.5)) (budgetExpenditures China-PeoplesRepublic GovernmentMilitaryOrganization (YearFn 1995) (Yuan-China 7.02e+10)) (importAmountDuring China-PeoplesRepublic Product (YearFn 1995) ((USDollarFn 1995) 1.157e+11)) (productionValueOfIndustryDuring China-PeoplesRepublic AgriculturalEconomicSector (YearFn 1997) (BillionDollars 170.1)) (exportAmountDuring China-PeoplesRepublic Product (YearFn 1997) (BillionDollars 181)) (importAmountDuring China-PeoplesRepublic Product (YearFn 1997) (BillionDollars 142)) (tradeBalanceDuring China-PeoplesRepublic Product (YearFn 1997) (BillionDollars 39)) (ist-Information BrinksmanshipInTheTaiwanStraitMt (holdsIn (STIB TaiwanesePresidentialElections-1999) (statusWithAgent-Gradient China-PeoplesRepublic Taiwan-RepublicOfChina StateOfDiplomaticTension High))) (ist-Information BrinksmanshipInTheTaiwanStraitMt (holdsIn (STIB TaiwanesePresidentialElections-1999) (statusWithAgent-Gradient Taiwan-RepublicOfChina China-PeoplesRepublic StateOfDiplomaticTension High))) (relationInstanceExistsCount possesses China-PeoplesRepublic KiloClassSubmarine 4) (relationInstanceExistsCount possesses China-PeoplesRepublic BallisticMissile-CSS-3 30) (denotationRelatedTo Chinese-TheWord Adjective 0 China-PeoplesRepublic) (grossDomesticProduct-Nominal China-PeoplesRepublic (YearFn 1997) (BillionDollars 892.5)) (numInhabitantsOfTypeInRegion China-PeoplesRepublic FemaleChild 151266866) (beliefs InternationalCommunity (technologicallyCapableOf China-PeoplesRepublic (MakingFn MilitaryWeapon) performedBy)) (opponentsInConflict China-PeoplesRepublic Brunei TerritorialDispute-SpratlyIslands) (productionCapacity China-PeoplesRepublic Electricity (KiloWatt 162000000)) (populationDuring China-PeoplesRepublic (YearFn 1996) 1210004956) (importsFrom China-PeoplesRepublic Product Canada) (opponentsInConflict China-PeoplesRepublic Taiwan-RepublicOfChina TerritorialDispute-SpratlyIslands) (populationDuring China-PeoplesRepublic (MonthFn July (YearFn 1997)) 1221591778) (ist-Information BrinksmanshipInTheTaiwanStraitMt (holdsIn (IntervalStartedByFn NormalizedRelationsUSChina) (hasStatusWithAgent China-PeoplesRepublic UnitedStatesOfAmerica FriendlyStatus))) (numInhabitantsOfTypeInRegion China-PeoplesRepublic MaleChild 167234782) (suppliedWithFrom China-PeoplesRepublic Petroleum-CrudeOil Iran) (holdsIn (TimeIntervalBetweenFn (YearFn 1945) Now) (memberStatusInOrganization China-PeoplesRepublic UN-SecurityCouncil PermanentMember)) (holdsIn (YearFn 1997) (suppliedWithFrom China-PeoplesRepublic PetroleumProduct Oman)) (laborForceDuring China-PeoplesRepublic (YearFn 1995) 5.836e+8) (grossDomesticProduct China-PeoplesRepublic (YearFn 1996) (BillionDollars 3390)) (lengthOfPathTypeInRegion China-PeoplesRepublic Highway (Kilometer 1029000.0)) (populationDuring China-PeoplesRepublic (MonthFn July (YearFn 1995)) 1203097268) (ist-Information BPData1995Mt (totalReserves China-PeoplesRepublic (ProductFn Petroleum-CrudeOil) (MillionBarrels 24000))) (ist-Information BPData1996Mt (totalReserves China-PeoplesRepublic (ProductFn Petroleum-CrudeOil) (MillionBarrels 24000))) (ist-Information BrinksmanshipInTheTaiwanStraitMt (causes-PropProp (likelihood (eventPosesThreat TaiwanesePresidentialElections-1999 China-PeoplesRepublic) High) (opponentsInConflict China-PeoplesRepublic UnitedStatesOfAmerica FaceOffUSChinaTaiwanStrait))) (laborForceDuring China-PeoplesRepublic (YearFn 1997) 707000000) (internationalMonetaryReservesDuring China-PeoplesRepublic (YearFn 1997) (BillionDollars 142)) (ist-Information BPData1986Mt (totalReserves China-PeoplesRepublic (ProductFn Petroleum-CrudeOil) (MillionBarrels 18400))) (populationDuring China-PeoplesRepublic (MonthFn July (YearFn 1996)) 1210004956) (ist-Information BPData1976Mt (totalReserves China-PeoplesRepublic (ProductFn Petroleum-CrudeOil) (MillionBarrels 20000))) (ist-Information BrinksmanshipInTheTaiwanStraitMt (goalCategoryForAgent China-PeoplesRepublic (ableToControl China-PeoplesRepublic Taiwan-RepublicOfChina) ForeignPolicyGoal)) (opponentsInConflict China-PeoplesRepublic Philippines TerritorialDispute-SpratlyIslands) (laborForceDuring China-PeoplesRepublic (YearFn 1994) 614700000) (behaviorCapable China-PeoplesRepublic (MakingFn ChemicalWeapon) performedBy) (opponentsInConflict China-PeoplesRepublic Malaysia TerritorialDispute-SpratlyIslands) (importsFrom China-PeoplesRepublic PetroleumProduct Iran) (many-GenQuantRelnFrom possesses China-PeoplesRepublic CruiseMissile-C-801) (rankTypeOfGeoAgent ChineseArmyRank China-PeoplesRepublic Army-BranchOfService) (opponentsInConflict Brunei China-PeoplesRepublic TerritorialDispute-SpratlyIslands) (beliefs InternationalCommunity (relationInstanceExists possesses China-PeoplesRepublic ChemicalWeapon)) (many-GenQuantRelnFrom possesses China-PeoplesRepublic NuclearWeapon) (many-GenQuantRelnFrom owns China-PeoplesRepublic BallisticMissile-CSS-N-3) (relationInstanceAll subOrganizations China-PeoplesRepublic (MilitaryFn China-PeoplesRepublic)) (many-GenQuantRelnFrom possesses China-PeoplesRepublic CruiseMissile-C-201) (many-GenQuantRelnFrom possesses China-PeoplesRepublic HQ-2-SurfaceToAirMissile) (relationInstanceAll citizens China-PeoplesRepublic ChinesePerson) (hasStatusWithAgent WeiJingsheng China-PeoplesRepublic DissidentStatus) (borderBetweenRegions (BorderBetweenFn China-PeoplesRepublic Pakistan) China-PeoplesRepublic Pakistan) (beliefs InternationalCommunity (relationInstanceExistsMany possesses China-PeoplesRepublic NuclearWeapon)) (borderBetweenRegions (BorderBetweenFn China-PeoplesRepublic Vietnam) China-PeoplesRepublic Vietnam) (relationInstanceAll citizens China-PeoplesRepublic (CitizensFn China-PeoplesRepublic)) (opponentsInConflict Taiwan-RepublicOfChina China-PeoplesRepublic TerritorialDispute-SpratlyIslands) (relationInstanceExists possesses China-PeoplesRepublic BallisticMissile-CSS-3) (ist-Information BrinksmanshipInTheTaiwanStraitMt (holdsIn (IntervalStartedByFn NormalizedRelationsUSChina) (hasStatusWithAgent UnitedStatesOfAmerica China-PeoplesRepublic FriendlyStatus))) (opponentsInConflict Malaysia China-PeoplesRepublic TerritorialDispute-SpratlyIslands) (ist-Information BrinksmanshipInTheTaiwanStraitMt (opponentsInConflict UnitedStatesOfAmerica China-PeoplesRepublic FaceOffUSChinaTaiwanStrait)) (many-GenQuantRelnFrom possesses China-PeoplesRepublic HQ-7-SurfaceToAirMissile) (many-GenQuantRelnFrom possesses China-PeoplesRepublic BallisticMissile-CSS2) (many-GenQuantRelnFrom possesses China-PeoplesRepublic CruiseMissile-C-701) (borderBetweenRegions (BorderBetweenFn China-PeoplesRepublic India) China-PeoplesRepublic India) (opponentsInConflict Philippines China-PeoplesRepublic TerritorialDispute-SpratlyIslands) (examplePredSentences relationInstanceExists (relationInstanceExists possesses China-PeoplesRepublic KiloClassSubmarine)) (many-GenQuantRelnFrom possesses China-PeoplesRepublic BallisticMissile-M9) (relationInstanceExists possesses China-PeoplesRepublic BallisticMissile-DF-31) (many-GenQuantRelnFrom possesses China-PeoplesRepublic BallisticMissile-CSS-4) (many-GenQuantRelnFrom possesses China-PeoplesRepublic BallisticMissile-CSS-5) (many-GenQuantRelnFrom possesses China-PeoplesRepublic CruiseMissile-C-101) (many-GenQuantRelnFrom possesses China-PeoplesRepublic CruiseMissile-C-802) (relationInstanceAll geopoliticalSubdivision China-PeoplesRepublic ChineseProvince) (beliefs InternationalCommunity (relationInstanceExists possesses China-PeoplesRepublic NuclearWeapon)) (many-GenQuantRelnFrom possesses China-PeoplesRepublic HQ-61A-SurfaceToAirMissile) (many-GenQuantRelnFrom possesses China-PeoplesRepublic BallisticMissile-CSS7) (suppliedWithFrom Iraq CruiseMissile-C601 China-PeoplesRepublic) (suppliedWithFrom Iraq CruiseMissile-YJ1_C801 China-PeoplesRepublic) (suppliedWithFrom Iran CruiseMissile-HY2Silkworm China-PeoplesRepublic) (borderBetweenRegions (BorderBetweenFn Russia China-PeoplesRepublic) Russia China-PeoplesRepublic) (borderBetweenRegions (BorderBetweenFn Afghanistan China-PeoplesRepublic) Afghanistan China-PeoplesRepublic) (trueRule (FunctionRuleTemplateFn SubcollectionOfWithRelationToFn) (implies (isa ?INSTANCE (SubcollectionOfWithRelationToFn GeopoliticalEntity bordersOn China-PeoplesRepublic)) (bordersOn China-PeoplesRepublic ?INSTANCE))) (trueRule (FunctionRuleTemplateFn SubcollectionOfWithRelationToFn) (implies (isa ?INSTANCE (SubcollectionOfWithRelationToFn InternationalOrganizationOfCountries hasMembers China-PeoplesRepublic)) (hasMembers ?INSTANCE China-PeoplesRepublic))) (trueRule (FunctionRuleTemplateFn SubcollectionOfWithRelationToFn) (implies (isa ?INSTANCE (SubcollectionOfWithRelationToFn Ecotourism eventOccursAt China-PeoplesRepublic)) (eventOccursAt ?INSTANCE China-PeoplesRepublic))) (suppliedWithFrom Iran CruiseMissile-YJ2_C802 China-PeoplesRepublic) (suppliedWithFrom Iraq CruiseMissile-HY2Silkworm China-PeoplesRepublic) (suppliedWithFrom Iran CruiseMissile-HY4_C201 China-PeoplesRepublic) (infantMortalityRate China-PeoplesRepublic 52.1) (geopoliticalSubdivision China-PeoplesRepublic InnerMongolia) (languagesSpokenHere China-PeoplesRepublic MinbeiLanguage) (naturalResourcesInRegion China-PeoplesRepublic Magnetite) (implies (and (geopoliticalSubdivision China-PeoplesRepublic ?PROV) (isa ?PROV Province)) (isa ?PROV ChineseProvince)) (birthRate China-PeoplesRepublic 17.78) (languagesSpokenHere China-PeoplesRepublic GanLanguage) (territoryOf China-PeoplesRepublic (TerritoryFn China-PeoplesRepublic)) (inhabitantTypes China-PeoplesRepublic EthnicGroupOfHanChinese) (geopoliticalSubdivision China-PeoplesRepublic Beijing-MunicipalityChina) (subjectToCOC China-PeoplesRepublic HumanRights) (holdsIn (YearFn 1994) (totalDebt China-PeoplesRepublic ((USDollarFn 1994) 1.0e+11))) (areaOfRegion China-PeoplesRepublic (SquareKilometer 9596960)) (deathRate China-PeoplesRepublic 7.36) (holdsIn (TimeIntervalBetweenFn (MonthFn June (YearFn 1997)) Now) (geopoliticalSubdivision China-PeoplesRepublic HongKong)) (naturalResourcesInRegion China-PeoplesRepublic Tungsten) (exports China-PeoplesRepublic PhysicalDevice) (bordersOn China-PeoplesRepublic FormosaStrait) (geopoliticalSubdivision China-PeoplesRepublic Jilin-ProvinceChina) (customers China-PeoplesRepublic UnitedStatesOfAmerica) (imports China-PeoplesRepublic PetroleumProduct) (spatiallyIntersects China-PeoplesRepublic MekongRiver) (bordersOn China-PeoplesRepublic India) (isa China-PeoplesRepublic IndependentCountry) (languagesSpokenHere China-PeoplesRepublic HakkaLanguage) (conceptuallyRelated China-PeoplesRepublic ChinesePerson) (geopoliticalSubdivision China-PeoplesRepublic Jiangsu-ProvinceChina) (exports China-PeoplesRepublic TextileProduct) (isa China-PeoplesRepublic GeopoliticalEntity) (languagesSpokenHere China-PeoplesRepublic ZhuangLanguage) (naturalHazardsInRegion China-PeoplesRepublic Drought) (geopoliticalSubdivision China-PeoplesRepublic CityOfAihuiChina) (naturalResourcesInRegion China-PeoplesRepublic Tin) (spatiallyIntersects China-PeoplesRepublic TropicOfCancer) (languagesSpokenHere China-PeoplesRepublic XiangLanguage) (geopoliticalSubdivision China-PeoplesRepublic Guangxi-ProvinceChina) (customers China-PeoplesRepublic Japan) (adjSemTrans Chinese-TheWord 0 RegularAdjFrame (possessiveRelation China-PeoplesRepublic :NOUN)) (geopoliticalSubdivision China-PeoplesRepublic Heilongjiang-ProvinceChina) (governmentType China-PeoplesRepublic CommunistGovernment) (landAreaOfRegion China-PeoplesRepublic (SquareKilometer 9326410)) (naturalResourcesInRegion China-PeoplesRepublic Aluminum) (geopoliticalSubdivision China-PeoplesRepublic Fujian-ProvinceChina) (geographicalSubRegions China-PeoplesRepublic HuangHeRiver) (languagesSpokenHere China-PeoplesRepublic HunanChineseLanguage) (hasOwnershipIn China-PeoplesRepublic (TerritoryFn China-PeoplesRepublic)) (geopoliticalSubdivision China-PeoplesRepublic Beijing-ProvinceChina) (geopoliticalSubdivision China-PeoplesRepublic Anhui-ProvinceChina) (naturalResourcesInRegion China-PeoplesRepublic Petroleum-CrudeOil) (naturalHazardsInRegion China-PeoplesRepublic Tsunami) (positiveVestedInterest China-PeoplesRepublic SpratlyIslands) (holdsIn TheYear1986 (deathRate China-PeoplesRepublic 7.1)) (startingDate China-PeoplesRepublic (YearFn 221)) (numInhabitants China-PeoplesRepublic 1203097268) (spatiallyIntersects China-PeoplesRepublic GobiDesert) (bordersOn China-PeoplesRepublic Tajikistan) (bordersOn China-PeoplesRepublic Mongolia) (geopoliticalSubdivision China-PeoplesRepublic Tianjin-MunicipalityChina) (bordersOn China-PeoplesRepublic Bhutan) (conceptuallyRelated China-PeoplesRepublic (MilitaryFn China-PeoplesRepublic)) (languagesSpokenHere China-PeoplesRepublic CantoneseLanguage) (majorReligions China-PeoplesRepublic Christianity) (imports China-PeoplesRepublic Steel) (geopoliticalSubdivision China-PeoplesRepublic Qinghai-ProvinceChina) (isa China-PeoplesRepublic Superpower) (exports China-PeoplesRepublic Toy) (holdsIn TheYear1986 (birthRate China-PeoplesRepublic 18.6)) (naturalResourcesInRegion China-PeoplesRepublic Manganese) (exports China-PeoplesRepublic MechanicalDevice) (bordersOn China-PeoplesRepublic SouthChinaSea) (naturalResourcesInRegion China-PeoplesRepublic Vanadium) (geopoliticalSubdivision China-PeoplesRepublic Hubei-ProvinceChina) (languagesSpokenHere China-PeoplesRepublic UigurLanguage) (inhabitantTypes China-PeoplesRepublic ChinesePerson) (geopoliticalSubdivision China-PeoplesRepublic Guizhou-ProvinceChina) (bordersOn China-PeoplesRepublic Kazakhstan) (imports China-PeoplesRepublic RoadVehicle) (geopoliticalSubdivision China-PeoplesRepublic Shaanxi-ProvinceChina) (isa China-PeoplesRepublic NuclearWeaponStateUnderNNPT) (holdsIn TheYear1988 (deathRate China-PeoplesRepublic 8)) (geopoliticalSubdivision China-PeoplesRepublic Hunan-ProvinceChina) (ethnicGroupsHere China-PeoplesRepublic EthnicGroupOfHanChinese) (customers China-PeoplesRepublic Russia) (languagesSpokenHere China-PeoplesRepublic WuLanguage) (geopoliticalSubdivision China-PeoplesRepublic NingxiaAutonomousRegion) (bordersOn China-PeoplesRepublic NorthKorea) (languagesSpokenHere China-PeoplesRepublic TaiwaneseChineseLanguage) (geopoliticalSubdivision China-PeoplesRepublic Henan-ProvinceChina) (languagesSpokenHere China-PeoplesRepublic JinyuChineseLanguage) (bordersOn China-PeoplesRepublic Nepal) (geopoliticalSubdivision China-PeoplesRepublic Guangdong-ProvinceChina) (languagesSpokenHere China-PeoplesRepublic KazakhLanguage) (netMigrationRate China-PeoplesRepublic 0) (capitalCity China-PeoplesRepublic CityOfBeijingChina) (exports China-PeoplesRepublic WeaponSystem) (conceptuallyRelated China-PeoplesRepublic (ResidentsFn China-PeoplesRepublic)) (customers China-PeoplesRepublic SouthKorea) (geopoliticalSubdivision China-PeoplesRepublic Liaoning-ProvinceChina) (languagesSpokenHere China-PeoplesRepublic InnerMongolianLanguage) (naturalResourcesInRegion China-PeoplesRepublic Mercury) (naturalResourcesInRegion China-PeoplesRepublic Lead) (geopoliticalSubdivision China-PeoplesRepublic Xinjiang-ProvinceChina) (adjacentTo China-PeoplesRepublic (TerritorialSeaFn China-PeoplesRepublic)) (geopoliticalSubdivision China-PeoplesRepublic Shanxi-ProvinceChina) (geographicalSubRegions China-PeoplesRepublic SupeiCanal) (temporalBoundsContain China-PeoplesRepublic (TimeIntervalBetweenFn (YearFn 1949) TheYear1992)) (holdsIn (TimeIntervalBetweenFn (DayFn 1 (MonthFn October (YearFn 1949))) (YearFn 1976)) (organizationHead China-PeoplesRepublic MaoTse-tung)) (geographicalSubRegions China-PeoplesRepublic (CoastlineFn China-PeoplesRepublic)) (naturalHazardsInRegion China-PeoplesRepublic TsunamiLandfall) (ableToControl China-PeoplesRepublic (NationalPressFn China-PeoplesRepublic)) (holdsIn Iran-IraqWar (allies China-PeoplesRepublic Iran)) (holdsIn TheYear1988 (infantMortalityRate China-PeoplesRepublic 50)) (bordersOn China-PeoplesRepublic Vietnam) (languagesSpokenHere China-PeoplesRepublic HmongLanguage) (bordersOn China-PeoplesRepublic EastChinaSea) (languagesSpokenHere China-PeoplesRepublic DongLanguage) (naturalResourcesInRegion China-PeoplesRepublic Molybdenum) (languagesSpokenHere China-PeoplesRepublic YiLanguage) (geopoliticalSubdivision China-PeoplesRepublic Zhejiang-ProvinceChina) (geographicalSubRegions China-PeoplesRepublic YangtzeRiver) (holdsIn TheYear1988 (birthRate China-PeoplesRepublic 16)) (naturalResourcesInRegion China-PeoplesRepublic Coal) (geopoliticalSubdivision China-PeoplesRepublic CityOfFuzhouChina) (naturalHazardsInRegion China-PeoplesRepublic Flooding) (conceptuallyRelated China-PeoplesRepublic (CitizensFn China-PeoplesRepublic)) (bordersOn China-PeoplesRepublic Kyrgyzstan) (bordersOn China-PeoplesRepublic Laos) (holdsIn (TimeIntervalBetweenFn (YearFn 1949) TheYear1992) (governmentType China-PeoplesRepublic CommunistPeoplesRepublic)) (exports China-PeoplesRepublic ClothingItem) (geopoliticalSubdivision China-PeoplesRepublic Jiangxi-ProvinceChina) (citizens China-PeoplesRepublic WeiJingsheng) (bordersOn China-PeoplesRepublic Pakistan) (geopoliticalSubdivision China-PeoplesRepublic Sichuan-ProvinceChina) (isa China-PeoplesRepublic Entity) (ableToControl China-PeoplesRepublic (TerritorialSeaFn China-PeoplesRepublic)) (exports China-PeoplesRepublic Shoe) (bordersOn China-PeoplesRepublic Burma) (geographicalSubRegions China-PeoplesRepublic GrandCanal) (geopoliticalSubdivision China-PeoplesRepublic Yunnan-ProvinceChina) (geopoliticalSubdivision China-PeoplesRepublic Hebei-ProvinceChina) (government China-PeoplesRepublic (GovernmentFn China-PeoplesRepublic)) (geopoliticalSubdivision China-PeoplesRepublic Shanghai-MunicipalityChina) (geopoliticalSubdivision China-PeoplesRepublic Shandong-ProvinceChina) (naturalResourcesInRegion China-PeoplesRepublic Zinc) (languagesSpokenHere China-PeoplesRepublic MandarinChineseLanguage) (naturalResourcesInRegion China-PeoplesRepublic Antimony) (naturalHazardsInRegion China-PeoplesRepublic Hurricane) (geopoliticalSubdivision China-PeoplesRepublic Xinjiang-AutonomousRegion) (customers China-PeoplesRepublic Germany) (naturalResourcesInRegion China-PeoplesRepublic MineralOre) (geopoliticalSubdivision China-PeoplesRepublic Tibet-ProvinceChina) (geopoliticalSubdivision China-PeoplesRepublic InnerMongolia-ProvinceChina) (naturalResourcesInRegion China-PeoplesRepublic Uranium) (languagesSpokenHere China-PeoplesRepublic TibetanLanguage) (implies (isa ?X ChineseProvince) (geopoliticalSubdivision China-PeoplesRepublic ?X)) (customers China-PeoplesRepublic CityOfHongKongHongKong) (imports China-PeoplesRepublic AirTransportationDevice) (geopoliticalSubdivision China-PeoplesRepublic Hainan-ProvinceChina) (geopoliticalSubdivision China-PeoplesRepublic Gansu-ProvinceChina) (naturalHazardsInRegion China-PeoplesRepublic Earthquake) (isa (BorderBetweenFn China-PeoplesRepublic Pakistan) Border) (isa (BorderBetweenFn China-PeoplesRepublic Pakistan) GeopoliticalBorder) (lengthOfObject (BorderBetweenFn China-PeoplesRepublic Pakistan) (Kilometer 523)) (isa (BorderBetweenFn China-PeoplesRepublic Pakistan) IntangibleExistingThing) (isa (BorderBetweenFn China-PeoplesRepublic India) IntangibleExistingThing) (isa (BorderBetweenFn China-PeoplesRepublic India) GeopoliticalBorder) (isa (BorderBetweenFn China-PeoplesRepublic India) Border) (isa (BorderBetweenFn China-PeoplesRepublic Vietnam) Border) (isa (BorderBetweenFn China-PeoplesRepublic Vietnam) GeopoliticalBorder) (isa (BorderBetweenFn China-PeoplesRepublic Vietnam) IntangibleExistingThing) (languagesSpokenHere China-PeoplesRepublic MannanLanguage) (isa China-PeoplesRepublic PublicConstant) (beliefs InternationalCommunity (thereExists ?WEAP (and (isa ?WEAP NuclearWeapon) (possesses China-PeoplesRepublic ?WEAP)))) (beliefs InternationalCommunity (thereExists ?WEAP (and (isa ?WEAP ChemicalWeapon) (possesses China-PeoplesRepublic ?WEAP)))) (geopoliticalSubdivision China-PeoplesRepublic Tibet) (ist-Information BrinksmanshipInTheTaiwanStraitMt (goals China-PeoplesRepublic (ableToControl China-PeoplesRepublic Taiwan-RepublicOfChina))) (ist-Information BrinksmanshipInTheTaiwanStraitMt (implies (and (performedBy ?EVENT China-PeoplesRepublic) (governedByAgreement ?EVENT TaiwanRelationsAct) (intendedMaleficiary ?EVENT Taiwan-RepublicOfChina) (isa ?EVENT (AttemptingFn CoercingAnAgent))) (agentViolatesAgreement China-PeoplesRepublic TaiwanRelationsAct))) (ist-Information BrinksmanshipInTheTaiwanStraitMt (goalCategoryForAgent UnitedStatesOfAmerica (not (agentViolatesAgreement China-PeoplesRepublic TaiwanRelationsAct)) StrategicNationalInterest)) (ist-Information BrinksmanshipInTheTaiwanStraitMt (goals UnitedStatesOfAmerica (not (agentViolatesAgreement China-PeoplesRepublic TaiwanRelationsAct)))) (controls China-PeoplesRepublic (TerritorialSeaFn China-PeoplesRepublic)) (exports China-PeoplesRepublic NuclearProduct) (ist-Information BrinksmanshipInTheTaiwanStraitMt (goalCategoryForAgent Taiwan-RepublicOfChina (not (ableToControl China-PeoplesRepublic Taiwan-RepublicOfChina)) SelfPreservationGoal)) (ist-Information BrinksmanshipInTheTaiwanStraitMt (goals Taiwan-RepublicOfChina (not (ableToControl China-PeoplesRepublic Taiwan-RepublicOfChina)))) (predominantLanguage China-PeoplesRepublic ChineseLanguageSet) (ist-Information BrinksmanshipInTheTaiwanStraitMt (causes-PropProp (eventPosesThreat TaiwanesePresidentialElections-1999 China-PeoplesRepublic) (performedBy MissileLaunchTaiwanStrait China-PeoplesRepublic))) (ist-Information BrinksmanshipInTheTaiwanStraitMt (performedBy LiveFireExercise-China China-PeoplesRepublic)) (holdsIn IranRevolution-1978-1979 (allies Iran China-PeoplesRepublic)) (holdsIn (IntervalStartedByFn IranRevolution-1978-1979) (allies Iran China-PeoplesRepublic)) (internationalOrg-MemberCountry InternationalLaborOrganization China-PeoplesRepublic) (ist-Information BrinksmanshipInTheTaiwanStraitMt (eventPosesThreat FaceOffUSChinaTaiwanStrait China-PeoplesRepublic)) (ist-Information BrinksmanshipInTheTaiwanStraitMt (expects (GovernmentFn UnitedStatesOfAmerica) (causes-SitProp TaiwanStraitPatrol (not (holdsIn (STIF FaceOffUSChinaTaiwanStrait) (thereExists ?ATTACK (and (isa ?ATTACK MilitaryAttack) (directingAgent ?ATTACK China-PeoplesRepublic) (intendedMaleficiary ?ATTACK Taiwan-RepublicOfChina)))))))) (ist-Information BrinksmanshipInTheTaiwanStraitMt (expects (GovernmentFn UnitedStatesOfAmerica) (not (holdsIn (STIF FaceOffUSChinaTaiwanStrait) (thereExists ?ATTACK (and (isa ?ATTACK MilitaryAttack) (directingAgent ?ATTACK China-PeoplesRepublic) (intendedMaleficiary ?ATTACK Taiwan-RepublicOfChina))))))) (ist-Information BrinksmanshipInTheTaiwanStraitMt (expects (GovernmentFn UnitedStatesOfAmerica) (causes-PropProp (holdsSometimeDuring (STIF FaceOffUSChinaTaiwanStrait) (thereExists ?ATTACK (and (isa ?ATTACK MilitaryAttack) (directingAgent ?ATTACK China-PeoplesRepublic) (intendedMaleficiary ?ATTACK Taiwan-RepublicOfChina)))) (holdsSometimeDuring (STIF FaceOffUSChinaTaiwanStrait) (thereExists ?ATTACK1 (and (isa ?ATTACK1 MilitaryAttack) (directingAgent ?ATTACK1 UnitedStatesOfAmerica) (intendedMaleficiary ?ATTACK1 China-PeoplesRepublic) (doneBy ?ATTACK1 USSIndependence) (doneBy ?ATTACK1 USSNimitz))))))) (internationalOrg-MemberCountry MINURSO China-PeoplesRepublic) (internationalOrg-MemberCountry OrganizationForTheProhibitionOfChemicalWeapons China-PeoplesRepublic) (internationalOrg-MemberCountry InternationalMonetaryFund China-PeoplesRepublic) (customers Iran China-PeoplesRepublic) (internationalOrg-MemberCountry InternationalConfederationOfFreeTradeUnions China-PeoplesRepublic) (internationalOrg-MemberCountry Inmarsat China-PeoplesRepublic) (internationalOrg-MemberCountry UNIKOM China-PeoplesRepublic) (internationalOrg-MemberCountry Intelsat China-PeoplesRepublic) (holdsIn (YearFn 1982) (residesInRegion Liana China-PeoplesRepublic)) (hasMembers InternationalSeabedAuthority China-PeoplesRepublic) (internationalOrg-MemberCountry UniversalPostalUnion China-PeoplesRepublic) (internationalOrg-MemberCountry InternationalOrganizationForStandardization China-PeoplesRepublic) (customers Japan China-PeoplesRepublic) (holdsIn (YearFn 1997) (customers Oman China-PeoplesRepublic)) (internationalOrg-MemberCountry WorldTradeOrganization China-PeoplesRepublic) (holdsIn (YearFn 1982) (residesInRegion Foxvog China-PeoplesRepublic)) (conceptuallyRelated XiangLanguage China-PeoplesRepublic) (internationalOrg-MemberCountry InternationalMaritimeOrganization China-PeoplesRepublic) (holidayCelebratedInRegion NationalDay-China China-PeoplesRepublic) (internationalOrg-MemberCountry AsiaPacificEconomicCooperation China-PeoplesRepublic) (internationalOrg-MemberCountry INTERPOL China-PeoplesRepublic) (conceptuallyCoRelated Taiwan-RepublicOfChina China-PeoplesRepublic) (customers Canada China-PeoplesRepublic) (internationalOrg-MemberCountry CustomsCooperationCouncil China-PeoplesRepublic) (hasMembers MINURSO China-PeoplesRepublic) (internationalOrg-MemberCountry UnitedNationsOfficeOfTheHighCommissionerForRefugees China-PeoplesRepublic) (customers Germany China-PeoplesRepublic) (internationalOrg-MemberCountry UnitedNationsInstituteForTrainingAndResearch China-PeoplesRepublic) (internationalOrg-MemberCountry InternationalFinanceCorporation China-PeoplesRepublic) (internationalOrg-MemberCountry UNESCO China-PeoplesRepublic) (internationalOrg-MemberCountry UnitedNationsIndustrialDevelopmentOrganization China-PeoplesRepublic) (conceptuallyRelated EthnicGroupOfHanChinese China-PeoplesRepublic) (internationalOrg-MemberCountry UnitedNationsOrganization China-PeoplesRepublic) (geographicalSubRegions FarEastAsia-Region China-PeoplesRepublic) (hasMembers InternationalHydrographicOrganization China-PeoplesRepublic) (hasMembers AfricanDevelopmentBank China-PeoplesRepublic) (birthPlace GaoXingjian China-PeoplesRepublic) (thereExists ?NEG (and (isa ?NEG Negotiating) (senderOfInfo ?NEG China-PeoplesRepublic) (senderOfInfo ?NEG Iran))) (areasOfOrigin EthnicGroupOfManchus China-PeoplesRepublic) (internationalOrg-MemberCountry InternationalTelecommunicationUnion China-PeoplesRepublic) (ist-Information BrinksmanshipInTheTaiwanStraitMt (goalCategoryForAgent UnitedStatesOfAmerica (not (thereExists ?EVENT (and (isa ?EVENT (AttemptingFn CoercingAnAgent)) (performedBy ?EVENT China-PeoplesRepublic) (intendedMaleficiary ?EVENT Taiwan-RepublicOfChina) (governedByAgreement ?EVENT TaiwanRelationsAct)))) StrategicNationalInterest)) (ist-Information BrinksmanshipInTheTaiwanStraitMt (goals UnitedStatesOfAmerica (not (thereExists ?EVENT (and (isa ?EVENT (AttemptingFn CoercingAnAgent)) (performedBy ?EVENT China-PeoplesRepublic) (intendedMaleficiary ?EVENT Taiwan-RepublicOfChina) (governedByAgreement ?EVENT TaiwanRelationsAct)))))) (ist-Information BrinksmanshipInTheTaiwanStraitMt (implies (and (governedByAgreement ?EVENT TaiwanRelationsAct) (performedBy ?EVENT China-PeoplesRepublic) (isa ?EVENT (AttemptingFn CoercingAnAgent)) (intendedMaleficiary ?EVENT Taiwan-RepublicOfChina)) (eventPosesThreat ?EVENT Taiwan-RepublicOfChina))) (ist-Information BrinksmanshipInTheTaiwanStraitMt (implies (and (isa ?EVENT MilitaryEvent) (intendedMaleficiary ?EVENT Taiwan-RepublicOfChina) (performedBy ?EVENT China-PeoplesRepublic) (isa ?EVENT (AttemptingFn CoercingAnAgent))) (governedByAgreement ?EVENT TaiwanRelationsAct))) (ist-Information BrinksmanshipInTheTaiwanStraitMt (implies (and (isa ?EVENT EconomicEvent) (intendedMaleficiary ?EVENT Taiwan-RepublicOfChina) (performedBy ?EVENT China-PeoplesRepublic) (isa ?EVENT (AttemptingFn CoercingAnAgent))) (governedByAgreement ?EVENT TaiwanRelationsAct))) (jurisdictionRegion US-PacificCommand-HonoluluHI China-PeoplesRepublic) (hasMembers AsiaPacificEconomicCooperation China-PeoplesRepublic) (geographicalSubRegions PacificRim China-PeoplesRepublic) (internationalOrg-MemberCountry WorldHealthOrganization China-PeoplesRepublic) (areaThisLanguageNativeTo MandarinChineseLanguage China-PeoplesRepublic) (hasMembers InternationalAtomicEnergyAgency China-PeoplesRepublic) (currencyOf Yuan-China China-PeoplesRepublic) (internationalOrg-MemberCountry EconomicAndSocialCommissionForAsiaAndThePacific China-PeoplesRepublic) (thereExists ?BUY (thereExists ?MISSILE (and (buyer ?BUY Iran) (isa ?BUY Buying) (isa ?MISSILE BallisticMissile-CSS8) (objectPaidFor ?BUY ?MISSILE) (primaryFunction ?MISSILE (TransportViaFn UnmannedAircraft) transporter) (seller ?BUY China-PeoplesRepublic)))) (thereExists ?BUY (thereExists ?MISSILE (and (buyer ?BUY Iran) (isa ?BUY Buying) (isa ?MISSILE BallisticMissile-CSS8) (objectPaidFor ?BUY ?MISSILE) (seller ?BUY China-PeoplesRepublic)))) (hasMembers INTERPOL China-PeoplesRepublic) (thereExists ?CHANGE (thereExists ?NUC (and (fromPossessor ?CHANGE China-PeoplesRepublic) (isa ?CHANGE ChangeInUserRights) (isa ?NUC NuclearProduct) (objectOfPossessionTransfer ?CHANGE ?NUC) (toPossessor ?CHANGE Iran)))) (obligatedAgent ChemicalWeaponsConvention China-PeoplesRepublic) (internationalOrg-MemberCountry UnitedNationsOperationsInMozambique China-PeoplesRepublic) (internationalOrg-MemberCountry WorldMeteorologicalOrganization China-PeoplesRepublic) (internationalOrg-MemberCountry InternationalAtomicEnergyAgency China-PeoplesRepublic) (hasMembers InternationalMonetaryFund China-PeoplesRepublic) (bordersOn Russia China-PeoplesRepublic) (internationalOrg-MemberCountry UN-SecurityCouncil China-PeoplesRepublic) (conceptuallyRelated (ResidentsFn China-PeoplesRepublic) China-PeoplesRepublic) (bordersOn Macao-Enclave China-PeoplesRepublic) (internationalOrg-MemberCountry FoodAndAgricultureOrganization China-PeoplesRepublic) (bordersOn Afghanistan China-PeoplesRepublic) (internationalOrg-MemberCountry UNOMIL China-PeoplesRepublic) (internationalOrg-MemberCountry InternationalCivilAviationOrganization China-PeoplesRepublic) (hasMembers UNIKOM China-PeoplesRepublic) (internationalOrg-MemberCountry UnitedNationsUniversity China-PeoplesRepublic) (customers CityOfHongKongHongKong China-PeoplesRepublic) (conceptuallyRelated ChinesePerson China-PeoplesRepublic) (obligatedAgent BiologicalAndToxinWeaponsConvention China-PeoplesRepublic) (currencyOf Jiao-China China-PeoplesRepublic) (conceptuallyRelated (CitizensFn China-PeoplesRepublic) China-PeoplesRepublic) (areasOfOrigin EthnicGroupOfMeo China-PeoplesRepublic) (conceptuallyRelated ZenBuddhism China-PeoplesRepublic) (internationalOrg-MemberCountry UNTruceSupervisionOrganization China-PeoplesRepublic) (conceptuallyRelated MandarinChineseLanguage China-PeoplesRepublic) (internationalOrg-MemberCountry InternationalBankForReconstructionAndDevelopment China-PeoplesRepublic) (not (performedBy PassingUNSC-ResolutionThreateningIraqiTravelBan China-PeoplesRepublic)) (internationalOrg-MemberCountry AfricanDevelopmentBank China-PeoplesRepublic) (ist-Information Iran-IraqTankerWarMt (fromPossessor ChinaShipsMissilesToIran China-PeoplesRepublic)) (conceptuallyRelated WuLanguage China-PeoplesRepublic) (customers Taiwan-RepublicOfChina China-PeoplesRepublic) (currencyOf Fen-China China-PeoplesRepublic) (internationalOrg-MemberCountry SixPlusTwo-InternationalOrganization China-PeoplesRepublic) (culturalRegionOfOrigin ChineseCuisine China-PeoplesRepublic) (hasMembers AsianDevelopmentBank China-PeoplesRepublic) (hasMembers UN-SecurityCouncil China-PeoplesRepublic) (hasMembers WorldMeteorologicalOrganization China-PeoplesRepublic) (conceptuallyRelated EthnicGroupOfChinese China-PeoplesRepublic) (conceptuallyRelated HakkaLanguage China-PeoplesRepublic) (internationalOrg-MemberCountry AsianDevelopmentBank China-PeoplesRepublic) (internationalOrg-MemberCountry InternationalOlympicCommittee China-PeoplesRepublic) (hasMembers SixPlusTwo-InternationalOrganization China-PeoplesRepublic) (internationalOrg-MemberCountry NonalignedMovement China-PeoplesRepublic) (isa (BorderBetweenFn Russia China-PeoplesRepublic) GeopoliticalBorder) (isa (BorderBetweenFn Russia China-PeoplesRepublic) Border) (isa (BorderBetweenFn Russia China-PeoplesRepublic) IntangibleExistingThing) (hasMembers UNTruceSupervisionOrganization China-PeoplesRepublic) (hasMembers OrganizationForTheProhibitionOfChemicalWeapons China-PeoplesRepublic) (customers SouthKorea China-PeoplesRepublic) (conceptuallyRelated CityOfHongKongHongKong China-PeoplesRepublic) (eventOccursAt ChineseManHurlsMolotovCocktail-01 China-PeoplesRepublic) (conceptuallyRelated GanLanguage China-PeoplesRepublic) (obligatedAgent NuclearNon-ProliferationTreaty China-PeoplesRepublic) (hasMembers UNOMIL China-PeoplesRepublic) (internationalOrg-MemberCountry WorldIntellectualPropertyOrganization China-PeoplesRepublic) (internationalOrg-MemberCountry InternationalFundForAgriculturalDevelopment China-PeoplesRepublic) (customers UnitedStatesOfAmerica China-PeoplesRepublic) (internationalOrg-MemberCountry UnitedNationsConferenceOnTradeAndDevelopment China-PeoplesRepublic) (internationalOrg-MemberCountry PermanentCourtOfArbitration China-PeoplesRepublic) (internationalOrg-MemberCountry InternationalHydrographicOrganization China-PeoplesRepublic) (conceptuallyRelated CityOfShanghaiChina China-PeoplesRepublic) (ist-Information BrinksmanshipInTheTaiwanStraitMt (causes-PropProp (likelihood (winner-First TaiwanesePresidentialElections-1999 LeeTeng-hui) High) (eventPosesThreat TaiwanesePresidentialElections-1999 China-PeoplesRepublic))) (internationalOrg-MemberCountry InternationalDevelopmentAssociation China-PeoplesRepublic) (isa (BorderBetweenFn Afghanistan China-PeoplesRepublic) GeopoliticalBorder) (lengthOfObject (BorderBetweenFn Afghanistan China-PeoplesRepublic) (Kilometer 76)) (isa (BorderBetweenFn Afghanistan China-PeoplesRepublic) IntangibleExistingThing) (isa (BorderBetweenFn Afghanistan China-PeoplesRepublic) Border) (isa (AirForceFn China-PeoplesRepublic) (MilitaryFn China-PeoplesRepublic)) (isa (NavyFn China-PeoplesRepublic) (MilitaryFn China-PeoplesRepublic)) (isa (ArmyFn China-PeoplesRepublic) (MilitaryFn China-PeoplesRepublic)) (isa (MilitaryFn China-PeoplesRepublic) ExistingObjectType) (genls (MilitaryFn China-PeoplesRepublic) GovernmentMilitaryOrganization) (isa (CitizensFn China-PeoplesRepublic) Nationality) (genls (CitizensFn China-PeoplesRepublic) Person) (genls (CitizensFn China-PeoplesRepublic) ChinesePerson) (isa (CitizensFn China-PeoplesRepublic) PersonByGeoPoliticalAffiliation) (isa GaoYongxiang (CitizensFn China-PeoplesRepublic)) (isa MingXu (CitizensFn China-PeoplesRepublic)) (genls (ResidentsFn China-PeoplesRepublic) EthnicGroupOfChinese) (isa (ResidentsFn China-PeoplesRepublic) PersonByGeographicResidence) (genls (ResidentsFn China-PeoplesRepublic) Person) (genls (ResidentsFn China-PeoplesRepublic) ChinesePerson) (relationInstanceExistsCount possesses (AirForceFn China-PeoplesRepublic) H-6-Bomber 120) (relationInstanceExistsCount possesses (AirForceFn China-PeoplesRepublic) J-11-Fighter 50) (many-GenQuantRelnFrom possesses (AirForceFn China-PeoplesRepublic) R-27R-AirToAirMissile) (many-GenQuantRelnFrom possesses (AirForceFn China-PeoplesRepublic) PL-7-AirToAirMissile) (many-GenQuantRelnFrom possesses (AirForceFn China-PeoplesRepublic) J-7-Fighter) (many-GenQuantRelnFrom possesses (AirForceFn China-PeoplesRepublic) PL-9-AirToAirMissile) (relationInstanceExists possesses (AirForceFn China-PeoplesRepublic) JH-7-Fighter) (many-GenQuantRelnFrom possesses (AirForceFn China-PeoplesRepublic) R-73-AirToAirMissile) (many-GenQuantRelnFrom possesses (AirForceFn China-PeoplesRepublic) PL-10-AirToAirMissile) (relationInstanceExists possesses (AirForceFn China-PeoplesRepublic) H-6-Bomber) (many-GenQuantRelnFrom possesses (AirForceFn China-PeoplesRepublic) J-8-Fighter) (many-GenQuantRelnFrom possesses (AirForceFn China-PeoplesRepublic) PL-5-AirToAirMissile) (relationInstanceExists possesses (AirForceFn China-PeoplesRepublic) J-11-Fighter) (relationInstanceExists possesses (AirForceFn China-PeoplesRepublic) A-5C-Fighter) (many-GenQuantRelnFrom possesses (AirForceFn China-PeoplesRepublic) J-6-Fighter) (many-GenQuantRelnFrom possesses (AirForceFn China-PeoplesRepublic) CruiseMissile-C-101) (relationInstanceExists possesses (AirForceFn China-PeoplesRepublic) J-8-IIM-Fighter) (relationInstanceExists possesses (AirForceFn China-PeoplesRepublic) K-8-Fighter) (isa (AirForceFn China-PeoplesRepublic) GovernmentMilitaryOrganization) (isa (AirForceFn China-PeoplesRepublic) Individual) (isa (AirForceFn China-PeoplesRepublic) AirForce) (subOrganizations (GovernmentFn China-PeoplesRepublic) (AirForceFn China-PeoplesRepublic)) (officialArmedForces (GovernmentFn China-PeoplesRepublic) (AirForceFn China-PeoplesRepublic)) (isa (PresidentFn China-PeoplesRepublic) PositionType) (genls (PresidentFn China-PeoplesRepublic) PresidentOfOrganization) (rewriteOf ChinaPresident (PresidentFn China-PeoplesRepublic)) (keIrrelevantTerm (PresidentFn China-PeoplesRepublic)) (isa (TerritoryFn China-PeoplesRepublic) Individual) (isa (TerritoryFn China-PeoplesRepublic) GeopoliticalRegion) (isa (TerritoryFn China-PeoplesRepublic) Place-NonAgent) (isa (TerritoryFn China-PeoplesRepublic) GeographicalRegion) (subAbstractions China-Historical (TerritoryFn China-PeoplesRepublic)) (isa (NationalRedCrossSocietyFn China-PeoplesRepublic) RedCrossSociety-National) (hasMembers InternationalFederationOfRedCrossAndRedCrescentSocieties (NationalRedCrossSocietyFn China-PeoplesRepublic)) (isa (NationalPressFn China-PeoplesRepublic) (GroupFn PartiallyTangible)) (groupMemberType (NationalPressFn China-PeoplesRepublic) Agent) (isa (NationalPressFn China-PeoplesRepublic) (GroupFn Agent)) (isa (NationalPressFn China-PeoplesRepublic) (GroupFn NewsOrganization)) (groupMemberType (NationalPressFn China-PeoplesRepublic) NationalOrganization) (groupMemberType (NationalPressFn China-PeoplesRepublic) NewsOrganization) (isa (NationalPressFn China-PeoplesRepublic) (GroupFn NationalOrganization)) (groupMembers (NationalPressFn China-PeoplesRepublic) XinhuaNewsAgency) (relationInstanceExistsCount possesses (NavyFn China-PeoplesRepublic) LuhaiClassDestroyer 1) (relationInstanceExistsCount possesses (NavyFn China-PeoplesRepublic) Type43-SupportWatercraft 40) (relationInstanceExistsCount possesses (NavyFn China-PeoplesRepublic) DadieClassSurveillanceWatercraft 1) (relationInstanceExists possesses (NavyFn China-PeoplesRepublic) LudaClassDestroyer) (relationInstanceExists possesses (NavyFn China-PeoplesRepublic) Houxin-FastAttackCraft) (relationInstanceExists possesses (NavyFn China-PeoplesRepublic) XIAClassSubmarine) (many-GenQuantRelnFrom possesses (NavyFn China-PeoplesRepublic) CruiseMissile-C-701) (relationInstanceExists possesses (NavyFn China-PeoplesRepublic) DadieClassSurveillanceWatercraft) (relationInstanceExists possesses (NavyFn China-PeoplesRepublic) Yuanwan-SupportShip) (relationInstanceExists possesses (NavyFn China-PeoplesRepublic) Hegu-FastAttackCraft) (relationInstanceExists possesses (NavyFn China-PeoplesRepublic) Haijiu-FastAttackCraft) (relationInstanceExists possesses (NavyFn China-PeoplesRepublic) Houjian-FastAttackCraft) (many-GenQuantRelnFrom possesses (NavyFn China-PeoplesRepublic) HQ-2-SurfaceToAirMissile) (relationInstanceExists possesses (NavyFn China-PeoplesRepublic) DeepSubmergenceRescueVehicle) (many-GenQuantRelnFrom possesses (NavyFn China-PeoplesRepublic) CruiseMissile-C-801) (relationInstanceExists possesses (NavyFn China-PeoplesRepublic) Hainan-FastAttackCraft) (relationInstanceExists possesses (NavyFn China-PeoplesRepublic) HanClassSubmarine) (many-GenQuantRelnFrom possesses (NavyFn China-PeoplesRepublic) HQ-61A-SurfaceToAirMissile) (many-GenQuantRelnFrom possesses (NavyFn China-PeoplesRepublic) CruiseMissile-C-201) (relationInstanceExists possesses (NavyFn China-PeoplesRepublic) Shanghai-FastAttackCraft) (relationInstanceExists possesses (NavyFn China-PeoplesRepublic) JiangweiClassDestroyer) (relationInstanceExists possesses (NavyFn China-PeoplesRepublic) Huchuan-FastAttackCraft) (relationInstanceExists possesses (NavyFn China-PeoplesRepublic) SongClassSubmarine) (relationInstanceExists possesses (NavyFn China-PeoplesRepublic) Haizhu-FastAttackCraft) (many-GenQuantRelnFrom possesses (NavyFn China-PeoplesRepublic) HQ-7-SurfaceToAirMissile) (many-GenQuantRelnFrom possesses (NavyFn China-PeoplesRepublic) CruiseMissile-C-802) (relationInstanceExists possesses (NavyFn China-PeoplesRepublic) Huangfen-FastAttackCraft) (relationInstanceExists possesses (NavyFn China-PeoplesRepublic) Type43-SupportWatercraft) (many-GenQuantRelnFrom possesses (NavyFn China-PeoplesRepublic) CruiseMissile-C-101) (relationInstanceExists possesses (NavyFn China-PeoplesRepublic) Haiqing-FastAttackCraft) (relationInstanceExists possesses (NavyFn China-PeoplesRepublic) MingClassSubmarine) (relationInstanceExists possesses (NavyFn China-PeoplesRepublic) LuhaiClassDestroyer) (relationInstanceExists possesses (NavyFn China-PeoplesRepublic) Shichang-SupportWatercraft) (relationInstanceExists possesses (NavyFn China-PeoplesRepublic) JianghuClassDestroyer) (relationInstanceExists possesses (NavyFn China-PeoplesRepublic) LuhuClassDestroyer) (relationAllInstance usefulToAgent LuhaiClassDestroyer (NavyFn China-PeoplesRepublic)) (isa (NavyFn China-PeoplesRepublic) ModernMilitaryOrganization) (isa (NavyFn China-PeoplesRepublic) Navy) (isa (NavyFn China-PeoplesRepublic) GovernmentMilitaryOrganization) (isa (NavyFn China-PeoplesRepublic) Individual) (subOrganizations (GovernmentFn China-PeoplesRepublic) (NavyFn China-PeoplesRepublic)) (officialArmedForces (GovernmentFn China-PeoplesRepublic) (NavyFn China-PeoplesRepublic)) (isa (LandBorderFn China-PeoplesRepublic) GeopoliticalBorder) (isa (LandBorderFn China-PeoplesRepublic) Border) (lengthOfObject (LandBorderFn China-PeoplesRepublic) (Kilometer 22143.3)) (isa (LandBorderFn China-PeoplesRepublic) SomethingExisting) (isa (CoastlineFn China-PeoplesRepublic) IKBConstant) (isa (CoastlineFn China-PeoplesRepublic) Seacoast) (lengthOfObject (CoastlineFn China-PeoplesRepublic) (Kilometer 14500)) (isa (TerritorialSeaFn China-PeoplesRepublic) IKBConstant) (isa (TerritorialSeaFn China-PeoplesRepublic) TerritorialWaters) (isa (TerritorialSeaFn China-PeoplesRepublic) GeographicalRegion) (isa (TerritorialSeaFn China-PeoplesRepublic) SeaWater) (widthOfObject (TerritorialSeaFn China-PeoplesRepublic) (IntervalMaxFn (NauticalMile 12))) (spatiallyDisjoint HighSeas (TerritorialSeaFn China-PeoplesRepublic)) (many-GenQuantRelnFrom possesses (ArmyFn China-PeoplesRepublic) WZ551ArmoredFightingVehicle) (many-GenQuantRelnFrom possesses (ArmyFn China-PeoplesRepublic) BallisticMissile-CSS2) (many-GenQuantRelnFrom possesses (ArmyFn China-PeoplesRepublic) BallisticMissile-CSS-5) (many-GenQuantRelnFrom possesses (ArmyFn China-PeoplesRepublic) BattleTank-Type88B) (many-GenQuantRelnFrom possesses (ArmyFn China-PeoplesRepublic) BattleTank-Type62) (many-GenQuantRelnFrom possesses (ArmyFn China-PeoplesRepublic) BattleTank-Type90II) (many-GenQuantRelnFrom possesses (ArmyFn China-PeoplesRepublic) BallisticMissile-M9) (many-GenQuantRelnFrom possesses (ArmyFn China-PeoplesRepublic) Type90ArmoredFightingVehicle) (many-GenQuantRelnFrom possesses (ArmyFn China-PeoplesRepublic) BattleTank-Type88C) (many-GenQuantRelnFrom possesses (ArmyFn China-PeoplesRepublic) CruiseMissile-C-101) (many-GenQuantRelnFrom possesses (ArmyFn China-PeoplesRepublic) WZ501ArmoredFightingVehicle) (many-GenQuantRelnFrom possesses (ArmyFn China-PeoplesRepublic) YW534ArmoredPersonnelCarrier) (many-GenQuantRelnFrom possesses (ArmyFn China-PeoplesRepublic) BallisticMissile-CSS-4) (relationInstanceExists possesses (ArmyFn China-PeoplesRepublic) BallisticMissile-CSS-3) (relationInstanceExists possesses (ArmyFn China-PeoplesRepublic) BallisticMissile-DF-31) (many-GenQuantRelnFrom possesses (ArmyFn China-PeoplesRepublic) BallisticMissile-CSS7) (many-GenQuantRelnFrom possesses (ArmyFn China-PeoplesRepublic) WZ553ArmoredPersonnelCarrier) (isa (ArmyFn China-PeoplesRepublic) Individual) (isa (ArmyFn China-PeoplesRepublic) ModernMilitaryOrganization) (isa (ArmyFn China-PeoplesRepublic) Army-BranchOfService) (isa (ArmyFn China-PeoplesRepublic) GovernmentMilitaryOrganization) (subOrganizations (GovernmentFn China-PeoplesRepublic) (ArmyFn China-PeoplesRepublic)) (officialArmedForces (GovernmentFn China-PeoplesRepublic) (ArmyFn China-PeoplesRepublic)) (holdsIn (MonthFn April (YearFn 1996)) (thereExists ?EXERCISE (and (isa ?EXERCISE MilitaryExercise) (eventOccursAt ?EXERCISE Kuwait) (duration ?EXERCISE (DaysDuration 6)) (performedBy ?EXERCISE (ArmyFn UnitedKingdomOfGreatBritainAndNorthernIreland)) (performedBy ?EXERCISE (ArmyFn Russia)) (performedBy ?EXERCISE (ArmyFn China-PeoplesRepublic)) (performedBy ?EXERCISE (ArmyFn UnitedStatesOfAmerica)) (performedBy ?EXERCISE (ArmyFn Italy))))) (isa (GovernmentFn China-PeoplesRepublic) GovernmentOfCountry) (holdsIn (TimeIntervalBetweenFn (YearFn 1950) Now) (considersAsEnemy (GovernmentFn China-PeoplesRepublic) (GovernmentFn Taiwan-RepublicOfChina))) (isa (GovernmentFn China-PeoplesRepublic) RegionalGovernment) (groupMemberType (GovernmentFn China-PeoplesRepublic) IntelligentAgent) (holdsIn (TimeIntervalBetweenFn (YearFn 1950) Now) (considersAsEnemy (GovernmentFn Taiwan-RepublicOfChina) (GovernmentFn China-PeoplesRepublic))) (holdsIn (IntervalStartedByFn (YearFn 1949)) (ableToControl XinhuaNewsAgency (GovernmentFn China-PeoplesRepublic))) ) ) ;; End of description China-PeoplesRepublicDgrp ;;------------------------------------ ;; -*- LISP -*- ;; Description dumped from SME v4 ;; Created by paritosh, using HERBRAND, a x86 at HERBRAND running Microsoft Windows 9x, Me, NT and 2000 (sme::defdescription BhutanDgrp :documentation "" :notes "" :expressions ( (hasStatusWithAgent InternationalSeabedAuthority Bhutan ObserverStatus) (languagesSpokenHere Bhutan SharchagpakhaLanguage) (geopoliticalSubdivision Bhutan Tongsa-DistrictBhutan) (geopoliticalSubdivision Bhutan Mongar-DistrictBhutan) (isa Bhutan GeographicalRegion) (geopoliticalSubdivision Bhutan Samchi-DistrictBhutan) (geopoliticalSubdivision Bhutan Punakha-DistrictBhutan) (subjectToCOC Bhutan HumanRights) (geopoliticalSubdivision Bhutan Pemagatsel-DistrictBhutan) (isa Bhutan IndependentCountry) (geopoliticalSubdivision Bhutan Chirang-DistrictBhutan) (isa Bhutan LandlockedRegion) (languagesSpokenHere Bhutan DzongkhaLanguage) (regionLacksTransportMeans Bhutan Train-TransportationDevice) (geopoliticalSubdivision Bhutan Geylegphug-DistrictBhutan) (geopoliticalSubdivision Bhutan Daga-DistrictBhutan) (languagesSpokenHere Bhutan KhengkhaLanguage) (languagesSpokenHere Bhutan NepaliLanguage) (languagesSpokenHere Bhutan KebumtampLanguage) (geopoliticalSubdivision Bhutan Bumthang-DistrictBhutan) (regionLacksTransportMeans Bhutan Airplane) (geopoliticalSubdivision Bhutan Lhuntshi-DistrictBhutan) (geopoliticalSubdivision Bhutan Shemgang-DistrictBhutan) (languagesSpokenHere Bhutan TsanglaLanguage) (geopoliticalSubdivision Bhutan Chhukha-DistrictBhutan) (geopoliticalSubdivision Bhutan WangdiPhodrang-DistrictBhutan) (ethnicGroupsHere Bhutan EthnicGroupOfBhote) (geopoliticalSubdivision Bhutan Samdrup-DistrictBhutan) (governmentType Bhutan Monarchy) (geopoliticalSubdivision Bhutan Ha-DistrictBhutan) (geopoliticalSubdivision Bhutan Tashigang-DistrictBhutan) (languagesSpokenHere Bhutan KurtopakhaLanguage) (ethnicGroupsHere Bhutan EthnicGroupOfNepalese) (isa Bhutan GeopoliticalEntity) (isa Bhutan UnderdevelopedRegion) (nationalLanguage Bhutan DzongkhaLanguage) (geopoliticalSubdivision Bhutan Thimphu-DistrictBhutan) (geopoliticalSubdivision Bhutan Paro-DistrictBhutan) (isa Bhutan IKBConstant) (bordersOn India Bhutan) (jurisdictionRegion US-PacificCommand-HonoluluHI Bhutan) (obligatedAgent NuclearNon-ProliferationTreaty Bhutan) (bordersOn China-PeoplesRepublic Bhutan) (hasMembers InternationalMonetaryFund Bhutan) (geographicalSubRegions IndianSubcontinent Bhutan) (obligatedAgent ChemicalWeaponsConvention Bhutan) (obligatedAgent BiologicalAndToxinWeaponsConvention Bhutan) (internationalOrg-MemberCountry OrganizationForTheProhibitionOfChemicalWeapons Bhutan) (internationalOrg-MemberCountry UnitedNationsOrganization Bhutan) (conceptuallyRelated DzongkhaLanguage Bhutan) ) ) ;; End of description BhutanDgrp ;;------------------------------------ ;; -*- LISP -*- ;; Description dumped from SME v4 ;; Created by paritosh, using HERBRAND, a x86 at HERBRAND running Microsoft Windows 9x, Me, NT and 2000 (sme::defdescription NepalDgrp :documentation "" :notes "" :expressions ( (denotationRelatedTo Nepalese-TheWord Adjective 0 Nepal) (denotationRelatedTo Nepali-TheWord Adjective 0 Nepal) (relationInstanceAll citizens Nepal NepalesePerson) (trueRule (FunctionRuleTemplateFn SubcollectionOfWithRelationToFn) (implies (isa ?INSTANCE (SubcollectionOfWithRelationToFn Ecotourism eventOccursAt Nepal)) (eventOccursAt ?INSTANCE Nepal))) (ethnicGroupsHere Nepal EthnicGroupOfSherpas) (geopoliticalSubdivision Nepal Bheri-ZoneNepal) (holdsIn TheYear1988 (deathRate Nepal 17)) (capitalCity Nepal CityOfKathmanduNepal) (imports Nepal PetroleumProduct) (languagesSpokenHere Nepal AwadhiLanguage) (holdsIn TheYear1986 (birthRate Nepal 41.5)) (nationalLanguage Nepal NepaliLanguage) (ethnicGroupsHere Nepal EthnicGroupOfBhote) (geopoliticalSubdivision Nepal Dhawalagiri-ZoneNepal) (isa Nepal Entity) (geopoliticalSubdivision Nepal Rapti-ZoneNepal) (languagesSpokenHere Nepal NewariLanguage) (holdsIn TheYear1988 (birthRate Nepal 42)) (geopoliticalSubdivision Nepal Janakpur-ZoneNepal) (ethnicGroupsHere Nepal EthnicGroupOfIndia) (ethnicGroupsHere Nepal EthnicGroupOfNewari) (languagesSpokenHere Nepal MagarLanguage) (languagesSpokenHere Nepal BihariLanguage) (geopoliticalSubdivision Nepal Mechi-ZoneNepal) (ethnicGroupsHere Nepal EthnicGroupOfTamangs) (languagesSpokenHere Nepal MaithiliLanguage) (isa Nepal GeopoliticalEntity) (inhabitantTypes Nepal NepalesePerson) (temporalBoundsContain Nepal TheYear1986) (geopoliticalSubdivision Nepal Karnali-ZoneNepal) (ethnicGroupsHere Nepal EthnicGroupOfNepalese) (holdsIn TheYear1988 (infantMortalityRate Nepal 313)) (languagesSpokenHere Nepal NepaliLanguage) (bordersOn Nepal Tibet) (ethnicGroupsHere Nepal EthnicGroupOfRais) (languagesSpokenHere Nepal TharuLanguage) (geographicalSubRegions Nepal MountEverest) (isa Nepal LandlockedRegion) (languagesSpokenHere Nepal TamangLanguage) (geopoliticalSubdivision Nepal Gandaki-ZoneNepal) (subjectToCOC Nepal HumanRights) (geopoliticalSubdivision Nepal Mahakali-ZoneNepal) (geopoliticalSubdivision Nepal Seti-ZoneNepal) (geopoliticalSubdivision Nepal Bagmati-ZoneNepal) (geopoliticalSubdivision Nepal Sagarmatha-ZoneNepal) (geopoliticalSubdivision Nepal Kosi-ZoneNepal) (languagesSpokenHere Nepal LimbuLanguage) (adjSemTrans Nepali-TheWord 0 RegularAdjFrame (possessiveRelation Nepal :NOUN)) (adjSemTrans Nepalese-TheWord 0 RegularAdjFrame (possessiveRelation Nepal :NOUN)) (temporalBoundsContain Nepal TheYear1988) (isa Nepal IndependentCountry) (ethnicGroupsHere Nepal EthnicGroupOfLimbu) (isa Nepal GeographicalRegion) (ethnicGroupsHere Nepal EthnicGroupOfMagars) (geopoliticalSubdivision Nepal Lumbini-ZoneNepal) (ethnicGroupsHere Nepal EthnicGroupOfTibetans) (holdsIn TheYear1986 (deathRate Nepal 18.2)) (ethnicGroupsHere Nepal EthnicGroupOfGurung) (geopoliticalSubdivision Nepal Narayani-ZoneNepal) (isa Nepal IKBConstant) (internationalOrg-MemberCountry CustomsCooperationCouncil Nepal) (conceptuallyRelated MountEverest Nepal) (obligatedAgent NuclearNon-ProliferationTreaty Nepal) (hasMembers InternationalMonetaryFund Nepal) (currencyOf Rupee-Nepal Nepal) (internationalOrg-MemberCountry OrganizationForTheProhibitionOfChemicalWeapons Nepal) (hasMembers InternationalSeabedAuthority Nepal) (internationalOrg-MemberCountry UnitedNationsOrganization Nepal) (bordersOn China-PeoplesRepublic Nepal) (obligatedAgent ChemicalWeaponsConvention Nepal) (conceptuallyRelated EthnicGroupOfNepalese Nepal) (conceptuallyRelated LokendraBahadur Nepal) (geographicalSubRegions IndianSubcontinent Nepal) (internationalOrg-MemberCountry INTERPOL Nepal) (jurisdictionRegion US-PacificCommand-HonoluluHI Nepal) (isa (NationalRedCrossSocietyFn Nepal) RedCrossSociety-National) (hasMembers InternationalFederationOfRedCrossAndRedCrescentSocieties (NationalRedCrossSocietyFn Nepal)) ) ) ;; End of description NepalDgrp ;;------------------------------------