From f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Mon, 16 Sep 2013 07:17:27 +0000 Subject: Remove contribs and examples Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb --- examples/SUMO/Government.gf | 1649 ------------------------------------------- 1 file changed, 1649 deletions(-) delete mode 100644 examples/SUMO/Government.gf (limited to 'examples/SUMO/Government.gf') diff --git a/examples/SUMO/Government.gf b/examples/SUMO/Government.gf deleted file mode 100644 index 9e9697191..000000000 --- a/examples/SUMO/Government.gf +++ /dev/null @@ -1,1649 +0,0 @@ -abstract Government = MidLevelOntology, Geography ** { - - fun ASEANRegionalForum : Ind OrganizationOfNations ; - - fun AbsoluteMonarchy : Ind FormOfGovernment ; - - -- AcceptsICJJurisdiction is the - -- Attribute of a legal system that accepts rulings of the - -- InternationalCourtOfJustice. - fun AcceptsICJJurisdiction : Ind LegalSystemAttribute ; - - fun ActingConsulGeneral : Ind ForeignServicePosition ; - - fun AdministrationAndManagement : Ind AreaOfConcern ; - - fun AdvisoryCommittee : Ind MemberStatus ; - - fun AfricanCaribbeanAndPacificGroupOfStates : Ind OrganizationOfNations ; - - fun AfricanDevelopmentBank : Ind OrganizationOfNations ; - - fun AgencyForTheFrenchSpeakingCommunity : Ind OrganizationOfNations ; - - fun AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean : Ind OrganizationOfNations ; - - fun AgriculturalDevelopment : Ind AreaOfConcern ; - - -- Ambassador is the Attribute of the most - -- highly_ranked foreign service representatives from the government of one - -- country to another. - fun Ambassador : Ind ForeignServicePosition ; - - -- The AmericanInstituteInTaiwan - -- is a private, nonprofit corporation under United States government - -- oversight that conducts relations with Taiwan. - fun AmericanInstituteInTaiwan : Ind Organization ; - - fun Anarchy : Ind FormOfGovernment ; - - fun AndeanCommunityOfNations : Ind OrganizationOfNations ; - - fun AntarcticTreatyCouncil : Ind OrganizationOfNations ; - - -- Antiterrorism and Effective - -- Death Penalty Act modifies the Immigration and Nationality Act - -- was enacted in 1996 and specifies that: - -- (1) It is unlawful to provide funds or other material support to a - -- designated FTO. - -- (2) Representatives and certain members of a designated FTO can be denied - -- visas or excluded from the United States. - -- (3) US financial institutions must block funds of designated FTOs and their - -- agents and must report the blockage to the US Department of the Treasury. - fun AntiterrorismAndEffectiveDeathPenaltyAct : Ind Proposition ; - - -- AppealsCourt is the class of - -- JudicialOrganizations that review cases from lower courts on appeal. - fun AppealsCourt : Class ; - fun AppealsCourt_Class : SubClass AppealsCourt JudicialOrganization ; - - fun ArabBankForEconomicDevelopmentInAfrica : Ind OrganizationOfNations ; - - fun ArabCooperationCouncil : Ind OrganizationOfNations ; - - fun ArabFundForEconomicAndSocialDevelopment : Ind OrganizationOfNations ; - - fun ArabLeague : Ind OrganizationOfNations ; - - fun ArabMaghrebUnion : Ind OrganizationOfNations ; - - fun ArabMonetaryFund : Ind OrganizationOfNations ; - - fun ArmsControl : Ind TransnationalIssue ; - - fun AsiaPacificEconomicCooperation : Ind OrganizationOfNations ; - - fun AsianDevelopmentBank : Ind OrganizationOfNations ; - - fun AssociateMember : Ind MemberStatus ; - - fun AssociatePartner : Ind MemberStatus ; - - fun AssociationOfSoutheastAsianNations : Ind OrganizationOfNations ; - - fun AustraliaGroup : Ind OrganizationOfNations ; - - fun AustraliaNewZealandUnitedStatesSecurityTreaty : Ind OrganizationOfNations ; - - -- AuthoritarianRegime is the - -- attribute of a government that rules autocratically, not allowing - -- opposition. - fun AuthoritarianRegime : Ind FormOfGovernment ; - - fun AuthoritarianSocialist : Ind FormOfGovernment ; - - fun BankForInternationalSettlements : Ind OrganizationOfNations ; - - fun BeneluxEconomicUnion : Ind OrganizationOfNations ; - - -- BicameralLegislature is the - -- Attribute of governments whose legislative branches have two - -- legislative chambers. For example, in the UnitedStates the legislative - -- branch comprises the Senate and the House of Representatives. - fun BicameralLegislature : Ind FormOfGovernment ; - - fun BigSeven : Ind OrganizationOfNations ; - - fun BigSix : Ind OrganizationOfNations ; - - fun BlackSeaEconomicCooperationZone : Ind OrganizationOfNations ; - - fun BoardOfTrusteesMember : Ind MemberStatus ; - - fun BoundaryDetermination : Ind TransnationalIssue ; - - fun BritishCrownColony : Class ; - fun BritishCrownColony_Class : SubClass BritishCrownColony OverseasArea ; - - fun CBWExportControls : Ind TransnationalIssue ; - - -- (CabinetFn ?AREA) denotes the - -- GovernmentCabinet associated with the government of the - -- GeopoliticalArea ?AREA. - fun CabinetFn : El GeopoliticalArea -> Ind GovernmentOrganization ; - - fun CaribbeanCommunityAndCommonMarket : Ind OrganizationOfNations ; - - fun CaribbeanDevelopmentBank : Ind OrganizationOfNations ; - - fun CategoryIIIMember : Ind MemberStatus ; - - fun CategoryIIMember : Ind MemberStatus ; - - fun CategoryIMember : Ind MemberStatus ; - - fun CentralAfricanStatesDevelopmentBank : Ind OrganizationOfNations ; - - fun CentralAmericanBankForEconomicIntegration : Ind OrganizationOfNations ; - - fun CentralAmericanCommonMarket : Ind OrganizationOfNations ; - - fun CentralEuropeanInitiative : Ind OrganizationOfNations ; - - fun Chairman : Ind Position ; - - -- ChargeDAffaires is the Attribute of - -- foreign servicer officers representing their governments abroad as - -- Charges d'Affaires. - fun ChargeDAffaires : Ind ForeignServicePosition ; - - fun Chiefdom : Ind FormOfGovernment ; - - fun ChildHealthServices : Ind AreaOfConcern ; - - -- CivilLaw is the attribute of legal systems - -- based ultimately on the code of civil law developed in Ancient Rome. - -- Civil law systems are characterized by their expression of laws in written - -- code and statute and by their effort to use general principles to define - -- and rationalize the laws. - fun CivilLaw : Ind LegalSystemAttribute ; - - fun CivilPoliceTraining : Ind AreaOfConcern ; - - fun ColomboPlan : Ind OrganizationOfNations ; - - fun CommissionForSocialDevelopment : Ind InternationalOrganization ; - - fun CommissionOnCrimePreventionAndCriminalJustice : Ind InternationalOrganization ; - - fun CommissionOnHumanRights : Ind InternationalOrganization ; - - fun CommissionOnNarcoticsDrugs : Ind InternationalOrganization ; - - fun CommissionOnPopulationAndDevelopment : Ind InternationalOrganization ; - - fun CommissionOnScienceAndTechnologyForDevelopment : Ind InternationalOrganization ; - - fun CommissionOnSustainableDevelopment : Ind InternationalOrganization ; - - fun CommissionOnTheStatusOfWomen : Ind InternationalOrganization ; - - fun Commissioner : Ind MemberStatus ; - - fun Commonwealth : Ind FormOfGovernment ; - - fun CommonwealthOfIndependentStates : Ind OrganizationOfNations ; - - fun CommonwealthOfNations : Ind OrganizationOfNations ; - - fun CommunicationsCoordination : Ind AreaOfConcern ; - - fun CommunistState : Ind FormOfGovernment ; - - fun CompactOfFreeAssociationWithNewZealand : Ind FormOfGovernment ; - - fun CompactOfFreeAssociationWithUnitedStates : Ind FormOfGovernment ; - - fun CompensationAndReparation : Ind AreaOfConcern ; - - -- CompulsorySuffrageLaw is a law that - -- requires all eligible voters in a country to vote, under threat of some - -- penalty. - fun CompulsorySuffrageLaw : Ind SuffrageLaw ; - - -- The class Constitution includes the bodies of - -- abstract principles formulated to guide the laws, institutions and practices - -- of various Governments. Also see ConstitutionDocument. - fun Constitution : Class ; - fun Constitution_Class : SubClass Constitution Proposition ; - - -- ConstitutionDocument is the class - -- of information_containing objects in which the Constitution of a - -- government is encoded. - fun ConstitutionDocument : Class ; - fun ConstitutionDocument_Class : SubClass ConstitutionDocument ContentBearingObject ; - - -- (ConstitutionFn ?AREA) denotes a class - -- containing all Constitutions adopted by the government of the - -- GeopoliticalArea ?AREA. For example, (ConstitutionFn UnitedStates) - -- contains the ConstitutionOfTheUnitedStates. - fun ConstitutionFn: El GeopoliticalArea -> Desc Constitution ; - - -- ConstitutionalCourt is the class of - -- JudicialOrganizations that rule on constitutional matters, in countries - -- that have a Constitution. - fun ConstitutionalCourt : Class ; - fun ConstitutionalCourt_Class : SubClass ConstitutionalCourt JudicialOrganization ; - - fun ConstitutionalDemocracy : Ind FormOfGovernment ; - - fun ConstitutionalDemocraticRepublic : Ind FormOfGovernment ; - - -- ConstitutionalGovernment is - -- the attribute of a government whose authority and rule are guided by - -- principles expressed in a written Constitution. - fun ConstitutionalGovernment : Ind FormOfGovernment ; - - fun ConstitutionalMonarchy : Ind FormOfGovernment ; - - fun ConstitutionalParliamentaryDemocracy : Ind FormOfGovernment ; - - fun ConstitutionalRepublic : Ind FormOfGovernment ; - - -- Consul is the Attribute of foreign service - -- officers representing their governments abroad as Consuls. - fun Consul : Ind ForeignServicePosition ; - - -- ConsulGeneral is the Attribute of - -- foreign service officers representing their governments abroad as - -- Consuls General. - fun ConsulGeneral : Ind ForeignServicePosition ; - - -- Consulate is a class of government - -- organizations that represent one nation within the territory of a second - -- nation. Consulates offer services for citizens of their own country - -- abroad, as well as for citizens of the host country who have dealings - -- with the country represented by the consulate general. See also - -- ConsulateGeneral. - fun Consulate : Class ; - fun Consulate_Class : SubClass Consulate DiplomaticOrganization ; - - -- ConsulateGeneral is a class of - -- government organizations that represent one nation within the territory of - -- a second nation. Consulates General offer a wider variety of services - -- than do Consulates. - fun ConsulateGeneral : Class ; - fun ConsulateGeneral_Class : SubClass ConsulateGeneral DiplomaticOrganization ; - - fun ControlBiologicalAndChemicalWeapons : Ind TransnationalIssue ; - - fun ControlNuclearWeapons : Ind TransnationalIssue ; - - fun ControlWeaponsOfMassDestruction : Ind TransnationalIssue ; - - fun ConventionalArmsControl : Ind TransnationalIssue ; - - fun CooperatingState : Ind MemberStatus ; - - fun CooperationInCivilAviation : Ind AreaOfConcern ; - - fun CoordinateCreditPolicy : Ind TransnationalIssue ; - - -- The - -- CoordinatingCommitteeOnExportControls was abolished as of March 31, - -- 1994, and its members formed the WassenaarArrangement on July 12, 1996, - -- with expanded membership and a post_Cold War aim of voluntary export - -- controls on conventional arms and dual_use goods and technologies. - fun CoordinatingCommitteeOnExportControls : Ind OrganizationOfNations ; - - fun Coprincipality : Ind FormOfGovernment ; - - fun CorrespondentMember : Ind MemberStatus ; - - fun CouncilForMutualEconomicAssistance : Ind OrganizationOfNations ; - - -- The - -- CouncilOfArabEconomicUnity was established in 1957 but did not become - -- effective until May 30, 1964. - fun CouncilOfArabEconomicUnity : Ind OrganizationOfNations ; - - fun CouncilOfEurope : Ind OrganizationOfNations ; - - fun CouncilOfTheBalticSeaStates : Ind OrganizationOfNations ; - - fun CouncilOfTheEntente : Ind OrganizationOfNations ; - - fun CrimePrevention : Ind AreaOfConcern ; - - fun CulturalCooperation : Ind TransnationalIssue ; - - -- Democracy is the attribute of a government - -- whose authority and rule are based in the will of the people governed. - -- The will of the people is usually expressed through Elections, direct or - -- indirect. - fun Democracy : Ind FormOfGovernment ; - - -- The US Government - -- organization founded in 2002 to consolidate and organize - -- national_level preparations to thwart security threats, primarily - -- terrorist attacks, against the United States of America. - fun DepartmentOfHomelandSecurity : Ind GovernmentOrganization ; - - -- DependencyOrSpecialSovereigntyArea is a subclass of - -- GeopoliticalArea, representing the classification 'Dependency or Special - -- Sovereignty Area' used by the CIA World Fact Book. Cf. - -- IndependentState. - fun DependencyOrSpecialSovereigntyArea : Class ; - fun DependencyOrSpecialSovereigntyArea_Class : SubClass DependencyOrSpecialSovereigntyArea GeopoliticalArea ; - - fun DialoguePartner : Ind MemberStatus ; - - fun Dictatorship : Ind FormOfGovernment ; - - -- DiplomaticAgent is a generic Attribute - -- of persons charged to represent one national government to another nation - -- or international organization. This includes any Ambassador or head of - -- a diplomatic mission. Individuals with this attribute may also hold a - -- career diplomatic position (see ForeignServicePosition). - fun DiplomaticAgent : Ind ForeignServicePosition ; - - -- DiplomaticOrganization is the - -- general class of government organizations that represent one nation in - -- official government business with other nations. - fun DiplomaticOrganization : Class ; - fun DiplomaticOrganization_Class : SubClass DiplomaticOrganization GovernmentOrganization ; - - fun EastAfricanDevelopmentBank : Ind OrganizationOfNations ; - - fun EcclesiasticalGovernment : Ind FormOfGovernment ; - - fun EconomicAndSocialCommissionForAsiaAndThePacific : Ind InternationalOrganization ; - - fun EconomicAndSocialCommissionForWesternAsia : Ind InternationalOrganization ; - - -- The EconomicAndSocialCouncil is - -- the coordinating organization for the social and economic work of the - -- UnitedNations. It comprises five regional commissions and nine - -- functional commissions. - fun EconomicAndSocialCouncil : Ind OrganizationOfNations ; - - fun EconomicCommissionForAfrica : Ind InternationalOrganization ; - - fun EconomicCommissionForEurope : Ind InternationalOrganization ; - - fun EconomicCommissionForLatinAmericaAndTheCaribbean : Ind InternationalOrganization ; - - fun EconomicCommunityOfTheGreatLakesCountries : Ind OrganizationOfNations ; - - fun EconomicCommunityOfWestAfricanStates : Ind OrganizationOfNations ; - - fun EconomicCooperation : Ind TransnationalIssue ; - - fun EconomicCooperationOrganization : Ind OrganizationOfNations ; - - fun EconomicDevelopment : Ind AreaOfConcern ; - - fun EconomicIntegration : Ind TransnationalIssue ; - - fun EconomicPolicyCoordination : Ind TransnationalIssue ; - - fun EducationalCooperation : Ind (both TransnationalIssue AreaOfConcern) ; - - fun EfficientCustomsAdministration : Ind (both TransnationalIssue AreaOfConcern ) ; - - -- (ElectionFn ?ORG) denotes the class of - -- Elections conducted by the GeopoliticalArea or Organization ?ORG, - -- in which offices or issues pertaining to ?ORG are voted upon. - fun ElectionFn: El Agent -> Desc Election ; - - fun EliminateChemicalWeapons : Ind TransnationalIssue ; - - -- Embassy is the class of top_ranked - -- GovernmentOrganizations that represent one nation within the boundaries - -- of another. Not all nations have embassy_level representation from other - -- nations. - fun Embassy : Class ; - fun Embassy_Class : SubClass Embassy DiplomaticOrganization ; - - fun EmergingDemocracy : Ind FormOfGovernment ; - - fun EmigrationAndImmigrationIssues : Ind (both TransnationalIssue AreaOfConcern) ; - - fun EnergyAndTheEnvironment : Ind TransnationalIssue ; - - fun EnergyCooperation : Ind (both TransnationalIssue AreaOfConcern) ; - - -- EnglishCommonLaw is the attribute of - -- legal systems based on the common law developed in England and influential - -- in its English_speaking colonies. Common law is characterized by laws and - -- rulings based on precedent and custom, rather than on written statute. - fun EnglishCommonLaw : Ind LegalSystemAttribute ; - - fun EnvironmentalCooperation : Ind TransnationalIssue ; - - fun EuroAtlanticPartnershipCouncil : Ind OrganizationOfNations ; - - fun EuropeanBankForReconstructionAndDevelopment : Ind OrganizationOfNations ; - - -- The EuropeanCommunity was merged into - -- the EuropeanUnion on February 7, 1992. - fun EuropeanCommunity : Ind OrganizationOfNations ; - - fun EuropeanFreeTradeAssociation : Ind OrganizationOfNations ; - - fun EuropeanInvestmentBank : Ind OrganizationOfNations ; - - fun EuropeanMonetaryUnion : Ind OrganizationOfNations ; - - fun EuropeanOrganizationForNuclearResearch : Ind OrganizationOfNations ; - - fun EuropeanSpaceAgency : Ind OrganizationOfNations ; - - fun EuropeanUnion : Ind OrganizationOfNations ; - - fun ExclusiveMaleSuffrage : Ind RestrictedSuffrage ; - - fun ExecutiveBoardMember : Ind MemberStatus ; - - -- (ExecutiveBranchFn ?ORG) denotes the - -- executive branch of ?ORG, with all its officials and agencies, considered - -- as a whole. - fun ExecutiveBranchFn : El Agent -> Ind Organization ; - - fun ExecutiveCommitteeMember : Ind MemberStatus ; - - fun Factionalism : Ind FormOfGovernment ; - - fun FederalDemocraticRepublic : Ind FormOfGovernment ; - - -- FederalGovernment is the attribute of - -- a government that is formed by agreement between a collection of political - -- units that agree to give up some of their power to the central government, - -- while reserving some powers to themselves. The government of the - -- UnitedStates is a federal government, in which power is shared between - -- the states and the central goverment, as set out in the U.S. - -- Constitution. - fun FederalGovernment : Ind FormOfGovernment ; - - fun FederalParliamentaryDemocracy : Ind FormOfGovernment ; - - fun FederalRepublic : Ind FormOfGovernment ; - - fun Federation : Ind FormOfGovernment ; - - fun FinancialCooperation : Ind TransnationalIssue ; - - -- FixedHoliday is the class of Holidays - -- whose observance is fixed to recurrences of the calendar day that the - -- holiday commemorates. See commemoratesDate. - fun FixedHoliday : Class ; - fun FixedHoliday_Class : SubClass FixedHoliday Holiday ; - - fun FoodAid : Ind TransnationalIssue ; - - fun FoodAndAgricultureOrganization : Ind OrganizationOfNations ; - - -- ForeignServicePosition is the - -- subclass of Positions that belong to foreign service personnel working - -- for a national government or international organization. - fun ForeignServicePosition : Class ; - fun ForeignServicePosition_Class : SubClass ForeignServicePosition Position ; - - -- A Foreign Terrorist Organization - -- is an Organization designated by the USStateDeparment as one which - -- conducts acts of terrorism. This designation makes it subject to the - -- AntiterrorismAndEffectiveDeathPenaltyAct. - fun ForeignTerroristOrganization : Class ; - fun ForeignTerroristOrganization_Class : SubClass ForeignTerroristOrganization TerroristOrganization ; - - fun FrancZone : Ind OrganizationOfNations ; - - fun FullMember : Ind MemberStatus ; - - fun GenderEquality : Ind AreaOfConcern ; - - -- GovernmentCabinet is the class of - -- GovernmentOrganizations whose purpose is to advise a President, - -- Governor, or other political leader(s) on policy matters. - fun GovernmentCabinet : Class ; - fun GovernmentCabinet_Class : SubClass GovernmentCabinet GovernmentOrganization ; - - fun GovernmentDeputy : Ind Position ; - - -- The GroupOf10 (also known as the Paris Club) - -- is a group of (now) 11 major creditor nations that manage the repayment of - -- loans by debtor countries. The Group of 10 works closely with the - -- InternationalMonetaryFund. - fun GroupOf10 : Ind OrganizationOfNations ; - - fun GroupOf11 : Ind OrganizationOfNations ; - - -- The GroupOf15 was a result of the NonalignedMovement. - fun GroupOf15 : Ind OrganizationOfNations ; - - -- The GroupOf24 promotes the interests of - -- developing countries in Africa, Asia, and Latin America within the - -- InternationalMonetaryFund. - fun GroupOf24 : Ind OrganizationOfNations ; - - fun GroupOf3 : Ind OrganizationOfNations ; - - fun GroupOf5 : Ind OrganizationOfNations ; - - fun GroupOf6 : Ind OrganizationOfNations ; - - -- The memberships of the BigSeven and the - -- GroupOf7 include the same Nations. - fun GroupOf7 : Ind OrganizationOfNations ; - - fun GroupOf77 : Ind OrganizationOfNations ; - - -- The GroupOf8 members were participants in the - -- Conference on International Economic Cooperation (CIEC) between - -- 1975_1977. - fun GroupOf8 : Ind OrganizationOfNations ; - - fun GroupOf9 : Ind OrganizationOfNations ; - - fun GuestStatus : Ind MemberStatus ; - - fun GulfCooperationCouncil : Ind OrganizationOfNations ; - - fun HereditaryMonarchy : Ind FormOfGovernment ; - - -- Holiday is the class of time periods that are - -- observed as holidays in a country, culture, or religion. Holidays may - -- recur annually on the same date, or they may be moveable, for example, - -- UnitedStatesThanksgivingDay falls on the last Thursday of each - -- November. - fun Holiday : Class ; - fun Holiday_Class : SubClass Holiday TimeInterval ; - - fun HumanRightsIssues : Ind TransnationalIssue ; - - fun HumanitarianAid : Ind TransnationalIssue ; - - fun HumanitarianAssistance : Ind TransnationalIssue ; - - fun ImmigrationAndNationalityAct_Section219_US : Ind Proposition ; - - fun ImmigrationAndNationalityAct_US : Ind Proposition ; - - fun ImproveHumanSettlementConditions : Ind AreaOfConcern ; - - -- IndependentState is a subclass of - -- GeopoliticalArea, representing the classification 'Independent State' - -- used by the CIA World Fact Book. Cf. - -- DependencyOrSpecialSovereigntyArea. - fun IndependentState : Class ; - fun IndependentState_Class : SubClass IndependentState (both GeopoliticalArea Nation) ; - - fun IndianOceanCommission : Ind OrganizationOfNations ; - - fun IndustryStandards : Ind AreaOfConcern ; - - fun InformationCooperation : Ind AreaOfConcern ; - - fun InformationStandards : Ind AreaOfConcern ; - - fun InfrastructureCooperation : Ind AreaOfConcern ; - - fun IntellectualPropertyProtection : Ind AreaOfConcern ; - - fun InterAmericanDevelopmentBank : Ind OrganizationOfNations ; - - -- The - -- InterGovernmentalAuthorityOnDevelopment is the revitalized successor - -- organization of the Inter_Governmental Authority on Development, which had - -- been established 15_16 January 1986. - fun InterGovernmentalAuthorityOnDevelopment : Ind OrganizationOfNations ; - - fun InternationalAtomicEnergyAgency : Ind OrganizationOfNations ; - - fun InternationalBankForReconstructionAndDevelopment : Ind OrganizationOfNations ; - - fun InternationalCenterForSecretariatOfInvestmentDisputes : Ind InternationalOrganization ; - - fun InternationalChamberOfCommerce : Ind OrganizationOfNations ; - - fun InternationalCivilAviationOrganization : Ind OrganizationOfNations ; - - fun InternationalCommitteeOfTheRedCross : Ind InternationalOrganization ; - - fun InternationalConfederationOfFreeTradeUnions : Ind OrganizationOfNations ; - - -- The InternationalCourtOfJustice superseded the Permanent Court of International Justice. - fun InternationalCourtOfJustice : Ind (both InternationalOrganization JudicialOrganization) ; - - -- Interpol is the - -- successor organization to the International Criminal Police Organization, - -- which had been established in 1923. - fun InternationalCriminalPoliceOrganization : Ind OrganizationOfNations ; - - fun InternationalCriminalTribunalForRwanda : Ind InternationalOrganization ; - - fun InternationalCriminalTribunalForTheFormerYugoslavia : Ind InternationalOrganization ; - - fun InternationalDevelopmentAssociation : Ind OrganizationOfNations ; - - -- The InternationalEnergyAgency - -- was established by the OrganizationForEconomicAndCulturalDevelopment. - fun InternationalEnergyAgency : Ind OrganizationOfNations ; - - fun InternationalFederationOfRedCrossAndRedCrescentSocieties : Ind OrganizationOfNations ; - - -- The InternationalFinanceCorporation is affiliated with the InternationalBankForReconstructionAndDevelopment. - fun InternationalFinanceCorporation : Ind OrganizationOfNations ; - - fun InternationalFundForAgriculturalDevelopment : Ind OrganizationOfNations ; - - fun InternationalHydrographicOrganization : Ind OrganizationOfNations ; - - fun InternationalJustice : Ind (both AreaOfConcern TransnationalIssue) ; - - -- The InternationalLaborOrganization became affiliated with - -- the UnitedNations in 1946. - fun InternationalLaborOrganization : Ind OrganizationOfNations ; - - fun InternationalMaritimeAffairs : Ind AreaOfConcern ; - - -- The InternationalMaritimeOrganization was established in 1948 but became - -- effective ten years later. - fun InternationalMaritimeOrganization : Ind OrganizationOfNations ; - - fun InternationalMonetaryFund : Ind OrganizationOfNations ; - - fun InternationalOlympicCommittee : Ind OrganizationOfNations ; - - fun InternationalOrNonregionalMember : Ind MemberStatus ; - - -- InternationalOrganization is - -- the class of Organizations whose activities have international scope and - -- which typically have members who are, or are from, different Nations. - fun InternationalOrganization : Class ; - fun InternationalOrganization_Class : SubClass InternationalOrganization Organization ; - - fun InternationalOrganizationForMigration : Ind OrganizationOfNations ; - - fun InternationalOrganizationForStandardization : Ind OrganizationOfNations ; - - fun InternationalPeaceAndSecurity : Ind TransnationalIssue ; - - fun InternationalRedCrossAndRedCrescentMovement : Ind InternationalOrganization ; - - fun InternationalResearchAndTrainingInstituteForTheAdvancementOfWomen : Ind OrganizationOfNations ; - - -- The InternationalTelecommunicationUnion became affiliated with the - -- UnitedNations on November 15, 1947. - fun InternationalTelecommunicationUnion : Ind OrganizationOfNations ; - - fun InternationalTradeSupport : Ind TransnationalIssue ; - - fun IslamicDevelopmentBank : Ind OrganizationOfNations ; - - fun IslamicGovernment : Ind FormOfGovernment ; - - -- IslamicLaw is the Attribute of - -- legal systems that are based on religious principles of Islam. - fun IslamicLaw : Ind LegalSystemAttribute ; - - -- IslamicLawCourt is the subclass of - -- JudicialOrganizations that are conducted according to principles of - -- Islamic Law. - fun IslamicLawCourt : Class ; - fun IslamicLawCourt_Class : SubClass IslamicLawCourt JudicialOrganization ; - - -- JudgeAtLaw is the Position of a person who - -- is a public official with the authority to decide legal matters in a - -- governmental JudicialOrganization. - fun JudgeAtLaw : Ind Position ; - - -- JudicialReviewOfExecutiveActs is an attribute of legal systems - -- in which the judiciary has authority to review acts of the executive - -- branch. - fun JudicialReviewOfExecutiveActs : Ind LegalSystemAttribute ; - - -- JudicialReviewOfLegislativeActs is an attribute of legal systems - -- in which the judiciary has authority to review acts of the legislature. - fun JudicialReviewOfLegislativeActs : Ind LegalSystemAttribute ; - - -- (JudiciaryFn ?AREA) denotes the judicial - -- branch of the GeopoliticalArea ?AREA, that is, the - -- JudicialOrganization(s) associated with the government of ?AREA, - -- considered as a whole. - fun JudiciaryFn : El GeopoliticalArea -> Ind GovernmentOrganization ; - - fun JusticeIssues : Ind AreaOfConcern ; - - fun King : Ind Position ; - - fun LaborIssues : Ind AreaOfConcern ; - - fun LatinAmericanEconomicSystem : Ind OrganizationOfNations ; - - fun LatinAmericanIntegrationAssociation : Ind OrganizationOfNations ; - - fun Leader : Ind Position ; - - -- LegalSystemAttribute is the class - -- of Attributes that are used to characterize legal systems, as, e.g., - -- according to their sources, areas of concern, or principles of - -- organization. - fun LegalSystemAttribute : Class ; - fun LegalSystemAttribute_Class : SubClass LegalSystemAttribute RelationalAttribute ; - - -- LegislativeChamber is the class of - -- LegislativeOrganizations which are a coherent body that considers and - -- votes upon legislation in common session. For example, the United States - -- Senate. - fun LegislativeChamber : Class ; - fun LegislativeChamber_Class : SubClass LegislativeChamber LegislativeOrganization ; - - -- (LegislatureFn ?AREA) denotes the - -- legislative branch of the GeopoliticalArea ?AREA. - fun LegislatureFn : El GeopoliticalArea -> Ind LegislativeOrganization ; - - -- (MemberFn ?ORG) denotes the Position of - -- a member in the Organization ?ORG. - fun MemberFn : El Organization -> Ind Position ; - - -- (MemberRoleFn ?ORG ?POSITION) denotes the - -- role of having the Position ?POSITION the Organization ?ORG. - fun MemberRoleFn : El Organization -> El Position -> Ind Position ; - - -- MemberStatus is the class of - -- RelationalAttributes that represent the different kinds of status - -- that may be held in various organizations. Included in this class are - -- membership types for InternationalOrganizations covered by the CIA World - -- Fact Book. - fun MemberStatus : Class ; - fun MemberStatus_Class : SubClass MemberStatus RelationalAttribute ; - - fun MembershipApplicant : Ind MemberStatus ; - - fun MembershipPending : Ind MemberStatus ; - - fun MilitaryCommander : Ind Position ; - - fun MilitaryCooperation : Ind TransnationalIssue ; - - fun MilitaryDictatorship : Ind FormOfGovernment ; - - fun Monarch : Ind Position ; - - -- Monarchy is the attribute of a government - -- that is ruled by a monarch, which is usually a hereditary role. - fun Monarchy : Ind FormOfGovernment ; - - fun MonetaryAndEconomicCommunityOfCentralAfrica : Ind OrganizationOfNations ; - - fun MonetaryStability : Ind AreaOfConcern ; - - fun MonetaryUnion : Ind TransnationalIssue ; - - -- MoveableHoliday is the class of - -- Holidays whose observance is not fixed to recurrences of any particular - -- calendar day. For example, UnitedStatesMemorialDay is observed on the - -- last Monday of May. - fun MoveableHoliday : Class ; - fun MoveableHoliday_Class : SubClass MoveableHoliday Holiday ; - - fun MulitlateralInvestmentGeographicAgency : Ind InternationalOrganization ; - - fun MultipartyDemocracy : Ind FormOfGovernment ; - - fun MutualDefensePact : Ind TransnationalIssue ; - - -- NapoleonicCode is the specialization of - -- CivilLaw developed in France under Napoleon Bonaparte. It is still the - -- basis of French law as well as of legal systems developed under French - -- influence. - fun NapoleonicCode : Ind LegalSystemAttribute ; - - fun NationalCommitteeChairman : Ind Position ; - - -- NationalGovernment is the class of - -- national_level governments of Nations. - fun NationalGovernment : Class ; - fun NationalGovernment_Class : SubClass NationalGovernment Government ; - - -- The NonalignedMovement was - -- established to promote political and military cooperation outside of the - -- traditional East and West power groups. - fun NonalignedMovement : Ind OrganizationOfNations ; - - fun NonpermanentStatus : Ind MemberStatus ; - - fun NonregionalMember : Ind MemberStatus ; - - fun NonstateParticipant : Ind MemberStatus ; - - fun NordicCouncil : Ind OrganizationOfNations ; - - fun NordicInvestmentBank : Ind OrganizationOfNations ; - - fun NorthAtlanticTreatyOrganization : Ind OrganizationOfNations ; - - fun NuclearDisarmament : Ind TransnationalIssue ; - - fun NuclearEnergyAgency : Ind OrganizationOfNations ; - - fun NuclearExportControls : Ind TransnationalIssue ; - - fun NuclearNonproliferation : Ind TransnationalIssue ; - - fun NuclearSuppliersGroup : Ind OrganizationOfNations ; - - fun ObservationAndMonitoring : Ind AreaOfConcern ; - - fun ObserverStatus : Ind MemberStatus ; - - fun OrganizationForEconomicCooperationAndDevelopment : Ind OrganizationOfNations ; - - -- The OrganizationForSecurityAndCooperationInEurope, established January 1, - -- 1995, grew out of the Conference on Security and Cooperation in Europe, - -- which began meeting in 1975. - fun OrganizationForSecurityAndCooperationInEurope : Ind OrganizationOfNations ; - - fun OrganizationForTheProhibitionOfChemicalWeapons : Ind OrganizationOfNations ; - - -- The OrganizationOfAfricanUnity was renamed to African Union - -- (Union_Africaine) in July, 2002. - fun OrganizationOfAfricanUnity : Ind OrganizationOfNations ; - - -- The OrganizationOfAmericanStates adopted its present charter on April 30, 1948. - fun OrganizationOfAmericanStates : Ind OrganizationOfNations ; - - fun OrganizationOfArabPetroleumExportingCountries : Ind OrganizationOfNations ; - - fun OrganizationOfEasternCaribbeanStates : Ind OrganizationOfNations ; - - -- This is the class of Organizations whose members are Nations. - fun OrganizationOfNations : Class ; - fun OrganizationOfNations_Class : SubClass OrganizationOfNations InternationalOrganization ; - - fun OrganizationOfPetroleumExportingCountries : Ind OrganizationOfNations ; - - fun OrganizationOfTheIslamicConference : Ind OrganizationOfNations ; - - fun OrganizeOlympicGames : Ind TransnationalIssue ; - - -- OverseasArea is the class of - -- GeopoliticalAreas that are related to a Nation as overseas - -- territories, possessions, protectorates, or departments. - fun OverseasArea : Class ; - fun OverseasArea_Class : SubClass OverseasArea (both DependencyOrSpecialSovereigntyArea GeopoliticalArea) ; - - -- (OverseasAreaFn ?AREA) denotes the class - -- of OverseasAreas that belong to the GeopoliticalArea ?AREA. - fun OverseasAreaFn: El GeopoliticalArea -> Desc OverseasArea ; - - fun PacificCommunity : Ind OrganizationOfNations ; - - fun PacificIslandForum : Ind OrganizationOfNations ; - - -- Parliament is the subclass of - -- LegislativeOrganizations similar to that of the United Kingdom. - fun Parliament : Class ; - fun Parliament_Class : SubClass Parliament LegislativeOrganization ; - - fun ParliamentaryDemocracy : Ind FormOfGovernment ; - - fun ParliamentaryDemocraticRepublic : Ind FormOfGovernment ; - - -- ParliamentaryGovernment is the - -- attribute of a government whose chief LegislativeOrganization is a - -- Parliament. A parliamentary government is compatible with various - -- other government types, including Monarchy. - fun ParliamentaryGovernment : Ind FormOfGovernment ; - - fun ParliamentaryRepublic : Ind FormOfGovernment ; - - fun ParliamentaryTerritory : Class ; - fun ParliamentaryTerritory_Class : SubClass ParliamentaryTerritory GeopoliticalArea ; - - fun PartIMember : Ind MemberStatus ; - - fun PartIIMember : Ind MemberStatus ; - - fun PartnersForCooperation : Ind MemberStatus ; - - fun PartnershipForPeace : Ind OrganizationOfNations ; - - fun PeacefulUseOfAtomicPower : Ind TransnationalIssue ; - - fun PeacekeepingOperation : Ind (both TransnationalIssue AreaOfConcern) ; - - fun PermanentChargeDAffaires : Ind ForeignServicePosition ; - - fun PermanentCourtOfArbitration : Ind OrganizationOfNations ; - - fun PermanentRepresentative : Ind Position ; - - fun PermanentStatus : Ind MemberStatus ; - - -- PoliticalCoalition is the class of - -- political organizations that are constituted by political parties joined - -- together for some common interest(s). - fun PoliticalCoalition : Class ; - fun PoliticalCoalition_Class : SubClass PoliticalCoalition (both PoliticalOrganization PoliticalParty) ; - - fun PoliticalCooperation : Ind AreaOfConcern ; - - fun PoliticalDevelopment : Ind AreaOfConcern ; - - fun PoliticalIntegration : Ind AreaOfConcern ; - - -- PoliticalPressureGroup is the - -- class of Organizations that exert political pressure and have leaders - -- who are involved in politics but not standing for election. For example, - -- corporate lobbying groups, Mothers Against Drunk Driving (MADD), or the - -- American Civil Liberties Union (ACLU). - fun PoliticalPressureGroup : Class ; - fun PoliticalPressureGroup_Class : SubClass PoliticalPressureGroup PoliticalOrganization ; - - fun PopulationPolicySupport : Ind AreaOfConcern ; - - fun President : Ind Position ; - - fun PresidentialGovernment : Ind FormOfGovernment ; - - fun PrimeMinister : Ind Position ; - - fun PrincipalOfficer : Ind ForeignServicePosition ; - - fun PromotePrivateEnterprise : Ind AreaOfConcern ; - - fun PromoteRegionalStability : Ind TransnationalIssue ; - - fun PromoteSustainableDevelopment : Ind AreaOfConcern ; - - fun PromoteTradeUnionism : Ind AreaOfConcern ; - - fun PromotionOfFreeTrade : Ind TransnationalIssue ; - - fun PromotionOfPrivateEnterprise : Ind AreaOfConcern ; - - fun PromotionOfTourism : Ind AreaOfConcern ; - - fun PromotionOfTradeAndInvestment : Ind TransnationalIssue ; - - fun PublicHealthConcern : Ind AreaOfConcern ; - - fun Queen : Ind Position ; - - fun ReducePoverty : Ind AreaOfConcern ; - - fun ReducingCrime : Ind AreaOfConcern ; - - fun RefugeeAssistance : Ind (both TransnationalIssue AreaOfConcern) ; - - -- RegionalLaw is the class of regional - -- laws, considered as a body, established by particular Governments - -- to regulate activities under their jurisdictions. For example, - -- (RegionalLawFn UnitedStates) represents the content of the laws, - -- statutes, and rulings of the United States. - fun RegionalLaw : Class ; - fun RegionalLaw_Class : SubClass RegionalLaw Proposition ; - - -- (RegionalLawFn ?AREA) denotes the laws - -- pertaining in the GeopoliticalArea ?AREA that are established and - -- enforced by the Government of ?AREA. For example, (RegionalLawFn - -- UnitedStates) denotes the laws of the government of the UnitedStates - -- and its constituent units. - fun RegionalLawFn : El GeopoliticalArea -> Ind RegionalLaw ; - - fun RegionalMember : Ind MemberStatus ; - - fun RegionalSecurity : Ind AreaOfConcern ; - - fun ReproductiveHealthAndFamilyPlannning : Ind AreaOfConcern ; - - -- Republic is the attribute of a government - -- whose power and authority are vested in its members, who elect - -- representatives to exercise that power. - fun Republic : Ind FormOfGovernment ; - - -- RestrictedSuffrage is a subclass of - -- SuffrageLaw covering laws that restrict suffrage by further - -- conditions beyond the basics of citizenship and age. - fun RestrictedSuffrage : Class ; - fun RestrictedSuffrage_Class : SubClass RestrictedSuffrage SuffrageLaw ; - - -- The RioGroup was the result of fusing the - -- Contadora Group and the Lima (or Support) Group. - fun RioGroup : Ind OrganizationOfNations ; - - -- RomanCanonLaw is the attribute of legal - -- systems based on the Ecclesiastical law developed by the Roman Catholic - -- Church. - fun RomanCanonLaw : Ind LegalSystemAttribute ; - - fun ScientificCooperation : Ind AreaOfConcern ; - - fun SelfGoverningTerritory : Class ; - fun SelfGoverningTerritory_Class : SubClass SelfGoverningTerritory GeopoliticalArea ; - - fun SignatoryMember : Ind MemberStatus ; - - fun SocialCooperation : Ind TransnationalIssue ; - - fun SocialDevelopment : Ind AreaOfConcern ; - - fun SocioeconomicResearch : Ind AreaOfConcern ; - - fun SouthAsianAssociationForRegionalCooperation : Ind OrganizationOfNations ; - - fun SouthPacificRegionalTradeAndEconomicCooperationAgreement : Ind OrganizationOfNations ; - - fun SouthernAfricanCustomsUnion : Ind OrganizationOfNations ; - - fun SouthernAfricanDevelopmentCommunity : Ind OrganizationOfNations ; - - fun SouthernConeCommonMarket : Ind OrganizationOfNations ; - - fun SpaceResearchAndTechnology : Ind AreaOfConcern ; - - fun Spokesperson : Ind Position ; - - fun StatisticalCommission : Ind InternationalOrganization ; - - fun SubbureauMember : Ind MemberStatus ; - - fun SubscriberMember : Ind MemberStatus ; - - -- SuffrageLaw is a class that includes the - -- various types of suffrage rules of different Nations. Instances of - -- SuffrageLaw represent the propositional content of various suffrage - -- laws. - fun SuffrageLaw : Class ; - fun SuffrageLaw_Class : SubClass SuffrageLaw Proposition ; - - fun SupportLawEnforcement : Ind AreaOfConcern ; - - -- SupremeCourt is the subclass of - -- JudicialOrganizations that are the ultimate judicial authority for the - -- matters on which they rule. For example, the UnitedStatesSupremeCourt, - -- or the InternationalCourtOfJustice (World Court). - fun SupremeCourt : Class ; - fun SupremeCourt_Class : SubClass SupremeCourt JudicialOrganization ; - - -- (SupremeCourtFn ?AREA) denotes the class - -- of the highest court(s) in the judicial system of GeopoliticalArea - -- ?AREA. For example, the UnitedStatesSupremeCourt belongs to the class - -- (SupremeCourtFn UnitedStates). - fun SupremeCourtFn: El GeopoliticalArea -> Desc SupremeCourt ; - - -- SupremeCourtJudge is the Position - -- of a person who is a JudgeAtLaw on some SupremeCourt. - fun SupremeCourtJudge : Ind Position ; - - fun SuspendedMember : Ind MemberStatus ; - - fun TechnologyCooperation : Ind AreaOfConcern ; - - -- TheocraticGovernment is the - -- attribute of a government that bases its authority on Religion. - fun TheocraticGovernment : Ind FormOfGovernment ; - - fun TheocraticRepublic : Ind FormOfGovernment ; - - fun TransitionalAdministration : Ind (both AreaOfConcern TransnationalIssue) ; - - -- TransitionalGovernment is the - -- attribute of a government that is changing from one form of government - -- to another. This may be accompanied by social unrest or instability. - fun TransitionalGovernment : Ind FormOfGovernment ; - - -- TransnationalIssue is a class of - -- Attributes that characterize the concerns of Nations, international - -- Non_Governmental Institutions (NGOs), and other transnational agents. - fun TransnationalIssue : Class ; - fun TransnationalIssue_Class : SubClass TransnationalIssue AreaOfConcern ; - - fun TransportationCoordination : Ind AreaOfConcern ; - - -- The US government organization charged with protecting the - -- integrity of US national borders, primarily by detecting and - -- preventing attempts at illegal immigration. - fun USCustomsAndBorderProtection : Ind (both GovernmentOrganization PoliceOrganization) ; - - -- The branch of the US Government that - -- handles relations with foreign governments and entities. It is the chief - -- diplomatic instrument of US foreign policy. It controls US embassies and - -- consuls. - fun USStateDepartment : Ind Government ; - - fun UnicameralLegislature : Ind FormOfGovernment ; - - fun UnincorporatedUnitedStatesTerritory : Class ; - fun UnincorporatedUnitedStatesTerritory_Class : SubClass UnincorporatedUnitedStatesTerritory OverseasArea ; - - -- UnitaryRule is a FormOfGovernment in which - -- the central government controls affairs at all levels, including the local - -- level. - fun UnitaryRule : Ind FormOfGovernment ; - - -- The UnitedNations has six principal - -- subOrganizations: the Secretariat, the General Assembly, the Security - -- Council, the Economic and Social Council, the Trusteeship Council - -- (currently inactive), and the International Court of Justice. The United - -- Nations has numerous subordinate agencies and bodies within those six - -- major subdivisions. - fun UnitedNations : Ind OrganizationOfNations ; - - fun UnitedNationsCenterForHumanSettlements : Ind OrganizationOfNations ; - - fun UnitedNationsChildrensFund : Ind OrganizationOfNations ; - - fun UnitedNationsCivilianPoliceMissionInHaiti : Ind OrganizationOfNations ; - - -- The UnitedNationsCompensationCommission was created to process claims and - -- pay compensation for losses and damage suffered as a direct result of - -- the unlawful invasion and occupation of Kuwait by Iraq. - fun UnitedNationsCompensationCommission : Ind InternationalOrganization ; - - fun UnitedNationsConferenceOnTradeAndDevelopment : Ind OrganizationOfNations ; - - fun UnitedNationsDevelopmentProgram : Ind OrganizationOfNations ; - - -- The UnitedNationsDisengagementObserverForce was formed by the UN Security - -- Council in order to observe the 1973 Arab_Israeli cease_fire. - fun UnitedNationsDisengagementObserverForce : Ind OrganizationOfNations ; - - fun UnitedNationsEducationalScientificAndCulturalOrganization : Ind OrganizationOfNations ; - - fun UnitedNationsEnvironmentProgram : Ind OrganizationOfNations ; - - -- The UnitedNationsGeneralAssembly is the primary deliberative body of the UnitedNations. - fun UnitedNationsGeneralAssembly : Ind OrganizationOfNations ; - - fun UnitedNationsHighCommissionerForHumanRights : Ind InternationalOrganization ; - - fun UnitedNationsHighCommissionerForRefugees : Ind OrganizationOfNations ; - - fun UnitedNationsIndustrialDevelopmentOrganization : Ind OrganizationOfNations ; - - fun UnitedNationsInstituteForDisarmamentResearch : Ind InternationalOrganization ; - - fun UnitedNationsInstituteForTrainingAndResearch : Ind OrganizationOfNations ; - - fun UnitedNationsInterimAdministrationMissionInKosovo : Ind InternationalOrganization ; - - fun UnitedNationsInterimAdminstrationMissionInKosovo : Ind OrganizationOfNations ; - - fun UnitedNationsInterimForceInLebanon : Ind OrganizationOfNations ; - - -- The UnitedNationsInterregionalCrimeAndJusticeResearchInstitute was - -- reconstituted (from UNSDRI) into its present form in 1989 to address - -- broader demands introduced by the participation of more developing - -- countries in the UnitedNations. - fun UnitedNationsInterregionalCrimeAndJusticeResearchInstitute : Ind InternationalOrganization ; - - fun UnitedNationsIraqKuwaitBoundaryDemarcationCommission : Ind InternationalOrganization ; - - fun UnitedNationsIraqKuwaitObservationMission : Ind OrganizationOfNations ; - - fun UnitedNationsMilitaryObserverGroupInIndiaAndPakistan : Ind OrganizationOfNations ; - - fun UnitedNationsMissionForTheReferendumInWesternSahara : Ind OrganizationOfNations ; - - fun UnitedNationsMissionInBosniaAndHerzegovina : Ind OrganizationOfNations ; - - fun UnitedNationsMissionInEthiopiaAndEritrea : Ind OrganizationOfNations ; - - fun UnitedNationsMissionInSierraLeone : Ind OrganizationOfNations ; - - fun UnitedNationsMissionOfObserversInPrevlaka : Ind OrganizationOfNations ; - - fun UnitedNationsMissionOfObserversInTajikistan : Ind OrganizationOfNations ; - - fun UnitedNationsMonitoringAndVerificationCommission : Ind OrganizationOfNations ; - - fun UnitedNationsObserverMissionInGeorgia : Ind OrganizationOfNations ; - - fun UnitedNationsOfficeOfProjectServices : Ind InternationalOrganization ; - - fun UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo : Ind OrganizationOfNations ; - - fun UnitedNationsPeaceKeepingForceInCyprus : Ind OrganizationOfNations ; - - fun UnitedNationsPopulationFund : Ind OrganizationOfNations ; - - fun UnitedNationsPreventiveDeploymentForce : Ind OrganizationOfNations ; - - fun UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast : Ind OrganizationOfNations ; - - -- The UnitedNationsResearchInstituteForSocialDevelopment conducts research - -- into problems of social and economic development. The Chair of its Board - -- of Directors is appointed by the UN Secretary General. (No country - -- members.) - fun UnitedNationsResearchInstituteForSocialDevelopment : Ind InternationalOrganization ; - - -- The UnitedNationsSecretariat is - -- the primary administrative body of the UnitedNations. It is headed by - -- the United Nations' Secretary General, and constituted by him and his - -- staff. The UN General Assembly appoints the Secretary General for a - -- five_year term. - fun UnitedNationsSecretariat : Ind InternationalOrganization ; - - fun UnitedNationsSecurityCouncil : Ind OrganizationOfNations ; - - fun UnitedNationsSystemStaffCollege : Ind OrganizationOfNations ; - - fun UnitedNationsTransitionalAdministrationInEastTimor : Ind OrganizationOfNations ; - - fun UnitedNationsTruceSupervisionOrganization : Ind OrganizationOfNations ; - - -- The UnitedNationsTrusteeshipCouncil is one of the six major organs of the - -- UnitedNations, but it is currently inactive (though not dissolved) - -- following the transition of the last UN trust territory to an independent - -- government. - fun UnitedNationsTrusteeshipCouncil : Ind OrganizationOfNations ; - - -- The Rector and 24 members of the - -- UnitedNationsUniversity Council are appointed by the UN Secretary - -- General and the Director General of UNESCO. - fun UnitedNationsUniversity : Ind InternationalOrganization ; - - -- Provides services to farmers in the UnitedStates. - fun UnitedStatesDepartmentOfAgriculture : Ind GovernmentOrganization ; - - -- Entrusted with the national security of the UnitedStates. - fun UnitedStatesDepartmentOfDefense : Ind GovernmentOrganization ; - - -- One of the two legislatures that make up the UnitedStatesCongress. - fun UnitedStatesHouseOfRepresentatives : Ind LegislativeOrganization ; - - -- The GovernmentOrganization of the - -- UnitedStates that is entrusted with delivering the mail. - fun UnitedStatesPostalService : Ind GovernmentOrganization ; - - -- One of the two legislatures that make up the UnitedStatesCongress. - fun UnitedStatesSenate : Ind LegislativeOrganization ; - - -- The UniversalPostalUnion became - -- affiliated with the UnitedNations on November 15, 1947. - fun UniversalPostalUnion : Ind OrganizationOfNations ; - - -- UniversalSuffrageLaw is a law that - -- enfranchises all citizens of a country who have achieved the applicable - -- age of maturity (suffrageAgeMinumum). - fun UniversalSuffrageLaw : Ind SuffrageLaw ; - - fun ViceChairman : Ind Position ; - - fun VicePresident : Ind Position ; - - fun VoterAgeRequirement : Class ; - fun VoterAgeRequirement_Class : SubClass VoterAgeRequirement SuffrageLaw ; - - fun VoterCitizenshipRequirement : Ind SuffrageLaw ; - - -- (VotingFn ?ELECTION) denotes the class of - -- voting events that occur as part of the Election ?ELECTION. - fun VotingFn: El Election -> Desc Voting ; - - fun WarCrimesProsecution : Ind (both AreaOfConcern TransnationalIssue) ; - - fun WarsawPact : Ind OrganizationOfNations ; - - fun WassenaarArrangement : Ind OrganizationOfNations ; - - fun WeaponsInspection : Ind (both AreaOfConcern TransnationalIssue) ; - - fun WestAfricanDevelopmentBank : Ind OrganizationOfNations ; - - fun WestAfricanEconomicAndMonetaryUnion : Ind OrganizationOfNations ; - - fun WesternEuropeanUnion : Ind OrganizationOfNations ; - - fun WorldBankGroup : Ind OrganizationOfNations ; - - -- The WorldConfederationOfLabor - -- was previously named the International Federation of Christian Trade - -- Unions. It was renamed on October 4, 1968. - fun WorldConfederationOfLabor : Ind OrganizationOfNations ; - - fun WorldCustomsOrganization : Ind OrganizationOfNations ; - - fun WorldFederationOfTradeUnions : Ind OrganizationOfNations ; - - fun WorldFoodProgram : Ind OrganizationOfNations ; - - fun WorldHealthOrganization : Ind OrganizationOfNations ; - - fun WorldIntellectualPropertyOrganization : Ind OrganizationOfNations ; - - fun WorldLaborIssues : Ind (both AreaOfConcern TransnationalIssue) ; - - fun WorldMeteorologicalOrganization : Ind OrganizationOfNations ; - - fun WorldTourismOrganization : Ind OrganizationOfNations ; - - -- The WorldTradeOrganization - -- succeeded the General Agreement on Tariff and Trade (GATT). - fun WorldTradeOrganization : Ind OrganizationOfNations ; - - -- The ZanggerCommittee was established during the 1970s. - fun ZanggerCommittee : Ind OrganizationOfNations ; - - -- (abbreviation ?STRING ?THING) means that - -- ?STRING is an abbreviation used to refer to ?THING. Abbreviations include - -- acronyms and other abbreviated forms. - fun abbreviation : El SymbolicString -> El Entity -> Formula ; - - -- (administrativeCenter ?CENTER - -- ?REGION) means that ?CENTER is the City (or other area) from which - -- the larger GeopoliticalArea ?REGION is administered. - fun administrativeCenter : El GeopoliticalArea -> El GeopoliticalArea -> Formula ; - - -- (agentOperatesInArea ?AGENT ?AREA) - -- means that the individual or Organization ?AGENT operates in the - -- GeographicArea ?AREA. - fun agentOperatesInArea : El Agent -> El GeographicArea -> Formula ; - - -- (agreementAdoptionDate ?AGR ?TIME) - -- means that the agreement ?AGR was adopted on the date indicated by ?TIME. - -- For example, (agreementAdoptionDate ConstitutionOfTheUnitedStates - -- (DayFn 17 (MonthFn September (YearFn 1787)))). - fun agreementAdoptionDate: El Proposition -> Desc TimePosition -> Formula ; - - -- (agreementEffectiveDate ?AGR ?TIME) means that the agreement ?AGR - -- becomes effective on the date indicated by ?TIME. - -- For example, (agreementEffectiveDate ConstitutionOfTheUnitedStates (DayFn 4 (MonthFn March (YearFn 1789)))). - fun agreementEffectiveDate: El Proposition -> Desc TimePosition -> Formula ; - - -- (agreementEffectiveDuring ?AGR ?DATE) means that the agreement ?AGR is effective during the time - -- indicated by ?DATE. The agreement may be effective for longer than ?DATE, - -- but it is in effect at least throughout the time indicated by ?DATE. - fun agreementEffectiveDuring: El Proposition -> Desc TimePosition -> Formula ; - - -- (agreementRevisionDate ?AGR ?DATE ?CHANGE) means that the agreement - -- ?AGR was revised at the time indicated by ?DATE, with respect to the - -- part ?CHANGE. Revisions cover additions and removals. - fun agreementRevisionDate: El Proposition -> Desc TimePosition -> El Proposition -> Formula ; - - -- (aimOfOrganization ?GROUP ?DESCRIPTION) means that the Organization - -- ?GROUP has the purpose ?DESCRIPTION, formulated as a quoted text. - fun aimOfOrganization : El Organization -> El SymbolicString -> Formula ; - - -- (associateInOrganization ?AGENT ?GROUP) means that ?AGENT is associated in some way - -- with the Group ?GROUP. This includes participation as a guest or observer, - -- as well as being a full member. See member for a more specific relation. - fun associateInOrganization : El Agent -> El Group -> Formula ; - - -- (associateWithStatus ?AGT ?STATUS ?GROUP) means that the Agent - -- ?AGT has the RelationalAttribute ?STATUS in the Group ?GROUP. - -- For example, (associateWithStatus UnitedStates PermanentMember UnitedNationsSecurityCouncil) - -- means that the &UnitedStates has the status of a permanent member in the U.N. Security Council. - fun associateWithStatus : El Agent -> El RelationalAttribute -> El Group -> Formula ; - - -- (candidateForPosition ?ELECTION ?POSITION ?CONTENDER) means that in the Election ?ELECTION for - -- ?POSITION, the Agent ?CONTENDER was one of the candidates. - fun candidateForPosition : El Election -> El SocialRole -> El Agent -> Formula ; - - -- (capitalCity ?CITY ?REGION) means that the - -- City ?CITY is the capital of the GeopoliticalArea ?REGION. - fun capitalCity : El City -> El GeopoliticalArea -> Formula ; - - -- (cardinality ?SET ?NUMBER) means that there - -- are ?NUMBER of elements in the SetOrClass ?SET. - fun cardinality : El SetOrClass -> El NonnegativeInteger -> Formula ; - - -- (chamberOfLegislature ?CHAMBER ?LEGISLATURE) means that ?CHAMBER is a legislative body - -- within the ?LEGISLATURE. - fun chamberOfLegislature : El Organization -> El Organization -> Formula ; - - -- (chanceryAddressInArea ?AREA1 ?ADDRESS ?AREA2) means that the address of the main foreign service - -- organization of the GeopoliticalArea ?AREA1 for ?AREA2 is the SymbolicString ?ADDRESS. - fun chanceryAddressInArea : El GeopoliticalArea -> El SymbolicString -> El GeopoliticalArea -> Formula ; - - -- (chanceryFAXNumberInArea ?AREA1 ?FAX ?AREA2) means that the FAX number of the main diplomatic office of - -- the GeopoliticalArea ?AREA1 located in ?AREA2 is ?FAX. - fun chanceryFAXNumberInArea : El GeopoliticalArea -> El SymbolicString -> El GeopoliticalArea -> Formula ; - - -- (chanceryMailingAddressInArea ?AREA1 ?ADDRESS ?AREA2) means that the mailing address of - -- the main foreign service organization of the GeopoliticalArea ?AREA1 located in ?AREA2 is - -- the SymbolicString ?ADDRESS. - fun chanceryMailingAddressInArea : El GeopoliticalArea -> El SymbolicString -> El GeopoliticalArea -> Formula ; - - -- (chanceryTelephoneNumberInArea ?AREA1 ?TELEPHONE ?AREA2) means that the - -- telephone number of the main diplomatic office of the GeopoliticalArea - -- ?AREA1 located in ?AREA2 is ?TELEPHONE. - fun chanceryTelephoneNumberInArea : El GeopoliticalArea -> El SymbolicString -> El GeopoliticalArea -> Formula ; - - -- (chiefOfDiplomaticMission ?AGENT1 ?PERSON ?RANK ?AGENT2) means that - -- the chief diplomatic representative sent by the Agent ?AGENT1 to the - -- Agent ?AGENT2 is ?PERSON, whose official position is ?RANK. - fun chiefOfDiplomaticMission : El Agent -> El Human -> El Position -> El Agent -> Formula ; - - -- (chiefOfState ?POLITY ?ROLE ?PERSON) means - -- that ?PERSON is the titular leader of the government of the - -- GeopoliticalArea ?POLITY and represents it at official functions. The - -- office held by this chief of state is ?ROLE (e.g., President, Queen, - -- Chairman). Note: this term is defined as in the CIA World Fact Book. - fun chiefOfState : El GeopoliticalArea -> El Position -> El Human -> Formula ; - - -- (chiefOfStateType ?NATION ?ROLE) means - -- that the chiefOfState of the GeopoliticalArea ?NATION holds the - -- Position ?ROLE in its government. - fun chiefOfStateType : El GeopoliticalArea -> El Position -> Formula ; - - -- (commemoratesDate ?HOLIDAY ?DATE) means - -- that instances of the Holiday ?HOLIDAY are observed to commemorate - -- something that happened during the TimeInterval specified by ?DATE. - -- For example, (commemoratesDate BastilleDay (DayFn 14 (MonthFn July (YearFn 1789)))). - fun commemoratesDate: El Holiday -> Desc TimeInterval -> Formula ; - - -- (conventionalLongName ?NAME ?THING) - -- means that the string ?NAME is the long form of the name conventionally - -- used for ?THING. - fun conventionalLongName : El SymbolicString -> El Entity -> Formula ; - - -- (conventionalShortName ?NAME ?THING) means that the string ?NAME is - -- the short form of the name conventionally used for ?THING. - -- For a more specialized subset of short names, see abbreviation. - fun conventionalShortName : El SymbolicString -> El Entity -> Formula ; - - -- (dateDissolved ?THING ?TIME) means that the Physical ?THING was dissolved, - -- disbanded, or superseded on the date indicated by ?TIME. - -- For example, (dateDissolved UnitedNationsPreventiveDeploymentForce (DayFn 25 (MonthFn March (YearFn 1999)))). - fun dateDissolved: El Physical -> Desc TimePosition -> Formula ; - - -- (dateEstablished ?THING ?TIME) means - -- that the Physical ?THING was founded on the date indicated by ?TIME. - -- For example, (dateEstablished UnitedNations (DayFn 26 (MonthFn June (YearFn 1945)))). - fun dateEstablished: El Physical -> Desc TimePosition -> Formula ; - - -- (dependentAreaOfType ?AREA ?COUNTRY ?TYPE) means that - -- the GeopoliticalArea ?AREA is a dependency of the independent Nation ?COUNTRY, - -- administered as a unit of ?TYPE. - -- For example, (dependentAreaOfType SaintHelena UnitedKingdom OverseasArea). - fun dependentAreaOfType: El GeopoliticalArea -> El GeopoliticalArea -> Desc GeopoliticalArea -> Formula ; - - -- (diplomaticOrganizationType ?AGENT1 ?ORG ?AGENT2) means that the - -- Agent ?AGENT1 has a diplomatic organization of the type ?ORG - -- in Agent ?AGENT2. For example, - -- (diplomaticOrganizationType UnitedStates Embassy France), or - -- (diplomaticOrganizationType UnitedStates ConsulateGeneral - -- ShanghaiChina). - fun diplomaticOrganizationType: El Agent -> Desc Organization -> El Agent -> Formula ; - - -- (diplomaticRelations ?COUNTRY1 ?COUNTRY2) means that there are official - -- diplomatic relations between the two Nations ?COUNTRY1 and ?COUNTRY2. - fun diplomaticRelations : El GeopoliticalArea -> El GeopoliticalArea -> Formula ; - - -- (diplomaticRepresentationType ?AGENT1 ?RANK ?AGENT2) means that the - -- Agent ?AGENT1 sends a representative with the Position ?RANK - -- to the Agent ?AGENT2. - fun diplomaticRepresentationType : El Agent -> El Position -> El Agent -> Formula ; - - -- (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?RANK ?AGENT2) means - -- that the Agent ?AGENT1 sends the individual ?PERSON with the - -- Position ?RANK as its representative to the Agent ?AGENT2. - -- Note: it is possible for ?PERSON to be diplomatically accredited to more - -- than one area. For example, currently the United States Ambassador to - -- Papua New Guinea is also accredited to Vanuatu, and there is no embassy - -- in Vanuatu. - fun diplomaticRepresentativeInRole : El Agent -> El Human -> El Position -> El Agent -> Formula ; - - -- (electionDatePlannedForPosition ?AGENT ?TIME ?POSITION) means that the - -- Agent ?AGENT (a Nation, Government, or Organization) plans to hold - -- an Election on the date indicated by ?TIME for position(s) ?POSITION. - fun electionDatePlannedForPosition: El Agent -> Desc TimePosition -> El SocialRole -> Formula ; - - -- (electionForOrganization ?ELECTION ?GROUP) means that in the - -- Election ?ELECTION, candidates run for election to the organization ?GROUP. - fun electionForOrganization : El Election -> El Organization -> Formula ; - - -- (electionForPosition ?ELECTION ?POSITION) means that in the Election ?ELECTION, - -- candidates run for election to the role(s) ?POSITION. - fun electionForPosition : El Election -> El SocialRole -> Formula ; - - -- (electionWinner ?ELECTION ?POSITION ?CONTENDER) means that in the Election ?ELECTION, - -- ?POSITION was won by the Agent ?CONTENDER. Contenders may be either persons or political parties. - fun electionWinner : El Election -> El SocialRole -> El Agent -> Formula ; - - -- (executiveBranch ?BRANCH ?ORG) means - -- that the Organization ?BRANCH is the executive branch of the - -- GeopoliticalArea or Organization ?ORG, that is, its executive offices - -- and bodies, considered as a whole. - fun executiveBranch : El Organization -> El Agent -> Formula ; - - -- (flagDescription ?AREA ?DESCRIPTION) - -- means that the SymbolicString ?DESCRIPTION is a verbal description of - -- the flag of the GeopoliticalArea ?AREA. - fun flagDescription : El GeopoliticalArea -> El SymbolicString -> Formula ; - - -- (flagImage ?AREA ?POINTER) means that an image - -- of the flag of the GeopoliticalArea ?AREA is found at the location given - -- in the SymbolicString ?POINTER. - fun flagImage : El GeopoliticalArea -> El SymbolicString -> Formula ; - - -- (governmentType ?BODY ?FORM) means that - -- the GeopoliticalArea or Organization ?BODY has a government with - -- characteristic(s) of the type ?FORM. - fun governmentType : El Agent -> El FormOfGovernment -> Formula ; - - -- (headOfGovernment ?POLITY ?ROLE ?PERSON) means that ?PERSON is - -- the top administrative leader of the Government of the GeopoliticalArea ?POLITY, with - -- authority for managing its day_to_day functions. The office held by this person - -- is the Position ?ROLE (e.g., President, Prime Minister, Governor). - -- Note: this term is defined as in the CIA World Fact Book. - fun headOfGovernment : El GeopoliticalArea -> El Position -> El Human -> Formula ; - - -- (holidayTimeInArea ?AREA ?TIME) means that ?TIME is a particular time period during which Holiday - -- is observed, thus during which normal government, business, and other services may not operate. - fun holidayTimeInArea : El GeopoliticalArea -> El TimePosition -> Formula ; - - -- (independenceDate ?AREA ?DATE) means - -- that the GeopoliticalArea ?AREA achieved its sovereignty on the date ?DATE. - -- For example, (independenceDate Afghanistan (DayFn 19 (MonthFn August (YearFn 1919)))). - fun independenceDate: El GeopoliticalArea -> Desc TimeInterval -> Formula ; - - -- (judicialBranch ?BRANCH ?ORG) means that - -- the Organization ?BRANCH is the judicial branch of the - -- GeopoliticalArea or Organization ?ORG, that is, all of its courts and - -- judicial offices, considered as a whole. - fun judicialBranch : El Organization -> El Agent -> Formula ; - - -- (leaderPosition ?ORG ?ROLE) - -- means that in the organization ?ORG, the leader is the person - -- who holds the Position ?ROLE in the organization. - fun leaderPosition : El Agent -> El Position -> Formula ; - - -- (legalSystemType ?AREA ?TYPE) means - -- that the GeopoliticalArea ?AREA has a legal system characterized by - -- the LegalSystemAttribute ?TYPE. For example, (legalSystemType - -- UnitedStates EnglishCommonLaw). A legal system may have multiple characteristics. - fun legalSystemType : El GeopoliticalArea -> El LegalSystemAttribute -> Formula ; - - -- (legislativeBranch ?BRANCH ?ORG) means - -- that the Organization ?BRANCH is the legislative branch of the - -- GeopoliticalArea or Organization ?ORG. - fun legislativeBranch : El Organization -> El Agent -> Formula ; - - -- (nationalCelebration ?AREA ?HOLIDAY) - -- means that the primary day of national celebration in the - -- GeopoliticalArea ?AREA is ?HOLIDAY. - -- For example, (nationalCelebration Afghanistan AfghanIndependenceDay). - fun nationalCelebration: El GeopoliticalArea -> Desc Holiday -> Formula ; - - -- (nationalHoliday ?AREA ?HOLIDAY) means - -- that ?HOLIDAY is a national holiday observed in ?AREA. The - -- GeopoliticalArea ?AREA observes a holiday on days specified as a - -- ?HOLIDAY, during which national government offices and other facilities - -- typically are closed. There may be multiple nationalHolidays. - -- For example, (nationalHoliday UnitedStates UnitedStatesMemorialDay). - fun nationalHoliday: El GeopoliticalArea -> Desc Holiday -> Formula ; - - -- (organizationalObjective ?AGENT ?FOCUS) means that the Agent ?AGENT has - -- significant aims and concerns characterized by the AreaOfConcern ?FOCUS. - fun organizationalObjective : El Agent -> El AreaOfConcern -> Formula ; - - -- (politicalPartyOfCountry ?PARTY ?AREA) means that the PoliticalParty ?PARTY participates - -- in politics in the GeopoliticalArea ?AREA. - fun politicalPartyOfCountry : El PoliticalParty -> El GeopoliticalArea -> Formula ; - - -- (primaryGeopoliticalSubdivision ?AREA ?COUNTRY) means that the - -- GeopoliticalArea ?AREA is one of the first_order administrative - -- divisions of the Nation ?COUNTRY. For example, in the United States, - -- any of the fifty states. This does not include subordinate regions that - -- have a lesser status, such as British Crown colonies, U.S. territories, - -- or protectorates. See geopoliticalSubdivision. - fun primaryGeopoliticalSubdivision : El GeopoliticalArea -> El GeopoliticalArea -> Formula ; - - -- (primaryGeopoliticalSubdivisionType ?COUNTRY ?TYPE) means that the - -- first_order administrative divisons of ?COUNTRY are of the type ?TYPE. - fun primaryGeopoliticalSubdivisionType: El GeopoliticalArea -> Desc GeopoliticalArea -> Formula ; - - -- (representativeAgentToAgent ?SENDER ?REP ?RECEIVER) means that - -- the Agent ?SENDER has the Agent ?REP as its representative - -- to the Agent ?RECEIVER. ?REP works for ?SENDER and is not assumed - -- to be an impartial mediator. - fun representativeAgentToAgent : El Agent -> El Agent -> El Agent -> Formula ; - - -- (roleAppointsRole ?ORG ?APPOINTER ?APPOINTED) means that in the Organization or - -- GeopoliticalArea ?ORG, the agent holding the SocialRole ?APPOINTER has the authority to - -- appoint a person to fill the role ?APPOINTED. - fun roleAppointsRole : El Agent -> El SocialRole -> El SocialRole -> Formula ; - - -- (roleApprovesRole ?ORG ?APPROVER ?APPOINTED) means that in the Organization or GeopoliticalArea ?ORG, - -- the agent holding the SocialRole ?APPROVER has the authority to approve (or disapprove) of an appointee for - -- the role ?APPOINTED. - fun roleApprovesRole : El Agent -> El SocialRole -> El SocialRole -> Formula ; - - -- (roleNominatesRole ?ORG ?NOMINATOR ?NOMINATED) means that in the Organization or GeopoliticalArea ?ORG, - -- the agent holding the SocialRole ?NOMINATOR has the authority to nominate one or more persons to - -- fill the role ?NOMINATED. - fun roleNominatesRole : El Agent -> El SocialRole -> El SocialRole -> Formula ; - - -- (seatsHeldInOrganization ?GROUP ?PARTY ?NUMBER) means that in the Organization ?GROUP, - -- the PoliticalParty or other Agent ?AGENT, holds or controls this ?NUMBER of seats. - fun seatsHeldInOrganization : El Organization -> El Agent -> El NonnegativeInteger -> Formula ; - - -- (seatsInOrganizationCount ?ORG ?NUMBER) means that there is a total ?NUMBER of seats in - -- the Organization ?ORG. - fun seatsInOrganizationCount : El Organization -> El Integer -> Formula ; - - -- (seatsWonInElection ?ELECTION ?AGENT ?NUMBER) means that in the Election ?ELECTION, - -- the PoliticalParty ?AGENT won this ?NUMBER of seats. - fun seatsWonInElection : El Election -> El Agent -> El Integer -> Formula ; - - -- (successorOrganization ?OLD ?NEW) - -- means that the Organization ?OLD was transformed or merged into, or - -- otherwise succeeded by, the Organization ?NEW. - fun successorOrganization : El Organization -> El Organization -> Formula ; - - -- (suffrageAgeMaximum ?POLITY ?AGE) - -- means that in the Organization or GeopoliticalArea ?POLITY, a person - -- must be ?AGE or younger in order to vote in the elections of ?POLITY. - fun suffrageAgeMaximum : El Agent -> El TimeDuration -> Formula ; - - -- (suffrageAgeMinimum ?POLITY ?AGE) - -- means that in the Organization or GeopoliticalArea ?POLITY, a person - -- must be ?AGE or older in order to vote in the elections of ?POLITY. - fun suffrageAgeMinimum : El Agent -> El TimeDuration -> Formula ; - - -- (termLength ?ORG ?ROLE ?LENGTH) means - -- that in the Organization or GeopoliticalArea ?ORG, the term of office - -- for the position ?ROLE is the TimeDuration ?LENGTH. - fun termLength : El Agent -> El SocialRole -> El TimeDuration -> Formula ; - - -- (voteFractionReceived ?ELECTION ?POSITION ?CONTENDER ?FRACTION) means - -- that in the Election ?ELECTION for ?POSITION, the Agent ?CONTENDER - -- received ?FRACTION of the votes cast. Contenders may be either persons or political parties. - fun voteFractionReceived : El Election -> El SocialRole -> El Agent -> El RealNumber -> Formula ; - -} -- cgit v1.2.3