changes in SUMO: formatting and fixes for lots of lots of small problems

1 files changed, 1176 insertions, 1383 deletions

diff --git a/examples/SUMO/Government.gf b/examples/SUMO/Government.gf
index 1e0aed1b2..9e9697191 100644
--- a/examples/SUMO/Government.gf
+++ b/examples/SUMO/Government.gf
@@ -1,1856 +1,1649 @@
-abstract Government = open Merge, Mid_level_ontology, Geography in {

+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 ASEANRegionalForum : Ind OrganizationOfNations ;

+  fun ActingConsulGeneral : Ind ForeignServicePosition ;

 

-fun AbsoluteMonarchy : Ind FormOfGovernment ;

+  fun AdministrationAndManagement : Ind AreaOfConcern ;

 

--- AcceptsICJJurisdiction is the 

--- Attribute of a legal system that accepts rulings of the 

--- InternationalCourtOfJustice.

-fun AcceptsICJJurisdiction : Ind LegalSystemAttribute ;

+  fun AdvisoryCommittee : Ind MemberStatus ;

 

+  fun AfricanCaribbeanAndPacificGroupOfStates : Ind OrganizationOfNations ;

 

-fun ActingConsulGeneral : Ind ForeignServicePosition ;

+  fun AfricanDevelopmentBank : Ind OrganizationOfNations ;

 

-fun AdministrationAndManagement : Ind AreaOfConcern ;

+  fun AgencyForTheFrenchSpeakingCommunity : Ind OrganizationOfNations ;

 

-fun AdvisoryCommittee : Ind MemberStatus ;

+  fun AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean : Ind OrganizationOfNations ;

 

-fun AfricanCaribbeanAndPacificGroupOfStates : Ind OrganizationOfNations ;

+  fun AgriculturalDevelopment : Ind AreaOfConcern ;

 

-fun AfricanDevelopmentBank : Ind OrganizationOfNations ;

+  -- Ambassador is the Attribute of the most 

+  -- highly_ranked foreign service representatives from the government of one 

+  -- country to another.

+  fun Ambassador : Ind ForeignServicePosition ;

 

-fun AgencyForTheFrenchSpeakingCommunity : Ind OrganizationOfNations ;

+  -- The AmericanInstituteInTaiwan 

+  -- is a private, nonprofit corporation under United States government 

+  -- oversight that conducts relations with Taiwan.

+  fun AmericanInstituteInTaiwan : Ind Organization ;

 

-fun AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean : Ind OrganizationOfNations ;

+  fun Anarchy : Ind FormOfGovernment ;

 

-fun AgriculturalDevelopment : Ind AreaOfConcern ;

+  fun AndeanCommunityOfNations : Ind OrganizationOfNations ;

 

--- Ambassador is the Attribute of the most 

--- highly_ranked foreign service representatives from the government of one 

--- country to another.

-fun Ambassador : Ind ForeignServicePosition ;

+  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 ;

 

--- The AmericanInstituteInTaiwan 

--- is a private, nonprofit corporation under United States government 

--- oversight that conducts relations with Taiwan.

-fun AmericanInstituteInTaiwan : Ind Organization ;

+  -- 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 Anarchy : Ind FormOfGovernment ;

+  fun ArabCooperationCouncil : Ind OrganizationOfNations ;

 

-fun AndeanCommunityOfNations : Ind OrganizationOfNations ;

+  fun ArabFundForEconomicAndSocialDevelopment : Ind OrganizationOfNations ;

 

-fun AntarcticTreatyCouncil : Ind OrganizationOfNations ;

+  fun ArabLeague : 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 ;

+  fun ArabMaghrebUnion : Ind OrganizationOfNations ;

 

+  fun ArabMonetaryFund : Ind OrganizationOfNations ;

 

--- AppealsCourt is the class of 

--- JudicialOrganizations that review cases from lower courts on appeal.

-fun AppealsCourt : Class ;

-fun AppealsCourt_Class : SubClass AppealsCourt JudicialOrganization ;

+  fun ArmsControl : Ind TransnationalIssue ;

 

-fun ArabBankForEconomicDevelopmentInAfrica : Ind OrganizationOfNations ;

+  fun AsiaPacificEconomicCooperation : Ind OrganizationOfNations ;

 

-fun ArabCooperationCouncil : Ind OrganizationOfNations ;

+  fun AsianDevelopmentBank : Ind OrganizationOfNations ;

 

-fun ArabFundForEconomicAndSocialDevelopment : Ind OrganizationOfNations ;

+  fun AssociateMember : Ind MemberStatus ;

 

-fun ArabLeague : Ind OrganizationOfNations ;

+  fun AssociatePartner : Ind MemberStatus ;

 

-fun ArabMaghrebUnion : Ind OrganizationOfNations ;

+  fun AssociationOfSoutheastAsianNations : Ind OrganizationOfNations ;

 

-fun ArabMonetaryFund : Ind OrganizationOfNations ;

+  fun AustraliaGroup : Ind OrganizationOfNations ;

 

-fun ArmsControl : Ind TransnationalIssue ;

+  fun AustraliaNewZealandUnitedStatesSecurityTreaty : Ind OrganizationOfNations ;

 

-fun AsiaPacificEconomicCooperation : Ind OrganizationOfNations ;

+  -- AuthoritarianRegime is the 

+  -- attribute of a government that rules autocratically, not allowing 

+  -- opposition.

+  fun AuthoritarianRegime : Ind FormOfGovernment ;

 

-fun AsianDevelopmentBank : Ind OrganizationOfNations ;

+  fun AuthoritarianSocialist : Ind FormOfGovernment ;

 

-fun AssociateMember : Ind MemberStatus ;

+  fun BankForInternationalSettlements : Ind OrganizationOfNations ;

 

-fun AssociatePartner : Ind MemberStatus ;

+  fun BeneluxEconomicUnion : Ind OrganizationOfNations ;

 

-fun AssociationOfSoutheastAsianNations : 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 AustraliaGroup : Ind OrganizationOfNations ;

+  fun BigSeven : Ind OrganizationOfNations ;

 

-fun AustraliaNewZealandUnitedStatesSecurityTreaty : Ind OrganizationOfNations ;

+  fun BigSix : Ind OrganizationOfNations ;

 

--- AuthoritarianRegime is the 

--- attribute of a government that rules autocratically, not allowing 

--- opposition.

-fun AuthoritarianRegime : Ind FormOfGovernment ;

+  fun BlackSeaEconomicCooperationZone : Ind OrganizationOfNations ;

 

+  fun BoardOfTrusteesMember : Ind MemberStatus ;

 

-fun AuthoritarianSocialist : Ind FormOfGovernment ;

+  fun BoundaryDetermination : Ind TransnationalIssue ;

 

-fun BankForInternationalSettlements : Ind OrganizationOfNations ;

+  fun BritishCrownColony : Class ;

+  fun BritishCrownColony_Class : SubClass BritishCrownColony OverseasArea ;

 

-fun BeneluxEconomicUnion : Ind OrganizationOfNations ;

+  fun CBWExportControls : Ind TransnationalIssue ;

 

--- 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 ;

+  -- (CabinetFn ?AREA) denotes the 

+  -- GovernmentCabinet associated with the government of the 

+  -- GeopoliticalArea ?AREA.

+  fun CabinetFn : El GeopoliticalArea -> Ind GovernmentOrganization ;

 

+  fun CaribbeanCommunityAndCommonMarket : Ind OrganizationOfNations ;

 

-fun BigSeven : Ind OrganizationOfNations ;

+  fun CaribbeanDevelopmentBank : Ind OrganizationOfNations ;

 

-fun BigSix : Ind OrganizationOfNations ;

+  fun CategoryIIIMember : Ind MemberStatus ;

 

-fun BlackSeaEconomicCooperationZone : Ind OrganizationOfNations ;

+  fun CategoryIIMember : Ind MemberStatus ;

 

-fun BoardOfTrusteesMember : Ind MemberStatus ;

+  fun CategoryIMember : Ind MemberStatus ;

 

-fun BoundaryDetermination : Ind TransnationalIssue ;

+  fun CentralAfricanStatesDevelopmentBank : Ind OrganizationOfNations ;

 

-fun BritishCrownColony : Class ;

-fun BritishCrownColony_Class : SubClass BritishCrownColony OverseasArea ;

-fun CBWExportControls : Ind TransnationalIssue ;

+  fun CentralAmericanBankForEconomicIntegration : Ind OrganizationOfNations ;

 

--- (CabinetFn ?AREA) denotes the 

--- GovernmentCabinet associated with the government of the 

--- GeopoliticalArea ?AREA.

-fun CabinetFn : El GeopoliticalArea -> Ind GovernmentOrganization ;

+  fun CentralAmericanCommonMarket : Ind OrganizationOfNations ;

 

+  fun CentralEuropeanInitiative : Ind OrganizationOfNations ;

 

-fun CaribbeanCommunityAndCommonMarket : Ind OrganizationOfNations ;

+  fun Chairman : Ind Position ;

 

-fun CaribbeanDevelopmentBank : Ind OrganizationOfNations ;

+  -- ChargeDAffaires is the Attribute of 

+  -- foreign servicer officers representing their governments abroad as 

+  -- Charges d'Affaires.

+  fun ChargeDAffaires : Ind ForeignServicePosition ;

 

-fun CategoryIIIMember : Ind MemberStatus ;

+  fun Chiefdom : Ind FormOfGovernment ;

 

-fun CategoryIIMember : Ind MemberStatus ;

+  fun ChildHealthServices : Ind AreaOfConcern ;

 

-fun CategoryIMember : Ind MemberStatus ;

+  -- 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 CentralAfricanStatesDevelopmentBank : Ind OrganizationOfNations ;

+  fun CivilPoliceTraining : Ind AreaOfConcern ;

 

-fun CentralAmericanBankForEconomicIntegration : Ind OrganizationOfNations ;

+  fun ColomboPlan : Ind OrganizationOfNations ;

 

-fun CentralAmericanCommonMarket : Ind OrganizationOfNations ;

+  fun CommissionForSocialDevelopment : Ind InternationalOrganization ;

 

-fun CentralEuropeanInitiative : Ind OrganizationOfNations ;

+  fun CommissionOnCrimePreventionAndCriminalJustice : Ind InternationalOrganization ;

 

-fun Chairman : Ind Position ;

+  fun CommissionOnHumanRights : Ind InternationalOrganization ;

 

--- ChargeDAffaires is the Attribute of 

--- foreign servicer officers representing their governments abroad as 

--- Charges d'Affaires.

-fun ChargeDAffaires : Ind ForeignServicePosition ;

+  fun CommissionOnNarcoticsDrugs : Ind InternationalOrganization ;

 

+  fun CommissionOnPopulationAndDevelopment : Ind InternationalOrganization ;

 

-fun Chiefdom : Ind FormOfGovernment ;

+  fun CommissionOnScienceAndTechnologyForDevelopment : Ind InternationalOrganization ;

 

-fun ChildHealthServices : Ind AreaOfConcern ;

+  fun CommissionOnSustainableDevelopment : Ind InternationalOrganization ;

 

--- 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 CommissionOnTheStatusOfWomen : Ind InternationalOrganization ;

 

+  fun Commissioner : Ind MemberStatus ;

 

-fun CivilPoliceTraining : Ind AreaOfConcern ;

+  fun Commonwealth : Ind FormOfGovernment ;

 

-fun ColomboPlan : Ind OrganizationOfNations ;

+  fun CommonwealthOfIndependentStates : Ind OrganizationOfNations ;

 

-fun CommissionForSocialDevelopment : Ind InternationalOrganization ;

+  fun CommonwealthOfNations : Ind OrganizationOfNations ;

 

-fun CommissionOnCrimePreventionAndCriminalJustice : Ind InternationalOrganization ;

+  fun CommunicationsCoordination : Ind AreaOfConcern ;

 

-fun CommissionOnHumanRights : Ind InternationalOrganization ;

+  fun CommunistState : Ind FormOfGovernment ;

 

-fun CommissionOnNarcoticsDrugs : Ind InternationalOrganization ;

+  fun CompactOfFreeAssociationWithNewZealand : Ind FormOfGovernment ;

 

-fun CommissionOnPopulationAndDevelopment : Ind InternationalOrganization ;

+  fun CompactOfFreeAssociationWithUnitedStates : Ind FormOfGovernment ;

 

-fun CommissionOnScienceAndTechnologyForDevelopment : Ind InternationalOrganization ;

+  fun CompensationAndReparation : Ind AreaOfConcern ;

 

-fun CommissionOnSustainableDevelopment : Ind InternationalOrganization ;

+  -- CompulsorySuffrageLaw is a law that 

+  -- requires all eligible voters in a country to vote, under threat of some 

+  -- penalty.

+  fun CompulsorySuffrageLaw : Ind SuffrageLaw ;

 

-fun CommissionOnTheStatusOfWomen : Ind InternationalOrganization ;

+  -- 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 ;

 

-fun Commissioner : Ind MemberStatus ;

+  -- 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 ;

 

-fun Commonwealth : Ind FormOfGovernment ;

+  -- (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 ;

 

-fun CommonwealthOfIndependentStates : Ind OrganizationOfNations ;

+  -- 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 CommonwealthOfNations : Ind OrganizationOfNations ;

+  fun ConstitutionalDemocracy : Ind FormOfGovernment ;

 

-fun CommunicationsCoordination : Ind AreaOfConcern ;

+  fun ConstitutionalDemocraticRepublic : Ind FormOfGovernment ;

 

-fun CommunistState : 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 CompactOfFreeAssociationWithNewZealand : Ind FormOfGovernment ;

+  fun ConstitutionalMonarchy : Ind FormOfGovernment ;

 

-fun CompactOfFreeAssociationWithUnitedStates : Ind FormOfGovernment ;

+  fun ConstitutionalParliamentaryDemocracy : Ind FormOfGovernment ;

 

-fun CompensationAndReparation : Ind AreaOfConcern ;

+  fun ConstitutionalRepublic : Ind FormOfGovernment ;

 

--- CompulsorySuffrageLaw is a law that 

--- requires all eligible voters in a country to vote, under threat of some 

--- penalty.

-fun CompulsorySuffrageLaw : Ind SuffrageLaw ;

+  -- 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 ;

 

--- 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 ;

+  -- 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 ;

 

--- 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 ;

+  -- 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 ;

 

--- (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 ;

+  fun ControlBiologicalAndChemicalWeapons : Ind TransnationalIssue ;

 

+  fun ControlNuclearWeapons : Ind TransnationalIssue ;

 

--- 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 ControlWeaponsOfMassDestruction : Ind TransnationalIssue ;

 

-fun ConstitutionalDemocracy : Ind FormOfGovernment ;

+  fun ConventionalArmsControl : Ind TransnationalIssue ;

 

-fun ConstitutionalDemocraticRepublic : Ind FormOfGovernment ;

+  fun CooperatingState : Ind MemberStatus ;

 

--- 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 CooperationInCivilAviation : Ind AreaOfConcern ;

 

+  fun CoordinateCreditPolicy : Ind TransnationalIssue ;

 

-fun ConstitutionalMonarchy : Ind FormOfGovernment ;

+  -- 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 ConstitutionalParliamentaryDemocracy : Ind FormOfGovernment ;

+  fun Coprincipality : Ind FormOfGovernment ;

 

-fun ConstitutionalRepublic : Ind FormOfGovernment ;

+  fun CorrespondentMember : Ind MemberStatus ;

 

--- Consul is the Attribute of foreign service 

--- officers representing their governments abroad as Consuls.

-fun Consul : Ind ForeignServicePosition ;

+  fun CouncilForMutualEconomicAssistance : Ind OrganizationOfNations ;

 

+  -- The 

+  -- CouncilOfArabEconomicUnity was established in 1957 but did not become 

+  -- effective until May 30, 1964.

+  fun CouncilOfArabEconomicUnity : Ind OrganizationOfNations ;

 

--- ConsulGeneral is the Attribute of 

--- foreign service officers representing their governments abroad as 

--- Consuls General.

-fun ConsulGeneral : Ind ForeignServicePosition ;

+  fun CouncilOfEurope : Ind OrganizationOfNations ;

 

+  fun CouncilOfTheBalticSeaStates : Ind OrganizationOfNations ;

 

--- 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 ;

+  fun CouncilOfTheEntente : Ind OrganizationOfNations ;

 

--- 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 CrimePrevention : Ind AreaOfConcern ;

 

-fun ControlBiologicalAndChemicalWeapons : Ind TransnationalIssue ;

+  fun CulturalCooperation : Ind TransnationalIssue ;

 

-fun ControlNuclearWeapons : 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 ;

 

-fun ControlWeaponsOfMassDestruction : Ind TransnationalIssue ;

+  -- 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 ;

 

-fun ConventionalArmsControl : Ind TransnationalIssue ;

+  -- 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 CooperatingState : Ind MemberStatus ;

+  fun DialoguePartner : Ind MemberStatus ;

 

-fun CooperationInCivilAviation : Ind AreaOfConcern ;

+  fun Dictatorship : Ind FormOfGovernment ;

 

-fun CoordinateCreditPolicy : Ind TransnationalIssue ;

+  -- 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 ;

 

--- 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 ;

+  -- 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 Coprincipality : Ind FormOfGovernment ;

+  fun EcclesiasticalGovernment : Ind FormOfGovernment ;

 

-fun CorrespondentMember : Ind MemberStatus ;

+  fun EconomicAndSocialCommissionForAsiaAndThePacific : Ind InternationalOrganization ;

 

-fun CouncilForMutualEconomicAssistance : Ind OrganizationOfNations ;

+  fun EconomicAndSocialCommissionForWesternAsia : Ind InternationalOrganization ;

 

--- The 

--- CouncilOfArabEconomicUnity was established in 1957 but did not become 

--- effective until May 30, 1964.

-fun CouncilOfArabEconomicUnity : Ind OrganizationOfNations ;

+  -- 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 CouncilOfEurope : Ind OrganizationOfNations ;

+  fun EconomicCommissionForEurope : Ind InternationalOrganization ;

 

-fun CouncilOfTheBalticSeaStates : Ind OrganizationOfNations ;

+  fun EconomicCommissionForLatinAmericaAndTheCaribbean : Ind InternationalOrganization ;

 

-fun CouncilOfTheEntente : Ind OrganizationOfNations ;

+  fun EconomicCommunityOfTheGreatLakesCountries : Ind OrganizationOfNations ;

 

-fun CrimePrevention : Ind AreaOfConcern ;

+  fun EconomicCommunityOfWestAfricanStates : Ind OrganizationOfNations ;

 

-fun CulturalCooperation : Ind TransnationalIssue ;

+  fun EconomicCooperation : 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 ;

+  fun EconomicCooperationOrganization : Ind OrganizationOfNations ;

 

+  fun EconomicDevelopment : Ind AreaOfConcern ;

 

--- 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 ;

+  fun EconomicIntegration : Ind TransnationalIssue ;

 

+  fun EconomicPolicyCoordination : Ind TransnationalIssue ;

 

--- 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 EducationalCooperation : Ind (both TransnationalIssue AreaOfConcern) ;

 

-fun DialoguePartner : Ind MemberStatus ;

+  fun EfficientCustomsAdministration : Ind (both TransnationalIssue AreaOfConcern ) ;

 

-fun Dictatorship : Ind FormOfGovernment ;

+  -- (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 ;

 

--- 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 ;

+  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 ;

 

--- 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 EmergingDemocracy : Ind FormOfGovernment ;

 

-fun EastAfricanDevelopmentBank : Ind OrganizationOfNations ;

+  fun EmigrationAndImmigrationIssues : Ind (both TransnationalIssue AreaOfConcern) ;

 

-fun EcclesiasticalGovernment : Ind FormOfGovernment ;

+  fun EnergyAndTheEnvironment : Ind TransnationalIssue ;

 

-fun EconomicAndSocialCommissionForAsiaAndThePacific : Ind InternationalOrganization ;

+  fun EnergyCooperation : Ind (both TransnationalIssue AreaOfConcern) ; 

 

-fun EconomicAndSocialCommissionForWesternAsia : Ind InternationalOrganization ;

+  -- 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 ;

 

--- 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 EnvironmentalCooperation : Ind TransnationalIssue ;

 

+  fun EuroAtlanticPartnershipCouncil : Ind OrganizationOfNations ;

 

-fun EconomicCommissionForAfrica : Ind InternationalOrganization ;

+  fun EuropeanBankForReconstructionAndDevelopment : Ind OrganizationOfNations ;

 

-fun EconomicCommissionForEurope : Ind InternationalOrganization ;

+  -- The EuropeanCommunity was merged into 

+  -- the EuropeanUnion on February 7, 1992.

+  fun EuropeanCommunity : Ind OrganizationOfNations ;

 

-fun EconomicCommissionForLatinAmericaAndTheCaribbean : Ind InternationalOrganization ;

+  fun EuropeanFreeTradeAssociation : Ind OrganizationOfNations ;

 

-fun EconomicCommunityOfTheGreatLakesCountries : Ind OrganizationOfNations ;

+  fun EuropeanInvestmentBank : Ind OrganizationOfNations ;

 

-fun EconomicCommunityOfWestAfricanStates : Ind OrganizationOfNations ;

+  fun EuropeanMonetaryUnion : Ind OrganizationOfNations ;

 

-fun EconomicCooperation : Ind TransnationalIssue ;

+  fun EuropeanOrganizationForNuclearResearch : Ind OrganizationOfNations ;

 

-fun EconomicCooperationOrganization : Ind OrganizationOfNations ;

+  fun EuropeanSpaceAgency : Ind OrganizationOfNations ;

 

-fun EconomicDevelopment : Ind AreaOfConcern ;

+  fun EuropeanUnion : Ind OrganizationOfNations ;

 

-fun EconomicIntegration : Ind TransnationalIssue ;

+  fun ExclusiveMaleSuffrage : Ind RestrictedSuffrage ;

 

-fun EconomicPolicyCoordination : Ind TransnationalIssue ;

+  fun ExecutiveBoardMember : Ind MemberStatus ;

 

-fun EducationalCooperation : Ind (both TransnationalIssue AreaOfConcern) ;

+  -- (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 EfficientCustomsAdministration : Ind (both TransnationalIssue AreaOfConcern ) ;

+  fun ExecutiveCommitteeMember : Ind MemberStatus ;

 

--- (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 Factionalism : Ind FormOfGovernment ;

 

+  fun FederalDemocraticRepublic : Ind FormOfGovernment ;

 

-fun EliminateChemicalWeapons : Ind TransnationalIssue ;

+  -- 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 ;

 

--- 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 FederalParliamentaryDemocracy : Ind FormOfGovernment ;

 

-fun EmergingDemocracy : Ind FormOfGovernment ;

+  fun FederalRepublic : Ind FormOfGovernment ;

 

-fun EmigrationAndImmigrationIssues : Ind (both TransnationalIssue AreaOfConcern) ;

+  fun Federation : Ind FormOfGovernment ;

 

-fun EnergyAndTheEnvironment : Ind TransnationalIssue ;

+  fun FinancialCooperation : Ind TransnationalIssue ;

 

-fun EnergyCooperation : Ind (both TransnationalIssue AreaOfConcern) ; 

+  -- 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 ;

 

--- 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 FoodAid : Ind TransnationalIssue ;

 

+  fun FoodAndAgricultureOrganization : Ind OrganizationOfNations ;

 

-fun EnvironmentalCooperation : Ind TransnationalIssue ;

+  -- 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 ;

 

-fun EuroAtlanticPartnershipCouncil : Ind OrganizationOfNations ;

+  -- 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 EuropeanBankForReconstructionAndDevelopment : Ind OrganizationOfNations ;

+  fun FrancZone : Ind OrganizationOfNations ;

 

--- The EuropeanCommunity was merged into 

--- the EuropeanUnion on February 7, 1992.

-fun EuropeanCommunity : Ind OrganizationOfNations ;

+  fun FullMember : Ind MemberStatus ;

 

+  fun GenderEquality : Ind AreaOfConcern ;

 

-fun EuropeanFreeTradeAssociation : Ind OrganizationOfNations ;

+  -- 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 EuropeanInvestmentBank : Ind OrganizationOfNations ;

+  fun GovernmentDeputy : Ind Position ;

 

-fun EuropeanMonetaryUnion : Ind OrganizationOfNations ;

+  -- 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 EuropeanOrganizationForNuclearResearch : Ind OrganizationOfNations ;

+  fun GroupOf11 : Ind OrganizationOfNations ;

 

-fun EuropeanSpaceAgency : Ind OrganizationOfNations ;

+  -- The GroupOf15 was a result of the NonalignedMovement.

+  fun GroupOf15 : Ind OrganizationOfNations ;

 

-fun EuropeanUnion : Ind OrganizationOfNations ;

+  -- The GroupOf24 promotes the interests of 

+  -- developing countries in Africa, Asia, and Latin America within the 

+  -- InternationalMonetaryFund.

+  fun GroupOf24 : Ind OrganizationOfNations ;

 

-fun ExclusiveMaleSuffrage : Ind RestrictedSuffrage ;

+  fun GroupOf3 : Ind OrganizationOfNations ;

 

-fun ExecutiveBoardMember : Ind MemberStatus ;

+  fun GroupOf5 : Ind OrganizationOfNations ;

 

--- (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 GroupOf6 : Ind OrganizationOfNations ;

 

+  -- The memberships of the BigSeven and the 

+  -- GroupOf7 include the same Nations.

+  fun GroupOf7 : Ind OrganizationOfNations ;

 

-fun ExecutiveCommitteeMember : Ind MemberStatus ;

+  fun GroupOf77 : Ind OrganizationOfNations ;

 

-fun Factionalism : Ind FormOfGovernment ;

+  -- The GroupOf8 members were participants in the 

+  -- Conference on International Economic Cooperation (CIEC) between 

+  -- 1975_1977.

+  fun GroupOf8 : Ind OrganizationOfNations ;

 

-fun FederalDemocraticRepublic : Ind FormOfGovernment ;

+  fun GroupOf9 : Ind OrganizationOfNations ;

 

--- 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 GuestStatus : Ind MemberStatus ;

 

+  fun GulfCooperationCouncil : Ind OrganizationOfNations ;

 

-fun FederalParliamentaryDemocracy : Ind FormOfGovernment ;

+  fun HereditaryMonarchy : Ind FormOfGovernment ;

 

-fun FederalRepublic : 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 Federation : Ind FormOfGovernment ;

+  fun HumanRightsIssues : Ind TransnationalIssue ;

 

-fun FinancialCooperation : Ind TransnationalIssue ;

+  fun HumanitarianAid : 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 HumanitarianAssistance : Ind TransnationalIssue ;

 

-fun FoodAid : Ind TransnationalIssue ;

+  fun ImmigrationAndNationalityAct_Section219_US : Ind Proposition ;

 

-fun FoodAndAgricultureOrganization : Ind OrganizationOfNations ;

+  fun ImmigrationAndNationalityAct_US : Ind Proposition ;

 

--- 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 ;

+  fun ImproveHumanSettlementConditions : Ind AreaOfConcern ;

 

--- 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 ;

+  -- 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 FrancZone : Ind OrganizationOfNations ;

+  fun IndianOceanCommission : Ind OrganizationOfNations ;

 

-fun FullMember : Ind MemberStatus ;

+  fun IndustryStandards : Ind AreaOfConcern ;

 

-fun GenderEquality : Ind AreaOfConcern ;

+  fun InformationCooperation : 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 InformationStandards : Ind AreaOfConcern ;

 

-fun GovernmentDeputy : Ind Position ;

+  fun InfrastructureCooperation : Ind AreaOfConcern ;

 

--- 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 IntellectualPropertyProtection : Ind AreaOfConcern ;

 

+  fun InterAmericanDevelopmentBank : Ind OrganizationOfNations ;

 

-fun GroupOf11 : 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 ;

 

--- The GroupOf15 was a result of the NonalignedMovement.

-fun GroupOf15 : Ind OrganizationOfNations ;

+  fun InternationalAtomicEnergyAgency : Ind OrganizationOfNations ;

 

+  fun InternationalBankForReconstructionAndDevelopment : Ind OrganizationOfNations ;

 

--- The GroupOf24 promotes the interests of 

--- developing countries in Africa, Asia, and Latin America within the 

--- InternationalMonetaryFund.

-fun GroupOf24 : Ind OrganizationOfNations ;

+  fun InternationalCenterForSecretariatOfInvestmentDisputes : Ind InternationalOrganization ;

 

+  fun InternationalChamberOfCommerce : Ind OrganizationOfNations ;

 

-fun GroupOf3 : Ind OrganizationOfNations ;

+  fun InternationalCivilAviationOrganization : Ind OrganizationOfNations ;

 

-fun GroupOf5 : Ind OrganizationOfNations ;

+  fun InternationalCommitteeOfTheRedCross : Ind InternationalOrganization ;

 

-fun GroupOf6 : Ind OrganizationOfNations ;

+  fun InternationalConfederationOfFreeTradeUnions : Ind OrganizationOfNations ;

 

--- The memberships of the BigSeven and the 

--- GroupOf7 include the same Nations.

-fun GroupOf7 : 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 GroupOf77 : Ind OrganizationOfNations ;

+  fun InternationalCriminalTribunalForRwanda : Ind InternationalOrganization ;

 

--- The GroupOf8 members were participants in the 

--- Conference on International Economic Cooperation (CIEC) between 

--- 1975_1977.

-fun GroupOf8 : Ind OrganizationOfNations ;

+  fun InternationalCriminalTribunalForTheFormerYugoslavia : Ind InternationalOrganization ;

 

+  fun InternationalDevelopmentAssociation : Ind OrganizationOfNations ;

 

-fun GroupOf9 : Ind OrganizationOfNations ;

+  -- The InternationalEnergyAgency 

+  -- was established by the OrganizationForEconomicAndCulturalDevelopment.

+  fun InternationalEnergyAgency : Ind OrganizationOfNations ;

 

-fun GuestStatus : Ind MemberStatus ;

+  fun InternationalFederationOfRedCrossAndRedCrescentSocieties : Ind OrganizationOfNations ;

 

-fun GulfCooperationCouncil : Ind OrganizationOfNations ;

+  -- The InternationalFinanceCorporation is affiliated with the InternationalBankForReconstructionAndDevelopment.

+  fun InternationalFinanceCorporation : Ind OrganizationOfNations ;

 

-fun HereditaryMonarchy : Ind FormOfGovernment ;

+  fun InternationalFundForAgriculturalDevelopment : Ind OrganizationOfNations ;

 

--- 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 InternationalHydrographicOrganization : Ind OrganizationOfNations ;

 

-fun HumanRightsIssues : Ind TransnationalIssue ;

+  fun InternationalJustice : Ind (both AreaOfConcern TransnationalIssue) ;

 

-fun HumanitarianAid : Ind TransnationalIssue ;

+  -- The InternationalLaborOrganization became affiliated with 

+  -- the UnitedNations in 1946.

+  fun InternationalLaborOrganization : Ind OrganizationOfNations ;

 

-fun HumanitarianAssistance : Ind TransnationalIssue ;

+  fun InternationalMaritimeAffairs : Ind AreaOfConcern ;

 

-fun ImmigrationAndNationalityAct_Section219_US : Ind Proposition ;

+  -- The InternationalMaritimeOrganization was established in 1948 but became 

+  -- effective ten years later.

+  fun InternationalMaritimeOrganization : Ind OrganizationOfNations ;

 

-fun ImmigrationAndNationalityAct_US : Ind Proposition ;

+  fun InternationalMonetaryFund : Ind OrganizationOfNations ;

 

-fun ImproveHumanSettlementConditions : Ind AreaOfConcern ;

+  fun InternationalOlympicCommittee : Ind OrganizationOfNations ;

 

--- 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 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 IndianOceanCommission : Ind OrganizationOfNations ;

+  fun InternationalOrganizationForMigration : Ind OrganizationOfNations ;

 

-fun IndustryStandards : Ind AreaOfConcern ;

+  fun InternationalOrganizationForStandardization : Ind OrganizationOfNations ;

 

-fun InformationCooperation : Ind AreaOfConcern ;

+  fun InternationalPeaceAndSecurity : Ind TransnationalIssue ;

 

-fun InformationStandards : Ind AreaOfConcern ;

+  fun InternationalRedCrossAndRedCrescentMovement : Ind InternationalOrganization ;

 

-fun InfrastructureCooperation : Ind AreaOfConcern ;

+  fun InternationalResearchAndTrainingInstituteForTheAdvancementOfWomen : Ind OrganizationOfNations ;

 

-fun IntellectualPropertyProtection : Ind AreaOfConcern ;

+  -- The InternationalTelecommunicationUnion became affiliated with the 

+  -- UnitedNations on November 15, 1947.

+  fun InternationalTelecommunicationUnion : Ind OrganizationOfNations ;

 

-fun InterAmericanDevelopmentBank : Ind OrganizationOfNations ;

+  fun InternationalTradeSupport : Ind TransnationalIssue ;

 

--- 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 IslamicDevelopmentBank : Ind OrganizationOfNations ;

 

+  fun IslamicGovernment : Ind FormOfGovernment ;

 

-fun InternationalAtomicEnergyAgency : Ind OrganizationOfNations ;

+  -- IslamicLaw is the Attribute of 

+  -- legal systems that are based on religious principles of Islam.

+  fun IslamicLaw : Ind LegalSystemAttribute ;

 

-fun InternationalBankForReconstructionAndDevelopment : Ind OrganizationOfNations ;

+  -- IslamicLawCourt is the subclass of 

+  -- JudicialOrganizations that are conducted according to principles of 

+  -- Islamic Law.

+  fun IslamicLawCourt : Class ;

+  fun IslamicLawCourt_Class : SubClass IslamicLawCourt JudicialOrganization ;

 

-fun InternationalCenterForSecretariatOfInvestmentDisputes : Ind InternationalOrganization ;

+  -- 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 ;

 

-fun InternationalChamberOfCommerce : Ind OrganizationOfNations ;

+  -- JudicialReviewOfExecutiveActs is an attribute of legal systems 

+  -- in which the judiciary has authority to review acts of the executive 

+  -- branch.

+  fun JudicialReviewOfExecutiveActs : Ind LegalSystemAttribute ;

 

-fun InternationalCivilAviationOrganization : Ind OrganizationOfNations ;

+  -- JudicialReviewOfLegislativeActs is an attribute of legal systems 

+  -- in which the judiciary has authority to review acts of the legislature.

+  fun JudicialReviewOfLegislativeActs : Ind LegalSystemAttribute ;

 

-fun InternationalCommitteeOfTheRedCross : Ind InternationalOrganization ;

+  -- (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 InternationalConfederationOfFreeTradeUnions : Ind OrganizationOfNations ;

+  fun JusticeIssues : Ind AreaOfConcern ;

 

--- The 

--- InternationalCourtOfJustice superseded the Permanent Court of 

--- International Justice.

-fun InternationalCourtOfJustice : Ind (both InternationalOrganization JudicialOrganization) ;

+  fun King : Ind Position ;

 

+  fun LaborIssues : Ind AreaOfConcern ;

 

--- Interpol is the 

--- successor organization to the International Criminal Police Organization, 

--- which had been established in 1923.

-fun InternationalCriminalPoliceOrganization : Ind OrganizationOfNations ;

+  fun LatinAmericanEconomicSystem : Ind OrganizationOfNations ;

 

+  fun LatinAmericanIntegrationAssociation : Ind OrganizationOfNations ;

 

-fun InternationalCriminalTribunalForRwanda : Ind InternationalOrganization ;

+  fun Leader : Ind Position ;

 

-fun InternationalCriminalTribunalForTheFormerYugoslavia : Ind InternationalOrganization ;

+  -- 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 ;

 

-fun InternationalDevelopmentAssociation : Ind OrganizationOfNations ;

+  -- 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 ;

 

--- The InternationalEnergyAgency 

--- was established by the OrganizationForEconomicAndCulturalDevelopment.

-fun InternationalEnergyAgency : Ind OrganizationOfNations ;

+  -- (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 ;

 

-fun InternationalFederationOfRedCrossAndRedCrescentSocieties : Ind OrganizationOfNations ;

+  -- (MemberRoleFn ?ORG ?POSITION) denotes the 

+  -- role of having the Position ?POSITION the Organization ?ORG.

+  fun MemberRoleFn : El Organization -> El Position -> Ind Position ;

 

--- The 

--- InternationalFinanceCorporation is affiliated with the 

--- InternationalBankForReconstructionAndDevelopment.

-fun InternationalFinanceCorporation : Ind OrganizationOfNations ;

+  -- 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 InternationalFundForAgriculturalDevelopment : Ind OrganizationOfNations ;

+  fun MembershipPending : Ind MemberStatus ;

 

-fun InternationalHydrographicOrganization : Ind OrganizationOfNations ;

+  fun MilitaryCommander : Ind Position ;

 

-fun InternationalJustice : Ind (both AreaOfConcern TransnationalIssue) ;

+  fun MilitaryCooperation : Ind TransnationalIssue ;

 

--- The 

--- InternationalLaborOrganization became affiliated with the 

--- UnitedNations in 1946.

-fun InternationalLaborOrganization : Ind OrganizationOfNations ;

+  fun MilitaryDictatorship : Ind FormOfGovernment ;

 

+  fun Monarch : Ind Position ;

 

-fun InternationalMaritimeAffairs : Ind AreaOfConcern ;

+  -- Monarchy is the attribute of a government 

+  -- that is ruled by a monarch, which is usually a hereditary role.

+  fun Monarchy : Ind FormOfGovernment ;

 

--- The 

--- InternationalMaritimeOrganization was established in 1948 but became 

--- effective ten years later.

-fun InternationalMaritimeOrganization : Ind OrganizationOfNations ;

+  fun MonetaryAndEconomicCommunityOfCentralAfrica : Ind OrganizationOfNations ;

 

+  fun MonetaryStability : Ind AreaOfConcern ;

 

-fun InternationalMonetaryFund : Ind OrganizationOfNations ;

+  fun MonetaryUnion : Ind TransnationalIssue ;

 

-fun InternationalOlympicCommittee : Ind OrganizationOfNations ;

+  -- 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 InternationalOrNonregionalMember : Ind MemberStatus ;

+  fun MulitlateralInvestmentGeographicAgency : Ind InternationalOrganization ;

 

--- 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 MultipartyDemocracy : Ind FormOfGovernment ;

 

-fun InternationalOrganizationForMigration : Ind OrganizationOfNations ;

+  fun MutualDefensePact : Ind TransnationalIssue ;

 

-fun InternationalOrganizationForStandardization : Ind OrganizationOfNations ;

+  -- 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 InternationalPeaceAndSecurity : Ind TransnationalIssue ;

+  fun NationalCommitteeChairman : Ind Position ;

 

-fun InternationalRedCrossAndRedCrescentMovement : Ind InternationalOrganization ;

+  -- NationalGovernment is the class of 

+  -- national_level governments of Nations.

+  fun NationalGovernment : Class ;

+  fun NationalGovernment_Class : SubClass NationalGovernment Government ;

 

-fun InternationalResearchAndTrainingInstituteForTheAdvancementOfWomen : Ind OrganizationOfNations ;

+  -- The NonalignedMovement was 

+  -- established to promote political and military cooperation outside of the 

+  -- traditional East and West power groups.

+  fun NonalignedMovement : Ind OrganizationOfNations ;

 

--- The 

--- InternationalTelecommunicationUnion became affiliated with the 

--- UnitedNations on November 15, 1947.

-fun InternationalTelecommunicationUnion : Ind OrganizationOfNations ;

+  fun NonpermanentStatus : Ind MemberStatus ;

 

+  fun NonregionalMember : Ind MemberStatus ;

 

-fun InternationalTradeSupport : Ind TransnationalIssue ;

+  fun NonstateParticipant : Ind MemberStatus ;

 

-fun IslamicDevelopmentBank : Ind OrganizationOfNations ;

+  fun NordicCouncil : Ind OrganizationOfNations ;

 

-fun IslamicGovernment : Ind FormOfGovernment ;

+  fun NordicInvestmentBank : Ind OrganizationOfNations ;

 

--- IslamicLaw is the Attribute of 

--- legal systems that are based on religious principles of Islam.

-fun IslamicLaw : Ind LegalSystemAttribute ;

+  fun NorthAtlanticTreatyOrganization : Ind OrganizationOfNations ;

 

+  fun NuclearDisarmament : Ind TransnationalIssue ;

 

--- IslamicLawCourt is the subclass of 

--- JudicialOrganizations that are conducted according to principles of 

--- Islamic Law.

-fun IslamicLawCourt : Class ;

-fun IslamicLawCourt_Class : SubClass IslamicLawCourt JudicialOrganization ;

+  fun NuclearEnergyAgency : Ind OrganizationOfNations ;

 

--- 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 ;

+  fun NuclearExportControls : Ind TransnationalIssue ;

 

+  fun NuclearNonproliferation : Ind TransnationalIssue ;

 

--- JudicialReviewOfExecutiveActs is an attribute of legal systems 

--- in which the judiciary has authority to review acts of the executive 

--- branch.

-fun JudicialReviewOfExecutiveActs : Ind LegalSystemAttribute ;

+  fun NuclearSuppliersGroup : Ind OrganizationOfNations ;

 

+  fun ObservationAndMonitoring : Ind AreaOfConcern ;

 

--- JudicialReviewOfLegislativeActs is an attribute of legal systems 

--- in which the judiciary has authority to review acts of the legislature.

-fun JudicialReviewOfLegislativeActs : Ind LegalSystemAttribute ;

+  fun ObserverStatus : Ind MemberStatus ;

 

+  fun OrganizationForEconomicCooperationAndDevelopment : Ind OrganizationOfNations ;

 

--- (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 ;

+  -- 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 ;

 

-fun JusticeIssues : Ind AreaOfConcern ;

+  -- The OrganizationOfAfricanUnity was renamed to African Union 

+  -- (Union_Africaine) in July, 2002.

+  fun OrganizationOfAfricanUnity : Ind OrganizationOfNations ;

 

-fun King : Ind Position ;

+  -- The OrganizationOfAmericanStates adopted its present charter on April 30, 1948.

+  fun OrganizationOfAmericanStates : Ind OrganizationOfNations ;

 

-fun LaborIssues : Ind AreaOfConcern ;

+  fun OrganizationOfArabPetroleumExportingCountries : Ind OrganizationOfNations ;

 

-fun LatinAmericanEconomicSystem : Ind OrganizationOfNations ;

+  fun OrganizationOfEasternCaribbeanStates : Ind OrganizationOfNations ;

 

-fun LatinAmericanIntegrationAssociation : Ind OrganizationOfNations ;

+  -- This is the class of Organizations whose members are Nations.

+  fun OrganizationOfNations : Class ;

+  fun OrganizationOfNations_Class : SubClass OrganizationOfNations InternationalOrganization ;

 

-fun Leader : Ind Position ;

+  fun OrganizationOfPetroleumExportingCountries : Ind OrganizationOfNations ;

 

--- 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 ;

+  fun OrganizationOfTheIslamicConference : Ind OrganizationOfNations ;

 

--- 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 ;

+  fun OrganizeOlympicGames : Ind TransnationalIssue ;

 

--- (LegislatureFn ?AREA) denotes the 

--- legislative branch of the GeopoliticalArea ?AREA.

-fun LegislatureFn : El GeopoliticalArea -> Ind LegislativeOrganization ;

+  -- 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 ;

 

--- (MemberFn ?ORG) denotes the Position of 

--- a member in the Organization ?ORG.

-fun MemberFn : El Organization -> Ind Position ;

+  fun PacificCommunity : Ind OrganizationOfNations ;

 

+  fun PacificIslandForum : Ind OrganizationOfNations ;

 

--- (MemberRoleFn ?ORG ?POSITION) denotes the 

--- role of having the Position ?POSITION the Organization ?ORG.

-fun MemberRoleFn : El Organization -> El Position -> Ind Position ;

+  -- 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 ;

 

--- 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 ParliamentaryDemocraticRepublic : Ind FormOfGovernment ;

 

-fun MembershipApplicant : Ind MemberStatus ;

+  -- 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 MembershipPending : Ind MemberStatus ;

+  fun ParliamentaryRepublic : Ind FormOfGovernment ;

 

-fun MilitaryCommander : Ind Position ;

+  fun ParliamentaryTerritory : Class ;

+  fun ParliamentaryTerritory_Class : SubClass ParliamentaryTerritory GeopoliticalArea ;

 

-fun MilitaryCooperation : Ind TransnationalIssue ;

+  fun PartIMember : Ind MemberStatus ;

 

-fun MilitaryDictatorship : Ind FormOfGovernment ;

+  fun PartIIMember : Ind MemberStatus ;

 

-fun Monarch : Ind Position ;

+  fun PartnersForCooperation : Ind MemberStatus ;

 

--- Monarchy is the attribute of a government 

--- that is ruled by a monarch, which is usually a hereditary role.

-fun Monarchy : Ind FormOfGovernment ;

+  fun PartnershipForPeace : Ind OrganizationOfNations ;

 

+  fun PeacefulUseOfAtomicPower : Ind TransnationalIssue ;

 

-fun MonetaryAndEconomicCommunityOfCentralAfrica : Ind OrganizationOfNations ;

+  fun PeacekeepingOperation : Ind (both TransnationalIssue AreaOfConcern) ;

 

-fun MonetaryStability : Ind AreaOfConcern ;

+  fun PermanentChargeDAffaires : Ind ForeignServicePosition ;

 

-fun MonetaryUnion : Ind TransnationalIssue ;

+  fun PermanentCourtOfArbitration : Ind OrganizationOfNations ;

 

--- 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 PermanentRepresentative : Ind Position ;

 

-fun MulitlateralInvestmentGeographicAgency : Ind InternationalOrganization ;

+  fun PermanentStatus : Ind MemberStatus ;

 

-fun MultipartyDemocracy : Ind FormOfGovernment ;

+  -- 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 MutualDefensePact : Ind TransnationalIssue ;

+  fun PoliticalCooperation : Ind AreaOfConcern ;

 

--- 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 PoliticalDevelopment : Ind AreaOfConcern ;

 

+  fun PoliticalIntegration : Ind AreaOfConcern ;

 

-fun NationalCommitteeChairman : Ind Position ;

+  -- 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 ;

 

--- NationalGovernment is the class of 

--- national_level governments of Nations.

-fun NationalGovernment : Class ;

-fun NationalGovernment_Class : SubClass NationalGovernment Government ;

+  fun PopulationPolicySupport : Ind AreaOfConcern ;

 

--- The NonalignedMovement was 

--- established to promote political and military cooperation outside of the 

--- traditional East and West power groups.

-fun NonalignedMovement : Ind OrganizationOfNations ;

+  fun President : Ind Position ;

 

+  fun PresidentialGovernment : Ind FormOfGovernment ;

 

-fun NonpermanentStatus : Ind MemberStatus ;

+  fun PrimeMinister : Ind Position ;

 

-fun NonregionalMember : Ind MemberStatus ;

+  fun PrincipalOfficer : Ind ForeignServicePosition ;

 

-fun NonstateParticipant : Ind MemberStatus ;

+  fun PromotePrivateEnterprise : Ind AreaOfConcern ;

 

-fun NordicCouncil : Ind OrganizationOfNations ;

+  fun PromoteRegionalStability : Ind TransnationalIssue ;

 

-fun NordicInvestmentBank : Ind OrganizationOfNations ;

+  fun PromoteSustainableDevelopment : Ind AreaOfConcern ;

 

-fun NorthAtlanticTreatyOrganization : Ind OrganizationOfNations ;

+  fun PromoteTradeUnionism : Ind AreaOfConcern ;

 

-fun NuclearDisarmament : Ind TransnationalIssue ;

+  fun PromotionOfFreeTrade : Ind TransnationalIssue ;

 

-fun NuclearEnergyAgency : Ind OrganizationOfNations ;

+  fun PromotionOfPrivateEnterprise : Ind AreaOfConcern ;

 

-fun NuclearExportControls : Ind TransnationalIssue ;

+  fun PromotionOfTourism : Ind AreaOfConcern ;

 

-fun NuclearNonproliferation : Ind TransnationalIssue ;

+  fun PromotionOfTradeAndInvestment : Ind TransnationalIssue ;

 

-fun NuclearSuppliersGroup : Ind OrganizationOfNations ;

+  fun PublicHealthConcern : Ind AreaOfConcern ;

 

-fun ObservationAndMonitoring : Ind AreaOfConcern ;

+  fun Queen : Ind Position ;

 

-fun ObserverStatus : Ind MemberStatus ;

+  fun ReducePoverty : Ind AreaOfConcern ;

 

-fun OrganizationForEconomicCooperationAndDevelopment : Ind OrganizationOfNations ;

+  fun ReducingCrime : Ind AreaOfConcern ;

 

--- 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 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 ;

 

-fun OrganizationForTheProhibitionOfChemicalWeapons : Ind OrganizationOfNations ;

+  -- (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 ;

 

--- The 

--- OrganizationOfAfricanUnity was renamed to African Union 

--- (Union_Africaine) in July, 2002.

-fun OrganizationOfAfricanUnity : Ind OrganizationOfNations ;

+  fun RegionalMember : Ind MemberStatus ;

 

+  fun RegionalSecurity : Ind AreaOfConcern ;

 

--- The 

--- OrganizationOfAmericanStates adopted its present charter on April 30, 

--- 1948.

-fun OrganizationOfAmericanStates : Ind OrganizationOfNations ;

+  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 ;

 

-fun OrganizationOfArabPetroleumExportingCountries : Ind OrganizationOfNations ;

+  -- 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 ;

 

-fun OrganizationOfEasternCaribbeanStates : Ind OrganizationOfNations ;

+  -- The RioGroup was the result of fusing the 

+  -- Contadora Group and the Lima (or Support) Group.

+  fun RioGroup : Ind OrganizationOfNations ;

 

--- This is the 

--- class of Organizations whose members are Nations.

-fun OrganizationOfNations : Class ;

-fun OrganizationOfNations_Class : SubClass OrganizationOfNations InternationalOrganization ;

+  -- RomanCanonLaw is the attribute of legal 

+  -- systems based on the Ecclesiastical law developed by the Roman Catholic 

+  -- Church.

+  fun RomanCanonLaw : Ind LegalSystemAttribute ;

 

-fun OrganizationOfPetroleumExportingCountries : Ind OrganizationOfNations ;

+  fun ScientificCooperation : Ind AreaOfConcern ;

 

-fun OrganizationOfTheIslamicConference : Ind OrganizationOfNations ;

+  fun SelfGoverningTerritory : Class ;

+  fun SelfGoverningTerritory_Class : SubClass SelfGoverningTerritory GeopoliticalArea ;

 

-fun OrganizeOlympicGames : Ind TransnationalIssue ;

+  fun SignatoryMember : Ind MemberStatus ;

 

--- 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) ;

+  fun SocialCooperation : Ind TransnationalIssue ;

 

+  fun SocialDevelopment : Ind AreaOfConcern ;

 

--- (OverseasAreaFn ?AREA) denotes the class 

--- of OverseasAreas that belong to the GeopoliticalArea ?AREA.

-fun OverseasAreaFn: El GeopoliticalArea -> Desc OverseasArea ;

+  fun SocioeconomicResearch : Ind AreaOfConcern ;

 

+  fun SouthAsianAssociationForRegionalCooperation : Ind OrganizationOfNations ;

 

-fun PacificCommunity : Ind OrganizationOfNations ;

+  fun SouthPacificRegionalTradeAndEconomicCooperationAgreement : Ind OrganizationOfNations ;

 

-fun PacificIslandForum : Ind OrganizationOfNations ;

+  fun SouthernAfricanCustomsUnion : 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 SouthernAfricanDevelopmentCommunity : Ind OrganizationOfNations ;

 

-fun ParliamentaryDemocracy : Ind FormOfGovernment ;

+  fun SouthernConeCommonMarket : Ind OrganizationOfNations ;

 

-fun ParliamentaryDemocraticRepublic : Ind FormOfGovernment ;

+  fun SpaceResearchAndTechnology : Ind AreaOfConcern ;

 

--- 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 Spokesperson : Ind Position ;

 

+  fun StatisticalCommission : Ind InternationalOrganization ;

 

-fun ParliamentaryRepublic : Ind FormOfGovernment ;

+  fun SubbureauMember : Ind MemberStatus ;

 

-fun ParliamentaryTerritory : Class ;

-fun ParliamentaryTerritory_Class : SubClass ParliamentaryTerritory GeopoliticalArea ;

-fun PartIIMember : Ind MemberStatus ;

+  fun SubscriberMember : Ind MemberStatus ;

 

-fun PartIMember : 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 PartnersForCooperation : Ind MemberStatus ;

+  fun SupportLawEnforcement : Ind AreaOfConcern ;

 

-fun PartnershipForPeace : Ind OrganizationOfNations ;

+  -- 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 ;

 

-fun PeacefulUseOfAtomicPower : Ind TransnationalIssue ;

+  -- (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 ;

 

-fun PeacekeepingOperation : Ind (both TransnationalIssue AreaOfConcern) ;

+  -- SupremeCourtJudge is the Position 

+  -- of a person who is a JudgeAtLaw on some SupremeCourt.

+  fun SupremeCourtJudge : Ind Position ;

 

-fun PermanentChargeDAffaires : Ind ForeignServicePosition ;

+  fun SuspendedMember : Ind MemberStatus ;

 

-fun PermanentCourtOfArbitration : Ind OrganizationOfNations ;

+  fun TechnologyCooperation : Ind AreaOfConcern ;

 

-fun PermanentRepresentative : Ind Position ;

+  -- TheocraticGovernment is the 

+  -- attribute of a government that bases its authority on Religion.

+  fun TheocraticGovernment : Ind FormOfGovernment ;

 

-fun PermanentStatus : Ind MemberStatus ;

+  fun TheocraticRepublic : Ind FormOfGovernment ;

 

--- 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 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 ;

 

-fun PoliticalCooperation : Ind AreaOfConcern ;

+  -- 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 PoliticalDevelopment : Ind AreaOfConcern ;

+  fun TransportationCoordination : Ind AreaOfConcern ;

 

-fun PoliticalIntegration : 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) ;

 

--- 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 ;

+  -- 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 PopulationPolicySupport : Ind AreaOfConcern ;

+  fun UnicameralLegislature : Ind FormOfGovernment ;

 

-fun President : Ind Position ;

+  fun UnincorporatedUnitedStatesTerritory : Class ;

+  fun UnincorporatedUnitedStatesTerritory_Class : SubClass UnincorporatedUnitedStatesTerritory OverseasArea ;

 

-fun PresidentialGovernment : Ind FormOfGovernment ;

+  -- UnitaryRule is a FormOfGovernment in which 

+  -- the central government controls affairs at all levels, including the local 

+  -- level.

+  fun UnitaryRule : Ind FormOfGovernment ;

 

-fun PrimeMinister : Ind Position ;

+  -- 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 PrincipalOfficer : Ind ForeignServicePosition ;

+  fun UnitedNationsCenterForHumanSettlements : Ind OrganizationOfNations ;

 

-fun PromotePrivateEnterprise : Ind AreaOfConcern ;

+  fun UnitedNationsChildrensFund : Ind OrganizationOfNations ;

 

-fun PromoteRegionalStability : Ind TransnationalIssue ;

+  fun UnitedNationsCivilianPoliceMissionInHaiti : Ind OrganizationOfNations ;

 

-fun PromoteSustainableDevelopment : Ind AreaOfConcern ;

+  -- 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 PromoteTradeUnionism : Ind AreaOfConcern ;

+  fun UnitedNationsConferenceOnTradeAndDevelopment : Ind OrganizationOfNations ;

 

-fun PromotionOfFreeTrade : Ind TransnationalIssue ;

+  fun UnitedNationsDevelopmentProgram : Ind OrganizationOfNations ;

 

-fun PromotionOfPrivateEnterprise : Ind AreaOfConcern ;

+  -- The UnitedNationsDisengagementObserverForce was formed by the UN Security 

+  -- Council in order to observe the 1973 Arab_Israeli cease_fire.

+  fun UnitedNationsDisengagementObserverForce : Ind OrganizationOfNations ;

 

-fun PromotionOfTourism : Ind AreaOfConcern ;

+  fun UnitedNationsEducationalScientificAndCulturalOrganization : Ind OrganizationOfNations ;

 

-fun PromotionOfTradeAndInvestment : Ind TransnationalIssue ;

+  fun UnitedNationsEnvironmentProgram : Ind OrganizationOfNations ;

 

-fun PublicHealthConcern : Ind AreaOfConcern ;

+  -- The UnitedNationsGeneralAssembly is the primary deliberative body of the UnitedNations.

+  fun UnitedNationsGeneralAssembly : Ind OrganizationOfNations ;

 

-fun Queen : Ind Position ;

+  fun UnitedNationsHighCommissionerForHumanRights : Ind InternationalOrganization ;

 

-fun ReducePoverty : Ind AreaOfConcern ;

+  fun UnitedNationsHighCommissionerForRefugees : Ind OrganizationOfNations ;

 

-fun ReducingCrime : Ind AreaOfConcern ;

+  fun UnitedNationsIndustrialDevelopmentOrganization : Ind OrganizationOfNations ;

 

-fun RefugeeAssistance : Ind (both TransnationalIssue AreaOfConcern) ;

+  fun UnitedNationsInstituteForDisarmamentResearch : Ind InternationalOrganization ;

 

--- 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 ;

+  fun UnitedNationsInstituteForTrainingAndResearch : Ind OrganizationOfNations ;

 

--- (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 UnitedNationsInterimAdministrationMissionInKosovo : Ind InternationalOrganization ;

 

+  fun UnitedNationsInterimAdminstrationMissionInKosovo : Ind OrganizationOfNations ;

 

-fun RegionalMember : Ind MemberStatus ;

+  fun UnitedNationsInterimForceInLebanon : Ind OrganizationOfNations ;

 

-fun RegionalSecurity : Ind AreaOfConcern ;

+  -- 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 ReproductiveHealthAndFamilyPlannning : Ind AreaOfConcern ;

+  fun UnitedNationsIraqKuwaitBoundaryDemarcationCommission : Ind InternationalOrganization ;

 

--- 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 ;

+  fun UnitedNationsIraqKuwaitObservationMission : Ind OrganizationOfNations ;

 

+  fun UnitedNationsMilitaryObserverGroupInIndiaAndPakistan : Ind OrganizationOfNations ;

 

--- 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 ;

+  fun UnitedNationsMissionForTheReferendumInWesternSahara : Ind OrganizationOfNations ;

 

--- The RioGroup was the result of fusing the 

--- Contadora Group and the Lima (or Support) Group.

-fun RioGroup : Ind OrganizationOfNations ;

+  fun UnitedNationsMissionInBosniaAndHerzegovina : Ind OrganizationOfNations ;

 

+  fun UnitedNationsMissionInEthiopiaAndEritrea : 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 UnitedNationsMissionInSierraLeone : Ind OrganizationOfNations ;

 

+  fun UnitedNationsMissionOfObserversInPrevlaka : Ind OrganizationOfNations ;

 

-fun ScientificCooperation : Ind AreaOfConcern ;

+  fun UnitedNationsMissionOfObserversInTajikistan : Ind OrganizationOfNations ;

 

-fun SelfGoverningTerritory : Class ;

-fun SelfGoverningTerritory_Class : SubClass SelfGoverningTerritory GeopoliticalArea ;

-fun SignatoryMember : Ind MemberStatus ;

+  fun UnitedNationsMonitoringAndVerificationCommission : Ind OrganizationOfNations ;

 

-fun SocialCooperation : Ind TransnationalIssue ;

+  fun UnitedNationsObserverMissionInGeorgia : Ind OrganizationOfNations ;

 

-fun SocialDevelopment : Ind AreaOfConcern ;

+  fun UnitedNationsOfficeOfProjectServices : Ind InternationalOrganization ;

 

-fun SocioeconomicResearch : Ind AreaOfConcern ;

+  fun UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo : Ind OrganizationOfNations ;

 

-fun SouthAsianAssociationForRegionalCooperation : Ind OrganizationOfNations ;

+  fun UnitedNationsPeaceKeepingForceInCyprus : Ind OrganizationOfNations ;

 

-fun SouthPacificRegionalTradeAndEconomicCooperationAgreement : Ind OrganizationOfNations ;

+  fun UnitedNationsPopulationFund : Ind OrganizationOfNations ;

 

-fun SouthernAfricanCustomsUnion : Ind OrganizationOfNations ;

+  fun UnitedNationsPreventiveDeploymentForce : Ind OrganizationOfNations ;

 

-fun SouthernAfricanDevelopmentCommunity : Ind OrganizationOfNations ;

+  fun UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast : Ind OrganizationOfNations ;

 

-fun SouthernConeCommonMarket : 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 ;

 

-fun SpaceResearchAndTechnology : Ind AreaOfConcern ;

+  -- 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 Spokesperson : Ind Position ;

+  fun UnitedNationsSecurityCouncil : Ind OrganizationOfNations ;

 

-fun StatisticalCommission : Ind InternationalOrganization ;

+  fun UnitedNationsSystemStaffCollege : Ind OrganizationOfNations ;

 

-fun SubbureauMember : Ind MemberStatus ;

+  fun UnitedNationsTransitionalAdministrationInEastTimor : Ind OrganizationOfNations ;

 

-fun SubscriberMember : Ind MemberStatus ;

+  fun UnitedNationsTruceSupervisionOrganization : Ind OrganizationOfNations ;

 

--- 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 ;

+  -- 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 ;

 

-fun SupportLawEnforcement : Ind AreaOfConcern ;

+  -- 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 ;

 

--- 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 ;

+  -- Provides services to farmers in the UnitedStates.

+  fun UnitedStatesDepartmentOfAgriculture : Ind GovernmentOrganization ;

 

--- (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 ;

+  -- 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 ;

 

--- SupremeCourtJudge is the Position 

--- of a person who is a JudgeAtLaw on some SupremeCourt.

-fun SupremeCourtJudge : Ind Position ;

+  -- 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 ;

 

-fun SuspendedMember : Ind MemberStatus ;

+  -- The UniversalPostalUnion became 

+  -- affiliated with the UnitedNations on November 15, 1947.

+  fun UniversalPostalUnion : Ind OrganizationOfNations ;

 

-fun TechnologyCooperation : Ind AreaOfConcern ;

+  -- UniversalSuffrageLaw is a law that 

+  -- enfranchises all citizens of a country who have achieved the applicable 

+  -- age of maturity (suffrageAgeMinumum).

+  fun UniversalSuffrageLaw : Ind SuffrageLaw ;

 

--- TheocraticGovernment is the 

--- attribute of a government that bases its authority on Religion.

-fun TheocraticGovernment : Ind FormOfGovernment ;

+  fun ViceChairman : Ind Position ;

 

+  fun VicePresident : Ind Position ;

 

-fun TheocraticRepublic : Ind FormOfGovernment ;

+  fun VoterAgeRequirement : Class ;

+  fun VoterAgeRequirement_Class : SubClass VoterAgeRequirement SuffrageLaw ;

 

-fun TransitionalAdministration : Ind (both AreaOfConcern TransnationalIssue) ;

+  fun VoterCitizenshipRequirement : Ind SuffrageLaw ;

 

--- 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 ;

+  -- (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) ;

 

--- 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 WarsawPact : Ind OrganizationOfNations ;

 

-fun TransportationCoordination : Ind AreaOfConcern ;

+  fun WassenaarArrangement : Ind OrganizationOfNations ;

 

--- 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) ;

+  fun WeaponsInspection : Ind (both AreaOfConcern TransnationalIssue) ;

 

+  fun WestAfricanDevelopmentBank : Ind OrganizationOfNations ;

 

--- 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 WestAfricanEconomicAndMonetaryUnion : Ind OrganizationOfNations ;

 

+  fun WesternEuropeanUnion : Ind OrganizationOfNations ;

 

-fun UnicameralLegislature : Ind FormOfGovernment ;

+  fun WorldBankGroup : Ind OrganizationOfNations ;

 

-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 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 ;

 

--- 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 WorldFederationOfTradeUnions : Ind OrganizationOfNations ;

 

+  fun WorldFoodProgram : Ind OrganizationOfNations ;

 

-fun UnitedNationsCenterForHumanSettlements : Ind OrganizationOfNations ;

+  fun WorldHealthOrganization : Ind OrganizationOfNations ;

 

-fun UnitedNationsChildrensFund : Ind OrganizationOfNations ;

+  fun WorldIntellectualPropertyOrganization : Ind OrganizationOfNations ;

 

-fun UnitedNationsCivilianPoliceMissionInHaiti : Ind OrganizationOfNations ;

+  fun WorldLaborIssues : Ind (both AreaOfConcern TransnationalIssue) ;

 

--- 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 WorldMeteorologicalOrganization : Ind OrganizationOfNations ;

 

+  fun WorldTourismOrganization : Ind OrganizationOfNations ;

 

-fun UnitedNationsConferenceOnTradeAndDevelopment : Ind OrganizationOfNations ;

+  -- The WorldTradeOrganization 

+  -- succeeded the General Agreement on Tariff and Trade (GATT).

+  fun WorldTradeOrganization : Ind OrganizationOfNations ;

 

-fun UnitedNationsDevelopmentProgram : Ind OrganizationOfNations ;

+  -- The ZanggerCommittee was established during the 1970s.

+  fun ZanggerCommittee : 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 ;

+  -- (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 ;

 

-fun UnitedNationsEducationalScientificAndCulturalOrganization : Ind OrganizationOfNations ;

+  -- (agentOperatesInArea ?AGENT ?AREA) 

+  -- means that the individual or Organization ?AGENT operates in the 

+  -- GeographicArea ?AREA.

+  fun agentOperatesInArea : El Agent -> El GeographicArea -> Formula ;

 

-fun UnitedNationsEnvironmentProgram : Ind OrganizationOfNations ;

+  -- (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 ;

 

--- The 

--- UnitedNationsGeneralAssembly is the primary deliberative body of the 

--- UnitedNations.

-fun UnitedNationsGeneralAssembly : Ind OrganizationOfNations ;

+  -- (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 ;

 

-fun UnitedNationsHighCommissionerForHumanRights : Ind InternationalOrganization ;

+  -- (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 ;

 

-fun UnitedNationsHighCommissionerForRefugees : Ind OrganizationOfNations ;

+  -- (aimOfOrganization ?GROUP ?DESCRIPTION) means that the Organization 

+  -- ?GROUP has the purpose ?DESCRIPTION, formulated as a quoted text.

+  fun aimOfOrganization : El Organization -> El SymbolicString -> Formula ;

 

-fun UnitedNationsIndustrialDevelopmentOrganization : Ind OrganizationOfNations ;

+  -- (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 ;

 

-fun UnitedNationsInstituteForDisarmamentResearch : Ind InternationalOrganization ;

+  -- (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 ;

 

-fun UnitedNationsInstituteForTrainingAndResearch : Ind OrganizationOfNations ;

+  -- (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 ;

 

-fun UnitedNationsInterimAdministrationMissionInKosovo : Ind InternationalOrganization ;

+  -- (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 ;

 

-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 ;

 }