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

1 files changed, 395 insertions, 429 deletions

diff --git a/examples/SUMO/Military.gf b/examples/SUMO/Military.gf
index 9e938c7fd..7f0f5d03c 100644
--- a/examples/SUMO/Military.gf
+++ b/examples/SUMO/Military.gf
@@ -1,431 +1,397 @@
-abstract Military = open Merge, Mid_level_ontology in {

-

-

-

-

---  A modern nation_states' air forces 

--- (the whole branch of service) and not a subdivision thereof.

-fun AirForce_BranchOfService : Class ;

-fun AirForce_BranchOfService_Class : SubClass AirForce_BranchOfService MilitaryOrganization ;

-

--- (AvailableForMilitaryServiceMaleFn

---  ?AREA) denotes the Integer that represents the count of the population of 

--- males of military age in the GeopoliticalArea ?AREA.

-fun AvailableForMilitaryServiceMaleFn : El GeopoliticalArea -> Ind Integer ;

-

-

--- In military terminology, a battalion consists of 

--- two to six companies typically commanded by a lieutenant colonel. The 

--- nomenclature varies by nationality and by branch of arms, e.g. some 

--- armies organize their infantry into battalions, but call battalion_sized 

--- cavalry, reconnaissance, or tank units a squadron or a regiment instead. 

--- There may even be subtle distinctions within a nation's branches of arms, 

--- such a distinction between a tank battalion and an armored squadron, 

--- depending on how the unit's operational role is perceived to fit into the 

--- army's historical organization. A battalion is potentially the smallest 

--- military unit capable of independent operations (i.e. not attached to a 

--- higher command), but is usually part of a regiment or a brigade or both, 

--- depending on the organizational model used by that service. Battalions 

--- are ordinarily homogeneous with respect to type (e.g. an infantry 

--- battalion or a tank battalion), although there are occasional 

--- exceptions. (from Wikipedia)

-fun Battalion : Class ;

-fun Battalion_Class : SubClass Battalion MilitaryUnit ;

-

--- Brigade is a term from military science which 

--- refers to a group of several battalions (typically two to four), and 

--- directly attached supporting units (normally including at least an 

--- artillery battery and additional logistic support). A brigade is smaller 

--- than a division and roughly equal to or a little larger than a regiment. 

--- Strength typically ranges between 1,500 and 3,500 personnel. (from Wikipedia)

-fun Brigade : Class ;

-fun Brigade_Class : SubClass Brigade MilitaryUnit ;

-

--- In military organizations, an officer 

--- is a member of the service who holds a position of responsibility. 

--- Commissioned officers derive authority directly from a sovereign power 

--- and, as such, hold a commission charging them with the duties and 

--- responsibilities of a specific office or position. Commissioned officers 

--- are typically the only persons in a military able to exercise command 

--- (according to the most technical definition of the word) over a military 

--- unit. Non_commissioned officers in positions of authority can be said to 

--- have control or charge rather than command per se, although the use of the 

--- word command to describe any use of authority is widespread and often 

--- official. (from Wikipedia)

-fun CommissionedOfficerRank : Class ;

-fun CommissionedOfficerRank_Class : SubClass CommissionedOfficerRank MilitaryRank ;

-

--- The ranks of junior officers are the 

--- three or four lowest ranks of officers, possibily complicated by the 

--- status of trainee officers. Their units are generally not expected to 

--- operate independently for any significant length of time. Typical ranks 

--- for this level are captains, who typically lead companies and smaller 

--- units Lieutenant. Company grade officers will also fill staff roles in 

--- some units. (from Wikipedia)

-fun CompanyGradeRank : Class ;

-fun CompanyGradeRank_Class : SubClass CompanyGradeRank CommissionedOfficerRank ;

-

--- A company is a military unit, typically 

--- consisting of 100_200 soldiers. Most companies are formed of three or 

--- four platoons although the exact number may vary by country, unit type and 

--- structure. (from Wikipedia)

-fun Company_Military : Class ;

-fun Company_Military_Class : SubClass Company_Military MilitaryUnit ;

-

--- Soldiers who are enlisted in some 

--- military and have no command.

-fun EnlistedSoldierRank : Class ;

-fun EnlistedSoldierRank_Class : SubClass EnlistedSoldierRank MilitaryRank ;

-

--- Senior officers who typically 

--- command units that can be expected to operate independently for short 

--- periods of time (battalions and regiments, large warships). Field Grade 

--- officers also commonly fill staff positions. (from Wikipedia)

-fun FieldGradeOfficerRank : Class ;

-fun FieldGradeOfficerRank_Class : SubClass FieldGradeOfficerRank CommissionedOfficerRank ;

-

--- (FitForMilitaryServiceMaleFn

---  ?AREA) denotes the Integer that represents the count of the population of 

--- males of military age in the GeopoliticalArea ?AREA that is also capable

--- of being a member of the military.

-fun FitForMilitaryServiceMaleFn : El GeopoliticalArea -> Ind Integer ;

-

-

--- Admirals (Navy), Generals (Army) and 

--- Marshals who typically command units that are expected to operate 

--- independently for extended periods of time (brigades and larger, fleets of 

--- ships). (from Wikipedia)

-fun FlagOfficerRank : Class ;

-fun FlagOfficerRank_Class : SubClass FlagOfficerRank CommissionedOfficerRank ;

-

--- Military operations conducted to 

--- distribute food to the friendly force. (from FM 100_40)

-fun FoodDistributionOperation : Class ;

-fun FoodDistributionOperation_Class : SubClass FoodDistributionOperation (both Getting (both Giving MilitaryOperation)) ;

-

-

--- A MilitaryUnit composed primarily of Soldiers 

--- who fight on foot, i.e. without the use of heavy artillery.

-fun InfantryUnit : Class ;

-fun InfantryUnit_Class : SubClass InfantryUnit MilitaryUnit ;

-

--- Ranks with grade E5 or E6.

-fun JuniorNCORank : Class ;

-fun JuniorNCORank_Class : SubClass JuniorNCORank NonCommissionedOfficerRank ;

-

--- Modern nation_states' marine units (the 

--- whole branch of service) and not a subdivision thereof.

-fun Marines_BranchOfService : Class ;

-fun Marines_BranchOfService_Class : SubClass Marines_BranchOfService MilitaryOrganization ;

-

--- A Convoy of MilitaryVehicles, travelling to the same 

--- at least intermediate destination, in relatively close proximity.

-fun MilitaryConvoy : Class ;

-fun MilitaryConvoy_Class : SubClass MilitaryConvoy Convoy ;

-

--- Trucks used by a military to transport food.

-fun MilitaryFoodTruck : Class ;

-fun MilitaryFoodTruck_Class : SubClass MilitaryFoodTruck MilitarySupportVehicle ;

-

--- A MilitaryOperation is distinguished 

--- from the broader class of MilitaryProcess in that it is planned in 

--- advance.

-fun MilitaryOperation : Class ;

-fun MilitaryOperation_Class : SubClass MilitaryOperation MilitaryProcess ;

-

--- Military platforms. These are usually mobile 

--- entities which can carry military equipment such as Weapons and 

--- communications equipment. Often, as with a tank outfitted with a gun, a 

--- MilitaryPlatform carrying some Weapon comprises a WeaponSystem.

-fun MilitaryPlatform : Class ;

-fun MilitaryPlatform_Class : SubClass MilitaryPlatform TransportationDevice ;

-

--- The class of Positions in a Military. Rank

--- is usually commensurate with degrees of power, prestige and

--- pay.

-fun MilitaryRank : Class ;

-fun MilitaryRank_Class : SubClass MilitaryRank SkilledOccupation ;

-

--- Trucks used by a military to transport supplies.

-fun MilitarySupplyTruck : Class ;

-fun MilitarySupplyTruck_Class : SubClass MilitarySupplyTruck (both MilitarySupportVehicle Truck) ;

-

-

--- Vehicles meant to be used for support, rather

--- than combat in a military context.

-fun MilitarySupportVehicle : Class ;

-fun MilitarySupportVehicle_Class : SubClass MilitarySupportVehicle MilitaryVehicle ;

-

-fun MilitaryVehicle_MilitaryPlatform : SubClass MilitaryVehicle MilitaryPlatform ;

-

--- Modern nation_states' naval air 

--- forces (the whole branch of service) and not a subdivision thereof.

-fun NavalAirForce_BranchOfService : Class ;

-fun NavalAirForce_BranchOfService_Class : SubClass NavalAirForce_BranchOfService MilitaryOrganization ;

-

--- MilitaryOrganizations that are sea forces.

-fun Navy_BranchOfService : Class ;

-fun Navy_BranchOfService_Class : SubClass Navy_BranchOfService MilitaryOrganization ;

-

--- Non_commissioned officers, or NCOs, in 

--- positions of authority can be said to have control or charge rather than 

--- command per se, although the use of the word command to describe any use 

--- of authority is widespread and often official. This is distinguished from 

--- the official responsibility for command entrusted to a 

--- CommissionedOfficer. NCOs are enlisted positions. (from Wikipedia)

-fun NonCommissionedOfficerRank : Class ;

-fun NonCommissionedOfficerRank_Class : SubClass NonCommissionedOfficerRank EnlistedSoldierRank ;

-

--- A MilitaryUnit, the purpose of which is

--- to prevent violent actions but providing deterrent to such actions through

--- the threat of overwhelming retaliation.

-fun PeacekeepingUnit : Class ;

-fun PeacekeepingUnit_Class : SubClass PeacekeepingUnit MilitaryUnit ;

-

--- Platoon is a term from military science. In an 

--- army, a platoon is a unit of thirty to forty soldiers typically commanded 

--- by a Lieutenant assisted by a non_commissioned officer. A platoon is 

--- formed by at least two squads (usually 3 or 4) and is smaller than a 

--- company (typically there are 3 or 4 platoons per company). Most platoons 

--- are infantry platoons, some carry other designations such as mortar or 

--- heavy weapons platoons. A platoon is the smallest military unit led by a 

--- commissioned officer. (from Wikipedia)

-fun Platoon : Class ;

-fun Platoon_Class : SubClass Platoon MilitaryUnit ;

-

--- The lowest group of ranks in the military

--- (Grade E1 through E4). These Soldiers usually have no authority

--- based on their ranks.

-fun PrivateRank : Class ;

-fun PrivateRank_Class : SubClass PrivateRank EnlistedSoldierRank ;

-

--- (equal 

--- (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR) ?COUNT) means that in the

--- GeopoliticalArea ?AREA, there are ?COUNT number of male individuals who for 

--- that year ?YEAR come to be of militaryAge.

-fun ReachingMilitaryAgeAnnuallyMaleFn : El GeopoliticalArea -> El Year -> Ind Integer ;

-

+abstract Military = MidLevelOntology ** {

+

+  --  A modern nation_states' air forces 

+  -- (the whole branch of service) and not a subdivision thereof.

+  fun AirForce_BranchOfService : Class ;

+  fun AirForce_BranchOfService_Class : SubClass AirForce_BranchOfService MilitaryOrganization ;

+

+  -- (AvailableForMilitaryServiceMaleFn

+  --  ?AREA) denotes the Integer that represents the count of the population of 

+  -- males of military age in the GeopoliticalArea ?AREA.

+  fun AvailableForMilitaryServiceMaleFn : El GeopoliticalArea -> Ind Integer ;

+

+  -- In military terminology, a battalion consists of 

+  -- two to six companies typically commanded by a lieutenant colonel. The 

+  -- nomenclature varies by nationality and by branch of arms, e.g. some 

+  -- armies organize their infantry into battalions, but call battalion_sized 

+  -- cavalry, reconnaissance, or tank units a squadron or a regiment instead. 

+  -- There may even be subtle distinctions within a nation's branches of arms, 

+  -- such a distinction between a tank battalion and an armored squadron, 

+  -- depending on how the unit's operational role is perceived to fit into the 

+  -- army's historical organization. A battalion is potentially the smallest 

+  -- military unit capable of independent operations (i.e. not attached to a 

+  -- higher command), but is usually part of a regiment or a brigade or both, 

+  -- depending on the organizational model used by that service. Battalions 

+  -- are ordinarily homogeneous with respect to type (e.g. an infantry 

+  -- battalion or a tank battalion), although there are occasional 

+  -- exceptions. (from Wikipedia)

+  fun Battalion : Class ;

+  fun Battalion_Class : SubClass Battalion MilitaryUnit ;

+

+  -- Brigade is a term from military science which 

+  -- refers to a group of several battalions (typically two to four), and 

+  -- directly attached supporting units (normally including at least an 

+  -- artillery battery and additional logistic support). A brigade is smaller 

+  -- than a division and roughly equal to or a little larger than a regiment. 

+  -- Strength typically ranges between 1,500 and 3,500 personnel. (from Wikipedia)

+  fun Brigade : Class ;

+  fun Brigade_Class : SubClass Brigade MilitaryUnit ;

+

+  -- In military organizations, an officer 

+  -- is a member of the service who holds a position of responsibility. 

+  -- Commissioned officers derive authority directly from a sovereign power 

+  -- and, as such, hold a commission charging them with the duties and 

+  -- responsibilities of a specific office or position. Commissioned officers 

+  -- are typically the only persons in a military able to exercise command 

+  -- (according to the most technical definition of the word) over a military 

+  -- unit. Non_commissioned officers in positions of authority can be said to 

+  -- have control or charge rather than command per se, although the use of the 

+  -- word command to describe any use of authority is widespread and often 

+  -- official. (from Wikipedia)

+  fun CommissionedOfficerRank : Class ;

+  fun CommissionedOfficerRank_Class : SubClass CommissionedOfficerRank MilitaryRank ;

+

+  -- The ranks of junior officers are the 

+  -- three or four lowest ranks of officers, possibily complicated by the 

+  -- status of trainee officers. Their units are generally not expected to 

+  -- operate independently for any significant length of time. Typical ranks 

+  -- for this level are captains, who typically lead companies and smaller 

+  -- units Lieutenant. Company grade officers will also fill staff roles in 

+  -- some units. (from Wikipedia)

+  fun CompanyGradeRank : Class ;

+  fun CompanyGradeRank_Class : SubClass CompanyGradeRank CommissionedOfficerRank ;

+

+  -- A company is a military unit, typically 

+  -- consisting of 100_200 soldiers. Most companies are formed of three or 

+  -- four platoons although the exact number may vary by country, unit type and 

+  -- structure. (from Wikipedia)

+  fun Company_Military : Class ;

+  fun Company_Military_Class : SubClass Company_Military MilitaryUnit ;

+

+  -- Soldiers who are enlisted in some 

+  -- military and have no command.

+  fun EnlistedSoldierRank : Class ;

+  fun EnlistedSoldierRank_Class : SubClass EnlistedSoldierRank MilitaryRank ;

+

+  -- Senior officers who typically 

+  -- command units that can be expected to operate independently for short 

+  -- periods of time (battalions and regiments, large warships). Field Grade 

+  -- officers also commonly fill staff positions. (from Wikipedia)

+  fun FieldGradeOfficerRank : Class ;

+  fun FieldGradeOfficerRank_Class : SubClass FieldGradeOfficerRank CommissionedOfficerRank ;

+

+  -- (FitForMilitaryServiceMaleFn

+  --  ?AREA) denotes the Integer that represents the count of the population of 

+  -- males of military age in the GeopoliticalArea ?AREA that is also capable

+  -- of being a member of the military.

+  fun FitForMilitaryServiceMaleFn : El GeopoliticalArea -> Ind Integer ;

+

+  -- Admirals (Navy), Generals (Army) and 

+  -- Marshals who typically command units that are expected to operate 

+  -- independently for extended periods of time (brigades and larger, fleets of 

+  -- ships). (from Wikipedia)

+  fun FlagOfficerRank : Class ;

+  fun FlagOfficerRank_Class : SubClass FlagOfficerRank CommissionedOfficerRank ;

+

+  -- Military operations conducted to distribute food to the friendly force. (from FM 100_40)

+  fun FoodDistributionOperation : Class ;

+  fun FoodDistributionOperation_Class : SubClass FoodDistributionOperation (both Getting (both Giving MilitaryOperation)) ;

+

+  -- A MilitaryUnit composed primarily of Soldiers 

+  -- who fight on foot, i.e. without the use of heavy artillery.

+  fun InfantryUnit : Class ;

+  fun InfantryUnit_Class : SubClass InfantryUnit MilitaryUnit ;

+

+  -- Ranks with grade E5 or E6.

+  fun JuniorNCORank : Class ;

+  fun JuniorNCORank_Class : SubClass JuniorNCORank NonCommissionedOfficerRank ;

+

+  -- Modern nation_states' marine units (the 

+  -- whole branch of service) and not a subdivision thereof.

+  fun Marines_BranchOfService : Class ;

+  fun Marines_BranchOfService_Class : SubClass Marines_BranchOfService MilitaryOrganization ;

+

+  -- A Convoy of MilitaryVehicles, travelling to the same 

+  -- at least intermediate destination, in relatively close proximity.

+  fun MilitaryConvoy : Class ;

+  fun MilitaryConvoy_Class : SubClass MilitaryConvoy Convoy ;

+

+  -- Trucks used by a military to transport food.

+  fun MilitaryFoodTruck : Class ;

+  fun MilitaryFoodTruck_Class : SubClass MilitaryFoodTruck MilitarySupportVehicle ;

+

+  -- A MilitaryOperation is distinguished 

+  -- from the broader class of MilitaryProcess in that it is planned in 

+  -- advance.

+  fun MilitaryOperation : Class ;

+  fun MilitaryOperation_Class : SubClass MilitaryOperation MilitaryProcess ;

+

+  -- Military platforms. These are usually mobile 

+  -- entities which can carry military equipment such as Weapons and 

+  -- communications equipment. Often, as with a tank outfitted with a gun, a 

+  -- MilitaryPlatform carrying some Weapon comprises a WeaponSystem.

+  fun MilitaryPlatform : Class ;

+  fun MilitaryPlatform_Class : SubClass MilitaryPlatform TransportationDevice ;

+

+  -- The class of Positions in a Military. Rank is usually commensurate

+  -- with degrees of power, prestige and pay.

+  fun MilitaryRank : Class ;

+  fun MilitaryRank_Class : SubClass MilitaryRank SkilledOccupation ;

+

+  -- Trucks used by a military to transport supplies.

+  fun MilitarySupplyTruck : Class ;

+  fun MilitarySupplyTruck_Class : SubClass MilitarySupplyTruck (both MilitarySupportVehicle Truck) ;

+

+  -- Vehicles meant to be used for support, rather

+  -- than combat in a military context.

+  fun MilitarySupportVehicle : Class ;

+  fun MilitarySupportVehicle_Class : SubClass MilitarySupportVehicle MilitaryVehicle ;

+

+  fun MilitaryVehicle_MilitaryPlatform : SubClass MilitaryVehicle MilitaryPlatform ;

+

+  -- Modern nation_states' naval air 

+  -- forces (the whole branch of service) and not a subdivision thereof.

+  fun NavalAirForce_BranchOfService : Class ;

+  fun NavalAirForce_BranchOfService_Class : SubClass NavalAirForce_BranchOfService MilitaryOrganization ;

+

+  -- MilitaryOrganizations that are sea forces.

+  fun Navy_BranchOfService : Class ;

+  fun Navy_BranchOfService_Class : SubClass Navy_BranchOfService MilitaryOrganization ;

+

+  -- Non_commissioned officers, or NCOs, in 

+  -- positions of authority can be said to have control or charge rather than 

+  -- command per se, although the use of the word command to describe any use 

+  -- of authority is widespread and often official. This is distinguished from 

+  -- the official responsibility for command entrusted to a 

+  -- CommissionedOfficer. NCOs are enlisted positions. (from Wikipedia)

+  fun NonCommissionedOfficerRank : Class ;

+  fun NonCommissionedOfficerRank_Class : SubClass NonCommissionedOfficerRank EnlistedSoldierRank ;

+

+  -- A MilitaryUnit, the purpose of which is

+  -- to prevent violent actions but providing deterrent to such actions through

+  -- the threat of overwhelming retaliation.

+  fun PeacekeepingUnit : Class ;

+  fun PeacekeepingUnit_Class : SubClass PeacekeepingUnit MilitaryUnit ;

+

+  -- Platoon is a term from military science. In an 

+  -- army, a platoon is a unit of thirty to forty soldiers typically commanded 

+  -- by a Lieutenant assisted by a non_commissioned officer. A platoon is 

+  -- formed by at least two squads (usually 3 or 4) and is smaller than a 

+  -- company (typically there are 3 or 4 platoons per company). Most platoons 

+  -- are infantry platoons, some carry other designations such as mortar or 

+  -- heavy weapons platoons. A platoon is the smallest military unit led by a 

+  -- commissioned officer. (from Wikipedia)

+  fun Platoon : Class ;

+  fun Platoon_Class : SubClass Platoon MilitaryUnit ;

+

+  -- The lowest group of ranks in the military

+  -- (Grade E1 through E4). These Soldiers usually have no authority

+  -- based on their ranks.

+  fun PrivateRank : Class ;

+  fun PrivateRank_Class : SubClass PrivateRank EnlistedSoldierRank ;

+

+  -- (equal (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR) ?COUNT) means that in the

+  -- GeopoliticalArea ?AREA, there are ?COUNT number of male individuals who for 

+  -- that year ?YEAR come to be of militaryAge.

+  fun ReachingMilitaryAgeAnnuallyMaleFn : El GeopoliticalArea -> El Year -> Ind Integer ;

+

+  -- Military operations conducted to protect the friendly 

+  -- force by providing early and accurate warning of enemy operations, to provide the force 

+  -- being protected with time and maneuver space within which to react to the enemy, and to 

+  -- develop the situation to allow the commander to effectively use the protected force. 

+  -- Security operations orient on the force or facility to be protected, rather than on the 

+  -- enemy. (from FM 100_40).

+  fun SecurityOperation : Class ;

+  fun SecurityOperation_Class : SubClass SecurityOperation MilitaryOperation ;

+

+  -- Ranks with grade E7 through E9.

+  fun SeniorNCORank : Class ;

+  fun SeniorNCORank_Class : SubClass SeniorNCORank NonCommissionedOfficerRank ;

+

+  -- Any Soldier who is tasked with carrying the colors of his/her unit in Battles and parades.

+  fun StandardBearer : Class ;

+  fun StandardBearer_Class : SubClass StandardBearer Soldier ;

+

+  -- Any Soldier who served during the American Civil War

+  fun USCivilWarSoldier : Ind Soldier ;

+

+  -- The class of Positions in the USMilitary.

+  fun USMilitaryRank : Class ;

+  fun USMilitaryRank_Class : SubClass USMilitaryRank MilitaryRank ;

+

+  -- A USMilitaryRank that is variously called

+  -- Airman Basic in the Air Force, Private in the USArmy, 

+  -- Private in the USMarineCorps, and Seaman Recruit in the USNavy.

+  fun USMilitaryRankE1 : Ind (both PrivateRank USMilitaryRank) ;

+

+  -- A USMilitaryRank that is variously called

+  -- Airman in the Air Force, Private in the USArmy, 

+  -- Private First Class in the USMarineCorps, and Seaman Apprentice in the USNavy.

+  fun USMilitaryRankE2 : Ind (both PrivateRank USMilitaryRank) ;

+

+  -- A USMilitaryRank that is variously called

+  -- Airman First Class in the Air Force, Private First Class in the USArmy, 

+  -- Lance Corporal in the USMarineCorps, and Seaman in the USNavy.

+  fun USMilitaryRankE3 : Ind (both PrivateRank USMilitaryRank) ;

+

+  -- A USMilitaryRank that is variously called

+  -- Senior Airman in the Air Force, Specialist or Corporal in the USArmy, 

+  -- Corporal in the USMarineCorps, and Petty Officer 3rd Class in the USNavy.

+  fun USMilitaryRankE4 : Ind (both PrivateRank USMilitaryRank) ;

+

+  -- A USMilitaryRank that is variously called

+  -- Staff Sergeant in the Air Force, Sergeant in the USArmy, 

+  -- Sergeant in the USMarineCorps, and Petty Officer 2nd Class in the USNavy.

+  fun USMilitaryRankE5 : Ind (both JuniorNCORank USMilitaryRank) ;

+

+  -- A USMilitaryRank that is variously called

+  -- Technical Sergeant in the Air Force, Staff Sergeant in the USArmy, 

+  -- Staff Sergeant in the USMarineCorps, and Petty Officer 1st Class in the USNavy.

+  fun USMilitaryRankE6 : Ind (both JuniorNCORank USMilitaryRank) ;

+

+  -- A USMilitaryRank that is variously called

+  -- Master Sergeant in the Air Force, Sergeant First Class in the USArmy, 

+  -- Gunnery Sergeant in the USMarineCorps, and Chief Petty Officer in the USNavy.

+  fun USMilitaryRankE7 : Ind (both SeniorNCORank USMilitaryRank) ;

+

+  -- A USMilitaryRank that is variously called

+  -- Senior Master Sergeant in the Air Force, Master Sergeant or First Sergeant in the USArmy, 

+  -- Master Sergeant or First Sergeant in the USMarineCorps, and Senior Chief Petty Officer in the USNavy.

+  fun USMilitaryRankE8 : Ind (both SeniorNCORank USMilitaryRank) ;

+

+  -- A USMilitaryRank that is variously 

+  -- called Chief Master Sergeant or Command Chief Master Sergeant or Chief 

+  -- Master Sergeant of the Air Force in the Air Force, Sergeant Major or 

+  -- Command Sergeant Major or Sergeant Major of the Army in the USArmy, 

+  -- Master Gunnery Sergeant or Sergeant Major or Sergeant Major of the Marine 

+  -- Corps in the USMarineCorps, and Master Chief Petty Officer or Command 

+  -- Master Chief Petty Officer or Master Chief Petty Officer of the Navy in 

+  -- the USNavy.

+  fun USMilitaryRankE9 : Ind (both SeniorNCORank USMilitaryRank) ;

+

+  -- A special USMilitaryRank above E9 that marks usually the end of

+  -- carrier of non_commissioned officers.

+  fun USMilitaryRankE9special : Ind (both USMilitaryRank SeniorNCORank) ;

+

+  fun USMilitaryRankO1 : Ind (both CompanyGradeRank USMilitaryRank) ;

+

+  fun USMilitaryRankO10 : Ind (both FlagOfficerRank USMilitaryRank) ;

+

+  fun USMilitaryRankO2 : Ind (both CompanyGradeRank USMilitaryRank) ;

+

+  fun USMilitaryRankO3 : Ind (both CompanyGradeRank USMilitaryRank) ;

+

+  fun USMilitaryRankO4 : Ind (both FieldGradeOfficerRank USMilitaryRank) ;

+

+  fun USMilitaryRankO5 : Ind (both FieldGradeOfficerRank USMilitaryRank) ;

+

+  fun USMilitaryRankO6 : Ind (both FieldGradeOfficerRank USMilitaryRank) ;

+

+  fun USMilitaryRankO7 : Ind (both FlagOfficerRank USMilitaryRank) ;

+

+  fun USMilitaryRankO8 : Ind (both FlagOfficerRank USMilitaryRank) ;

+

+  fun USMilitaryRankO9 : Ind (both FlagOfficerRank USMilitaryRank) ;

+

+  fun USMilitaryRankSpecial : Ind (both FlagOfficerRank USMilitaryRank) ;

+

+  fun USMilitaryRankWO1 : Ind (both USWarrantOfficerRank USMilitaryRank) ;

+

+  fun USMilitaryRankWO2 : Ind (both USWarrantOfficerRank (both USMilitaryRank CommissionedOfficerRank)) ;

+

+  fun USMilitaryRankWO3 : Ind (both USWarrantOfficerRank (both USMilitaryRank CommissionedOfficerRank)) ;

+

+  fun USMilitaryRankWO4 : Ind (both USWarrantOfficerRank (both USMilitaryRank CommissionedOfficerRank)) ;

+

+  fun USMilitaryRankWO5 : Ind (both USWarrantOfficerRank (both USMilitaryRank CommissionedOfficerRank)) ;

+

+  -- Any Soldier who served

+  -- during the American Revolutionary War

+  fun USRevolutionaryWarSoldier : Ind Soldier ;

+

+  -- In the United States military, a 

+  -- warrant officer was originally, and strictly, a highly skilled, 

+  -- single_track specialty officer. But as many chief warrant officers assume 

+  -- positions as officer in charge or department head, along with the high 

+  -- number of bachelor's and master’s degrees held within the community, their 

+  -- contribution and expertise as a community is ever_increasing. There are 

+  -- no 'warrant officers' per se in the U.S. Navy, but rather the term 'chief 

+  -- warrant officer' is correct. In the U.S. Navy, a sailor must be in one 

+  -- of the top three enlisted ranks to be eligible to become a Chief Warrant 

+  -- Officer. In the U.S. Army, a person can progress to the warrant officer 

+  -- rank at a grade lower than E_7 thus having a longer career and greater 

+  -- opportunity to serve and grow. In the U.S. Marine Corps, after serving 

+  -- at least eight years of enlisted service, and reaching the grade of E_5 

+  -- (sergeant), an enlisted Marine can apply for the Warrant Officer program. 

+  -- Upon the initial appointment to WO1 a warrant is given by the secretary of 

+  -- the service, and upon promotion to chief warrant officer (CW2 and above) 

+  -- they are commissioned by the President of the United States, take the same 

+  -- oath and receive the same commission and charges as commissioned officers, 

+  -- thus deriving their authority from the same source.

+  fun USWarrantOfficerRank : Class ;

+  fun USWarrantOfficerRank_Class : SubClass USWarrantOfficerRank CommissionedOfficerRank ;

+

+  -- (betweenOnPath ?OBJ1 ?OBJ2 ?OBJ3 ?PATH) 

+  -- means that ?OBJ2 is spatially located between ?OBJ1 and ?OBJ3 on the path 

+  -- ?PATH. Note that this is a more specialized relation of between since any 

+  -- object that is between others with respect to a particular path is also 

+  -- simply between them.

+  fun betweenOnPath : El Object -> El Object -> El Object -> Formula ;

+

+  -- The typical MilitaryRank of

+  -- the leader of an instance of the given MilitaryEchelon.

+  fun commandRankOfEchelon: Desc MilitaryUnit -> El MilitaryRank -> Formula ;

+

+  -- (fitForMilitaryService ?AGENT ?PROCESS)

+  -- means that ?AGENT is capable of carrying out the MilitaryProcess ?PROCESS as

+  -- the agent of the ?PROCESS.

+  fun fitForMilitaryService: El CognitiveAgent -> Desc MilitaryProcess -> Formula ;

+

+  -- (militaryAge ?AREA ?AGE) means that in the 

+  -- GeopoliticalArea ?AREA, a person must be ?AGE or older in order to be a

+  -- member of the military of the ?AREA.

+  fun militaryAge : El GeopoliticalArea -> El TimeDuration -> Formula ;

+

+  -- (militaryExpendituresFractionOfGDP ?AREA ?FRACTION) means 

+  -- that the estimated military spending of the GeopoliticalArea ?AREA is 

+  -- ?FRACTION of the gross domestic product (GDP) of that area.

+  fun militaryExpendituresFractionOfGDP : El GeopoliticalArea -> El RationalNumber -> Formula ;

+

+  -- (militaryExpendituresFractionOfGDPInPeriod ?AREA ?FRACTION ?PERIOD) 

+  -- means that the estimated military spending of the GeopoliticalArea ?AREA 

+  -- was ?FRACTION of the gross domestic product (GDP) of that area during the

+  -- TimeInterval indicated by ?PERIOD.

+  fun militaryExpendituresFractionOfGDPInPeriod : El GeopoliticalArea -> El RationalNumber -> El TimeInterval -> Formula ;

+

+  -- (militaryExpendituresInUSDollars ?AREA ?AMOUNT) means that the 

+  -- estimated military spending of the GeopoliticalArea ?AREA is ?AMOUNT 

+  -- in UnitedStatesDollars. Note: This predicate was created to represent 

+  -- data from the CIA World Fact Book, which calculates ?AMOUNT by multiplying 

+  -- estimated percentage of ?AREA's budget spent on defense by its gross 

+  -- domestic product (GDP) expressed in U.S. dollars. Note that this GDP is 

+  -- calculated by the exchange rate method rather than by 

+  -- PPPBasedEconomicValuation. Military expenditures data is approximate.

+  fun militaryExpendituresInUSDollars : El GeopoliticalArea -> El CurrencyMeasure -> Formula ;

+

+  -- (militaryExpendituresInUSDollarsInPeriod ?AREA ?AMOUNT ?PERIOD) means 

+  -- that the estimated military spending of the GeopoliticalArea ?AREA was 

+  -- ?AMOUNT in UnitedStatesDollars during the TimeInterval indicated by 

+  -- ?PERIOD. Note: This predicate was created to represent data from the CIA 

+  -- World Fact Book, which calculates ?AMOUNT by multiplying estimated defense 

+  -- spending of an ?AREA in percentage terms by the gross domestic product (GDP) 

+  -- for ?PERIOD. Note that for this figure, GDP is calculated by the exchange 

+  -- rate method rather than by PPPBasedEconomicValuation. In any case, 

+  -- military expenditures data should be treated as only approximate.

+  fun militaryExpendituresInUSDollarsInPeriod : El GeopoliticalArea -> El CurrencyMeasure -> El TimeInterval -> Formula ;

+

+  -- (militaryOfArea ?MILITARY ?AREA) 

+  -- denotes that ?MILITARY is a MilitaryOrganization serving in defense of 

+  -- the GeopoliticalArea ?AREA.

+  fun militaryOfArea : El MilitaryOrganization -> El GeopoliticalArea -> Formula ;

+

+  -- A subEchelon is a relationship between

+  -- named organizational unit types in which a unit of one type is a

+  -- subOrganization of the other.

+  fun subEchelon: Desc MilitaryUnit -> Desc MilitaryUnit -> Formula ;

 

--- Military operations conducted to protect the friendly 

--- force by providing early and accurate warning of enemy operations, to provide the force 

--- being protected with time and maneuver space within which to react to the enemy, and to 

--- develop the situation to allow the commander to effectively use the protected force. 

--- Security operations orient on the force or facility to be protected, rather than on the 

--- enemy. (from FM 100_40).

-fun SecurityOperation : Class ;

-fun SecurityOperation_Class : SubClass SecurityOperation MilitaryOperation ;

-

--- Ranks with grade E7 through E9.

-fun SeniorNCORank : Class ;

-fun SeniorNCORank_Class : SubClass SeniorNCORank NonCommissionedOfficerRank ;

-

--- Any Soldier who is tasked with

--- carrying the colors of his/her unit in Battles and parades.

-fun StandardBearer : Class ;

-fun StandardBearer_Class : SubClass StandardBearer Soldier ;

-

--- Any Soldier who served during the

--- American Civil War

-fun USCivilWarSoldier : Ind Soldier ;

-

-

--- The class of Positions in the USMilitary.

-fun USMilitaryRank : Class ;

-fun USMilitaryRank_Class : SubClass USMilitaryRank MilitaryRank ;

-

--- A USMilitaryRank that is variously called

--- Airman Basic in the Air Force, Private in the USArmy, 

--- Private in the USMarineCorps, and Seaman Recruit in the USNavy.

-fun USMilitaryRankE1 : Ind (both PrivateRank USMilitaryRank) ;

-

-

--- A USMilitaryRank that is variously called

--- Airman in the Air Force, Private in the USArmy, 

--- Private First Class in the USMarineCorps, and Seaman Apprentice in the USNavy.

-fun USMilitaryRankE2 : Ind (both PrivateRank USMilitaryRank) ;

-

-

--- A USMilitaryRank that is variously called

--- Airman First Class in the Air Force, Private First Class in the USArmy, 

--- Lance Corporal in the USMarineCorps, and Seaman in the USNavy.

-fun USMilitaryRankE3 : Ind (both PrivateRank USMilitaryRank) ;

-

-

--- A USMilitaryRank that is variously called

--- Senior Airman in the Air Force, Specialist or Corporal in the USArmy, 

--- Corporal in the USMarineCorps, and Petty Officer 3rd Class in the USNavy.

-fun USMilitaryRankE4 : Ind (both PrivateRank USMilitaryRank) ;

-

-

--- A USMilitaryRank that is variously called

--- Staff Sergeant in the Air Force, Sergeant in the USArmy, 

--- Sergeant in the USMarineCorps, and Petty Officer 2nd Class in the USNavy.

-fun USMilitaryRankE5 : Ind (both JuniorNCORank USMilitaryRank) ;

-

-

--- A USMilitaryRank that is variously called

--- Technical Sergeant in the Air Force, Staff Sergeant in the USArmy, 

--- Staff Sergeant in the USMarineCorps, and Petty Officer 1st Class in the USNavy.

-fun USMilitaryRankE6 : Ind (both JuniorNCORank USMilitaryRank) ;

-

-

--- A USMilitaryRank that is variously called

--- Master Sergeant in the Air Force, Sergeant First Class in the USArmy, 

--- Gunnery Sergeant in the USMarineCorps, and Chief Petty Officer in the USNavy.

-fun USMilitaryRankE7 : Ind (both SeniorNCORank USMilitaryRank) ;

-

-

--- A USMilitaryRank that is variously called

--- Senior Master Sergeant in the Air Force, Master Sergeant or First Sergeant in the USArmy, 

--- Master Sergeant or First Sergeant in the USMarineCorps, and Senior Chief Petty Officer in the USNavy.

-fun USMilitaryRankE8 : Ind (both SeniorNCORank USMilitaryRank) ;

-

-

--- A USMilitaryRank that is variously 

--- called Chief Master Sergeant or Command Chief Master Sergeant or Chief 

--- Master Sergeant of the Air Force in the Air Force, Sergeant Major or 

--- Command Sergeant Major or Sergeant Major of the Army in the USArmy, 

--- Master Gunnery Sergeant or Sergeant Major or Sergeant Major of the Marine 

--- Corps in the USMarineCorps, and Master Chief Petty Officer or Command 

--- Master Chief Petty Officer or Master Chief Petty Officer of the Navy in 

--- the USNavy.

-fun USMilitaryRankE9 : Ind (both SeniorNCORank USMilitaryRank) ;

-

-

--- A special USMilitaryRank

--- above E9 that marks usually the end of carrier of non_commissioned

--- officers.

-fun USMilitaryRankE9special : Ind (both USMilitaryRank SeniorNCORank) ;

-

-

-fun USMilitaryRankO1 : Ind (both CompanyGradeRank USMilitaryRank) ;

-

-fun USMilitaryRankO10 : Ind (both FlagOfficerRank USMilitaryRank) ;

-

-fun USMilitaryRankO2 : Ind (both CompanyGradeRank USMilitaryRank) ;

-

-fun USMilitaryRankO3 : Ind (both CompanyGradeRank USMilitaryRank) ;

-

-fun USMilitaryRankO4 : Ind (both FieldGradeOfficerRank USMilitaryRank) ;

-

-fun USMilitaryRankO5 : Ind (both FieldGradeOfficerRank USMilitaryRank) ;

-

-fun USMilitaryRankO6 : Ind (both FieldGradeOfficerRank USMilitaryRank) ;

-

-fun USMilitaryRankO7 : Ind (both FlagOfficerRank USMilitaryRank) ;

-

-fun USMilitaryRankO8 : Ind (both FlagOfficerRank USMilitaryRank) ;

-

-fun USMilitaryRankO9 : Ind (both FlagOfficerRank USMilitaryRank) ;

-

-fun USMilitaryRankSpecial : Ind (both FlagOfficerRank USMilitaryRank) ;

-

-fun USMilitaryRankWO1 : Ind (both USWarrantOfficerRank USMilitaryRank) ;

-

-fun USMilitaryRankWO2 : Ind (both USWarrantOfficerRank (both USMilitaryRank CommissionedOfficerRank)) ;

-

-fun USMilitaryRankWO3 : Ind (both USWarrantOfficerRank (both USMilitaryRank CommissionedOfficerRank)) ;

-

-fun USMilitaryRankWO4 : Ind (both USWarrantOfficerRank (both USMilitaryRank CommissionedOfficerRank)) ;

-

-fun USMilitaryRankWO5 : Ind (both USWarrantOfficerRank (both USMilitaryRank CommissionedOfficerRank)) ;

-

--- Any Soldier who served

--- during the American Revolutionary War

-fun USRevolutionaryWarSoldier : Ind Soldier ;

-

-

--- In the United States military, a 

--- warrant officer was originally, and strictly, a highly skilled, 

--- single_track specialty officer. But as many chief warrant officers assume 

--- positions as officer in charge or department head, along with the high 

--- number of bachelor's and master’s degrees held within the community, their 

--- contribution and expertise as a community is ever_increasing. There are 

--- no 'warrant officers' per se in the U.S. Navy, but rather the term 'chief 

--- warrant officer' is correct. In the U.S. Navy, a sailor must be in one 

--- of the top three enlisted ranks to be eligible to become a Chief Warrant 

--- Officer. In the U.S. Army, a person can progress to the warrant officer 

--- rank at a grade lower than E_7 thus having a longer career and greater 

--- opportunity to serve and grow. In the U.S. Marine Corps, after serving 

--- at least eight years of enlisted service, and reaching the grade of E_5 

--- (sergeant), an enlisted Marine can apply for the Warrant Officer program. 

--- Upon the initial appointment to WO1 a warrant is given by the secretary of 

--- the service, and upon promotion to chief warrant officer (CW2 and above) 

--- they are commissioned by the President of the United States, take the same 

--- oath and receive the same commission and charges as commissioned officers, 

--- thus deriving their authority from the same source.

-fun USWarrantOfficerRank : Class ;

-fun USWarrantOfficerRank_Class : SubClass USWarrantOfficerRank CommissionedOfficerRank ;

-

--- (betweenOnPath ?OBJ1 ?OBJ2 ?OBJ3 ?PATH) 

--- means that ?OBJ2 is spatially located between ?OBJ1 and ?OBJ3 on the path 

--- ?PATH. Note that this is a more specialized relation of between since any 

--- object that is between others with respect to a particular path is also 

--- simply between them.

-fun betweenOnPath : El Object -> El Object -> El Object -> Formula ;

-

-

--- The typical MilitaryRank of

--- the leader of an instance of the given MilitaryEchelon.

-fun commandRankOfEchelon: Desc MilitaryUnit -> El MilitaryRank -> Formula ;

-

-

--- (fitForMilitaryService ?AGENT ?PROCESS)

--- means that ?AGENT is capable of carrying out the MilitaryProcess ?PROCESS as

--- the agent of the ?PROCESS.

-fun fitForMilitaryService: El CognitiveAgent -> Desc MilitaryProcess -> Formula ;

-

-

--- (militaryAge ?AREA ?AGE) means that in the 

--- GeopoliticalArea ?AREA, a person must be ?AGE or older in order to be a

--- member of the military of the ?AREA.

-fun militaryAge : El GeopoliticalArea -> El TimeDuration -> Formula ;

-

-

--- (militaryExpendituresFractionOfGDP ?AREA ?FRACTION) means 

--- that the estimated military spending of the GeopoliticalArea ?AREA is 

--- ?FRACTION of the gross domestic product (GDP) of that area.

-fun militaryExpendituresFractionOfGDP : El GeopoliticalArea -> El RationalNumber -> Formula ;

-

-

--- (militaryExpendituresFractionOfGDPInPeriod ?AREA ?FRACTION ?PERIOD) 

--- means that the estimated military spending of the GeopoliticalArea ?AREA 

--- was ?FRACTION of the gross domestic product (GDP) of that area during the

--- TimeInterval indicated by ?PERIOD.

-fun militaryExpendituresFractionOfGDPInPeriod : El GeopoliticalArea -> El RationalNumber -> El TimeInterval -> Formula ;

-

-

--- (militaryExpendituresInUSDollars ?AREA ?AMOUNT) means that the 

--- estimated military spending of the GeopoliticalArea ?AREA is ?AMOUNT 

--- in UnitedStatesDollars. Note: This predicate was created to represent 

--- data from the CIA World Fact Book, which calculates ?AMOUNT by multiplying 

--- estimated percentage of ?AREA's budget spent on defense by its gross 

--- domestic product (GDP) expressed in U.S. dollars. Note that this GDP is 

--- calculated by the exchange rate method rather than by 

--- PPPBasedEconomicValuation. Military expenditures data is approximate.

-fun militaryExpendituresInUSDollars : El GeopoliticalArea -> El CurrencyMeasure -> Formula ;

-

-

--- (militaryExpendituresInUSDollarsInPeriod ?AREA ?AMOUNT ?PERIOD) means 

--- that the estimated military spending of the GeopoliticalArea ?AREA was 

--- ?AMOUNT in UnitedStatesDollars during the TimeInterval indicated by 

--- ?PERIOD. Note: This predicate was created to represent data from the CIA 

--- World Fact Book, which calculates ?AMOUNT by multiplying estimated defense 

--- spending of an ?AREA in percentage terms by the gross domestic product (GDP) 

--- for ?PERIOD. Note that for this figure, GDP is calculated by the exchange 

--- rate method rather than by PPPBasedEconomicValuation. In any case, 

--- military expenditures data should be treated as only approximate.

-fun militaryExpendituresInUSDollarsInPeriod : El GeopoliticalArea -> El CurrencyMeasure -> El TimeInterval -> Formula ;

-

-

--- (militaryOfArea ?MILITARY ?AREA) 

--- denotes that ?MILITARY is a MilitaryOrganization serving in defense of 

--- the GeopoliticalArea ?AREA.

-fun militaryOfArea : El MilitaryOrganization -> El GeopoliticalArea -> Formula ;

-

-

--- A subEchelon is a relationship between

--- named organizational unit types in which a unit of one type is a

--- subOrganization of the other.

-fun subEchelon: Desc MilitaryUnit -> Desc MilitaryUnit -> Formula ;

 }