From f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Mon, 16 Sep 2013 07:17:27 +0000 Subject: Remove contribs and examples Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb --- examples/SUMO/Military.gf | 397 ---------------------------------------------- 1 file changed, 397 deletions(-) delete mode 100644 examples/SUMO/Military.gf (limited to 'examples/SUMO/Military.gf') diff --git a/examples/SUMO/Military.gf b/examples/SUMO/Military.gf deleted file mode 100644 index 7f0f5d03c..000000000 --- a/examples/SUMO/Military.gf +++ /dev/null @@ -1,397 +0,0 @@ -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 ; - -} -- cgit v1.2.3