MilitaryPersons.kif

;; Military Persons

;; Access to and use of these products is governed by the GNU General
;; Public License <http://www.gnu.org/copyleft/gpl.html>.  By using
;; these products, you agree to be bound by the terms of the GPL.

;; Authors: Jan Scheffczyk (jan.scheffczyk@gmx.net)
;; Adam Pease (apease [at] articulatesoftware [dot] com)

;; We ask that people using or referencing this work cite our primary paper:

;; Niles, I., and Pease, A.  2001.  Towards a Standard Upper Ontology.
;; In Proceedings of the 2nd International Conference on Formal
;; Ontology in Information Systems (FOIS-2001), Chris Welty and Barry
;; Smith, eds, Ogunquit, Maine, October 17-19, 2001.  See also
;; http://www.ontologyportal.org

(subAttribute DislocatedCivilian Civilian)

(documentation DislocatedCivilian EnglishLanguage "A broad term that includes a
displaced person, an evacuee, an expellee, an internally displaced
person, a migrant, a refugee, or a stateless person. Also called DC.
See also displaced person, evacuee, expellee, internally displaced
person, migrant, refugee, stateless person.")

(=>
  (and
    (holdsDuring ?T1 
      (and 
	(attribute ?PERSON DislocatedCivilian)
	(inhabits ?PERSON ?RESIDENCE)
	(located ?RESIDENCE ?PLACE)))
    (instance ?PLACE GeographicArea)
    (instance ?T1 TimeInterval))
  (exists (?T0 ?PRIOR_PLACE ?PRIOR_RES)
    (and
      (instance ?T0 TimeInterval)
      (earlier ?T0 ?T1)
      (instance ?PRIOR_RES Object)
      (instance ?PRIOR_PLACE GeopoliticalArea)
      (located ?PRIOR_RES ?PRIOR_PLACE)
      (not (equal ?PLACE ?PRIOR_PLACE))
      (not (equal ?RESIDENCE ?PRIOR_RES))
      (not (geographicSubregion ?PLACE ?PRIOR_PLACE))
      (not (geographicSubregion ?PRIOR_PLACE ?PLACE))
      (holdsDuring ?T0
        (inhabits ?PERSON ?PRIOR_RES)))))

(=>
  (instance ?PERSON Human)
  (disapproves ?PERSON
    (attribute ?PERSON DislocatedCivilian)))

(instance DisplacedPerson SocialRole)
(subAttribute DisplacedPerson DislocatedCivilian)

(documentation DisplacedPerson EnglishLanguage "A civilian who is involuntarily
outside the national boundaries of his or her country. See also
evacuee, refugee.")

;; The salient aspects of being a DisplacedPerson are (a)
;; residence outside one's country of citizenship (b) that is
;; involuntary (disapproved by the experiencer).

;; If a displaced person is a citizen of some nation
;; and, while displaced, inhabits a residence in a certain place,
;; then that place is not located in the person's nation of
;; citizenship.

(=>
  (holdsDuring ?T1
    (and
      (attribute ?P DisplacedPerson)
      (inhabits ?P ?RES)
      (located ?RES ?PLACE)
      (citizen ?P ?NATION)))
  (not
    (partlyLocated ?PLACE ?NATION)))

(instance InternallyDisplacedPerson SocialRole)
(subAttribute InternallyDisplacedPerson DislocatedCivilian)

(documentation InternallyDisplacedPerson EnglishLanguage "Any person who has left
their residence by reason of real or imagined danger but has not left
the territory of their own country.")

;; If an internally displaced person is a citizen of
;; some nation and, while displaced, inhabits a residence in a
;; certain place, then that place is within the person's nation
;; of citizenship.

(=>
  (holdsDuring ?T1
    (and
      (attribute ?P InternallyDisplacedPerson)
      (inhabits ?P ?RES)
      (located ?RES ?PLACE)
      (citizen ?P ?NATION)))
  (partlyLocated ?PLACE ?NATION))

(=>
  (and
    (holdsDuring ?T1
      (attribute ?P InternallyDisplacedPerson))
    (instance ?T1 TimeInterval))
  (exists (?SITUATION ?T0)
    (and
      (earlier ?T0 ?T1)
      (causesProposition
        (holdsDuring ?T0 (fears ?P ?SITUATION))
        (holdsDuring ?T1 (attribute ?P InternallyDisplacedPerson))))))

(instance Evacuee SocialRole)
(subAttribute Evacuee DislocatedCivilian)

(documentation Evacuee EnglishLanguage "A civilian removed from a place of residence for 
reasons of personal security or the requirements of the military 
situation.  See also displaced person, expellee, refugee.") 

(=>
  (and
    (holdsDuring ?T1 
      (attribute ?P Evacuee))
    (instance ?T1 TimeInterval))
  (exists (?EV ?MIL)
    (and
      (instance ?EV Evacuation)
      (agent ?EV ?MIL)
      (instance ?MIL MilitaryOrganization)
      (experiencer ?EV ?P)
      (earlier (WhenFn ?EV) ?T1))))

(=>
  (and
    (instance ?EV Evacuation)
    (agent ?EV ?MIL)
    (instance ?MIL MilitaryOrganization)
    (experiencer ?EV ?P))
  (holdsDuring (ImmediateFutureFn (WhenFn ?EV))
    (attribute ?P Evacuee)))

(instance Expellee  SocialRole)
(subAttribute Expellee DislocatedCivilian)

(documentation Expellee EnglishLanguage "A civilian outside the boundaries of the
country of his or her nationality or ethnic origin who is being
forcibly repatriated to that country or to a third country for
political or other purposes. See also displaced person, evacuee;
refugee.")

(=>
  (and
    (holdsDuring ?T1
      (and
        (attribute ?P Expellee)
        (citizen ?P ?HOME_NATION)))
    (instance ?T1 TimeInterval))
  (exists (?TRANS ?NATION)
    (and
      (instance ?NATION Nation)
      (not 
        (equal ?NATION ?HOME_NATION))
      (instance ?TRANS Translocation)
      (origin ?TRANS ?NATION)
      (patient ?TRANS ?P)
      (destination ?TRANS ?HOME_NATION)
      (temporalPart ?T1 (WhenFn ?TRANS)))))

(instance Migrant SocialRole)
(subAttribute Migrant DislocatedCivilian)

(documentation Migrant EnglishLanguage "A person who (1) belongs to a normally
migratory culture who may cross national boundaries, or (2) has fled
his or her native country for economic reasons rather than fear of
political or ethnic persecution.")

(instance Refugee SocialRole)
(subAttribute Refugee DislocatedCivilian)

(documentation Refugee EnglishLanguage "A person who, by reason of real or imagined
danger, has left their home country or country of their nationality
and is unwilling or unable to return. See also dislocated civilian;
displaced person, evacuee, expellee, stateless person.")

(instance StatelessPerson SocialRole)
(subAttribute StatelessPerson DislocatedCivilian)

(documentation StatelessPerson EnglishLanguage "Civilian who has been denationalized
or whose country of origin cannot be determined or who cannot
establish a right to the nationality claimed. See also dislocated
civilian, displaced person, evacuee, expellee, refugee.")

;; stateless persons do not have a country of residence

(=>
  (and
    (holdsDuring ?T1
      (attribute ?P StatelessPerson))
    (instance ?NAT Nation))
  (holdsDuring ?T1
    (not (citizen ?P ?NAT))))

(instance Dangerous SubjectiveAssessmentAttribute)

(documentation Dangerous EnglishLanguage "from WordNet: causing fear or anxiety by
threatening great harm, a dangerous operation, a grave situation, a
grave illness, grievous bodily harm, a serious wound, a serious turn
of events, a severe case of pneumonia, a life_threatening disease.")

;; threatening is believed to be dangerous

(=>
  (and
    (instance ?THREATEN Threatening)
    (patient ?THREATEN ?PROP)
    (destination ?THREATEN ?DEST))
  (believes ?DEST
    (attribute ?PROP Dangerous)))

;; damaging is believed to be dangerous by cognitive agents
;; The problem
;; with attributes such as Dangerous is that they are essentially
;; relational.  Objects or processes are "dangerous" only with
;; respect to something else (which might suffer or be damaged),
;; but which can't be captured just by stating that some thing is
;; dangerous.  

(=>
  (and
    (instance ?DAMAGE Damaging)
    (agent ?DAMAGE ?PROP)
    (destination ?DAMAGE ?DEST)
    (instance ?DEST CognitiveAgent))
  (believes ?DEST
    (attribute ?PROP Dangerous)))

(instance Prisoner SocialRole)
(documentation Prisoner EnglishLanguage "from WordNet: a person who is confined, especially a prisoner of war.")

;; a prisoner was imprisoned before

(=>
  (holdsDuring ?NOW
    (attribute ?P Prisoner))
  (exists (?BEFORE ?IMPRISONING)
    (and
      (instance ?IMPRISONING Imprisoning)
      (earlier ?BEFORE ?NOW)
      (holdsDuring ?BEFORE
        (detainee ?IMPRISONING ?P)))))

(instance PrisonerOfWar SocialRole)
(subAttribute PrisonerOfWar Prisoner)

(documentation PrisonerOfWar EnglishLanguage "A detained person as defined in Articles
4 and 5 of the Geneva Convention Relative to the Treatment of
Prisoners of War of August 12, 1949. In particular, one who, while
engaged in combat under orders of his or her government, is captured
by the armed forces of the enemy. As such, he or she is entitled to
the combatant's privilege of immunity from the municipal law of
the capturing state for warlike acts which do not amount to breaches
of the law of armed conflict. For example, a prisoner of war may be,
but is not limited to, any person belonging to one of the following
categories who has fallen into the power of the enemy: a member of the
armed forces, organized militia or volunteer corps, a person who
accompanies the armed forces without actually being a member thereof;
a member of a merchant marine or civilian aircraft crew not qualifying
for more favorable treatment, or individuals who, on the approach of
the enemy, spontaneously take up arms to resist the invading
forces. Also called POW or PW. ")

;; a prisoner of war is so during warstate

(=>
  (holdsDuring ?T1
    (and
      (attribute ?P PrisonerOfWar)
      (located ?P ?LOC)))
  (holdsDuring ?T1
    (attribute ?LOC WarState)))

;; military personell imprisoned during war by their enemies are
;; prisoners of war

(=>
  (and
    (instance ?F MilitaryForce)
    (instance ?P Human)
    (instance ?I Imprisoning)
    (member ?P ?F)
    (agent ?I ?E)
    (patient ?I ?P)
    (enemy ?E ?P)
    (eventLocated ?I ?LOC)
    (attribute ?LOC WarState))
  (attribute ?P PrisonerOfWar))

(instance CivilianInternee SocialRole)
(subAttribute CivilianInternee Prisoner)

(documentation CivilianInternee EnglishLanguage "1. A civilian who is interned during
armed conflict or occupation for security reasons or for protection or
because he or she has committed an offense against the detaining
power. 2. A term used to refer to persons interned and protected in
accordance with the Geneva Convention Relative to the Protection of
Civilian Persons in Time of War, 12 August 1949 (Geneva
Convention). Also called CI.")

;; a civilian internee is so during warstate

(=>
  (holdsDuring ?T1
    (and
      (attribute ?P CivilianInternee)
      (located ?P ?LOC)))
  (holdsDuring ?T1
    (attribute ?LOC WarState)))

;; a civilian internee is no member of the military

(=>
  (holdsDuring ?NOW
    (attribute ?P CivilianInternee))
  (not
    (holdsDuring ?NOW
      (instance ?P MilitaryForce))))

;; some military commanders (much TODO!)  these classes exist just in
;; order to make the ontology self_contained
;; TODO subordinate positions

(instance CombatantCommander Position)
(subAttribute CombatantCommander MilitaryCommander)
(instance SubunifiedCommander Position)
(subAttribute SubunifiedCommander MilitaryCommander)
(instance JointTaskForceCommander Position)
(subAttribute JointTaskForceCommander MilitaryCommander)
(instance ServiceChief Position)
(subAttribute ServiceChief MilitaryCommander)


;; commanders for joint forces and superior positions under in joint
;; forces
(instance JointForcesCommander Position)
(subAttribute JointForcesCommander MilitaryCommander)
(documentation JointForcesCommander EnglishLanguage "A general term applied to a
combatant commander, subunified commander, or joint task force
commander authorized to exercise combatant command (command authority)
or operational control over a joint force. Also called JFC. See also
joint force.")

(=>
  (instance ?JOINT JointForces)
  (leaderPosition ?JOINT JointForcesCommander))

(instance JointForcesAirCommander Position)
(subAttribute JointForcesAirCommander MilitaryCommander)
(documentation JointForcesAirCommander EnglishLanguage "The commander within a unified
command, subordinate unified command, or joint task force responsible
to the establishing commander for making recommendations on the proper
employment of assigned, attached, and/or made available for tasking
air forces, planning and coordinating air operations, or accomplishing
such operational missions as may be assigned. The joint force air
component commander is given the authority necessary to accomplish
missions and tasks assigned by the establishing commander. Also called
JFACC. See also joint force commander.")

;; within the joint forces the air component commander is the leader
;; of the airforce component is he also in command of the naval air
;; force?
(=>
  (and
    (instance ?JOINT JointForces)
    (subOrganization ?FORCE1 ?JOINT)
    (instance ?FORCE1 AirForce))
  (leaderPosition ?FORCE1 JointForcesAirCommander))

(instance JointForcesLandCommander Position)
(subAttribute JointForcesLandCommander MilitaryCommander)

(documentation JointForcesLandCommander EnglishLanguage "The commander within a
unified command, subordinate unified command, or joint task force
responsible to the establishing commander for making recommendations
on the proper employment of assigned, attached, and/or made available
for tasking land forces, planning and coordinating land operations, or
accomplishing such operational missions as may be assigned. The joint
force land component commander is given the authority necessary to
accomplish missions and tasks assigned by the establishing
commander. Also called JFLCC. See also joint force commander. ")

;; within the joint forces the land component commander is the leader
;; of the army component is he also in command of the marines?
(=>
  (and
    (instance ?JOINT JointForces)
    (subOrganization ?FORCE1 ?JOINT)
    (instance ?FORCE1 Army))
  (leaderPosition ?FORCE1 JointForcesLandCommander))

(instance JointForcesMaritimeCommander Position)
(subAttribute JointForcesMaritimeCommander MilitaryCommander)

(documentation JointForcesMaritimeCommander EnglishLanguage "The commander within a
unified command, subordinate unified command, or joint task force
responsible to the establishing commander for making recommendations
on the proper employment of assigned, attached, and/or made available
for tasking maritime forces and assets, planning and coordinating
maritime operations, or accomplishing such operational missions as may
be assigned. The joint force maritime component commander is given the
authority necessary to accomplish missions and tasks assigned by the
establishing commander. Also called JFMCC. See also joint force
commander.")

;; within the joint forces the maritime component commander is the
;; leader of the naval component is he also in command of the marines?

(=>
  (and
    (instance ?JOINT JointForces)
    (subOrganization ?FORCE1 ?JOINT)
    (instance ?FORCE1 NavyBranchOfService))
  (leaderPosition ?FORCE1 JointForcesMaritimeCommander))

;; within the joint forces the maritime component commander is the leader of the coastguard component
(=>
  (and
    (instance ?JOINT JointForces)
    (subOrganization ?FORCE1 ?JOINT)
    (instance ?FORCE1 CoastGuard))
  (leaderPosition ?FORCE1 JointForcesMaritimeCommander))

(instance JointForcesSpecialOperationsCommander Position)
(subAttribute JointForcesSpecialOperationsCommander MilitaryCommander)

(documentation JointForcesSpecialOperationsCommander EnglishLanguage "The commander
within a unified command, subordinate unified command, or joint task
force responsible to the establishing commander for making
recommendations on the proper employment of assigned, attached, and/or
made available for tasking special operations forces and assets;
planning and coordinating special operations, or accomplishing such
operational missions as may be assigned. The joint force special
operations component commander is given the authority necessary to
accomplish missions and tasks assigned by the establishing
commander. Also called JFSOCC. See also joint force commander.")

(=>
  (and
    (instance ?JOINT JointForces)
    (subOrganization ?FORCE1 ?JOINT)
    (instance ?FORCE1 SpecialOperationsForces))
  (leaderPosition ?FORCE1 JointForcesSpecialOperationsCommander))


(instance SecretaryOfDefense Position)
(subAttribute SecretaryOfDefense MilitaryCommander)

(documentation SecretaryOfDefense EnglishLanguage "The secretary of defence is the
highest military commander during peacetime, during wartime it is usually the president.")

;; during peace the secretary of defense is the highest military commander
(=>
  (and
    (attribute ?MILITARY PeaceState)
    (instance ?MILITARY MilitaryOrganization)
    (leaderPosition ?MILITARY ?LEADER))
  (subordinatePosition ?MILITARY ?LEADER SecretaryOfDefense))

(subAttribute President MilitaryCommander)
(documentation President EnglishLanguage "The president of some &%Nation. He has the
power of command during &%WarState, i.e. the state of &%War.")

;; during war the president is the highest military commander
(=>
  (and
    (attribute ?MILITARY WarState)
    (instance ?MILITARY MilitaryOrganization)
    (leaderPosition ?MILITARY ?LEADER))
  (subordinatePosition ?MILITARY ?LEADER President))

;; in the US the President is the chief of State
(chiefOfStateType UnitedStates President)

(subclass ArtilleryBattery CompanyMilitary)

(documentation ArtilleryBattery EnglishLanguage "In military science, a battery is a
group of artillery guns or rockets, so grouped in order to facilitate
battlefield communication and command and control, as well as to
provide dispersion. Batteries are grouped in larger units called
battalions, which are further grouped into regiments. (from
Wikipedia)")

;; ArtilleryBatteries possess ArtilleryCannons

(=>
  (instance ?AB ArtilleryBattery)
  (exists (?AC)
    (and
      (instance ?AC ArtilleryCannon)
      (possesses ?AB ?AC))))

(subclass InfantryCompany CompanyMilitary)
(subclass InfantryCompany InfantryUnit)

(documentation InfantryCompany EnglishLanguage "An infantry is a body of soldiers who
fight primarily on foot with small arms in organized military units,
though they may be transported to the battlefield by horses, ships,
automobiles, skis, or other means. (from Wikipedia)")

(subclass LARUnit MilitaryUnit)

(documentation LARUnit EnglishLanguage "A military unit capable of conducting combined
armed reconnaissance and security operations to establish a designated
secure area, provide combat information, reaction time, and maneuver
space. On order, it conducts combined arms offensive and defensive
economy of force operations to preserve combat power. The primary
weapon system is the LAV.")

;; LARUnits can conduct reconnaissance operations

(=>
  (instance ?LAR LARUnit)
  (capability ReconnaissanceOperation agent ?LAR))

;; LARUnits can conduct counter reconnaissance operations

(=>
  (instance ?LAR LARUnit)
  (capability CounterReconnaissance agent ?LAR))

;; LARUnits have LAVs

(=>
  (instance ?LAR LARUnit)
  (exists (?LAV)
    (and
      (instance ?LAV LAV)
      (possesses ?LAR ?LAV))))

(subclass LARBattalion Battalion)
(subclass LARBattalion LARUnit)

(documentation LARBattalion EnglishLanguage "A battalion specialized in LAR
operations")

(subclass LARPlatoon Platoon)
(subclass LARPlatoon LARUnit)

(documentation LARPlatoon EnglishLanguage "A platoon specialized in LAR
operations")


(subclass MortarPlatoon Platoon)

(documentation MortarPlatoon EnglishLanguage "A platoon carrying mortars.")

(=>
  (instance ?MP MortarPlatoon)
  (exists (?MG)
    (and
      (instance ?MG MortarGun)
      (possesses ?MP ?MG))))

(subclass WeaponsCompany CompanyMilitary)
(subEchelon WeaponsCompany AntiArmorPlatoon)
(subEchelon WeaponsCompany MortarPlatoon)
(subEchelon WeaponsCompany HeavyMGPlatoon)

(documentation WeaponsCompany EnglishLanguage "A Weapons company is the heavy weapons
portion of the USMC infantry battalion, tasked with providing
supporting fire for the three rifle companies that make up the balance
of the battalion. The Weapons Company provides fire support
coordination, medium mortars, anti_armor weapons, and heavy machine
gun support.
The company is often organized into four distinct elements: company
headquarters, mortar platoon (utilizing 81 mm mortars), antiarmor
platoon (utilizing either the dragon or javelin weapons system, SMAW
bunker busters, and the TOW missileweapons system), and a heavy
machine gun platoon (utilizing the M2 Browning .50 Cal and Mk19 mod3
40 mm automatic grenade launcher).
Often the TOW gunners are pulled from the antiarmor platoon and
combined with the heavy machine gun platoon to form a Combined
Anti_Armor Team (CAAT). These CAATs are mobile with humvees and are
organized into three squads with five vehicles each, the squad
organization being three vehicles with machine guns (both M2 & Mk. 19)
and two vehicles with the TOW IIb.
The remaining antiarmor unit is often trained as an ad_hoc assault and
demolitions unit furthering the organic capabilities of the battalion
commander.
The 81 mm mortar platoon also gives the battalion a heavier organic
artillery, as it supplements the 60 mm mortars found in the rifle
company weapons platoons. Company commanders can utilize 81's in half
the time it would take to get a 155 mm Howitzer up. (from Wikipedia)")

(subclass AntiArmorPlatoon Platoon)

(documentation AntiArmorPlatoon EnglishLanguage "An antiarmor platoon (utilizing
either the dragon or javelin weapons system, SMAW bunker busters, and
the TOW missileweapons system) is part of a &%WeaponsCompany. (from
Wikipedia)")

;; antiarmor platoons have antiarmor weapons

(=>
  (instance ?MP AntiArmorPlatoon)
  (exists (?MG)
    (and
      (instance ?MG AntiArmorWeapon)
      (possesses ?MP ?MG))))


(subclass HeavyMGPlatoon Platoon)

(documentation HeavyMGPlatoon EnglishLanguage "A heavy machine gun platoon (utilizing
the M2 Browning .50 Cal and Mk19 mod3 40 mm automatic grenade
launcher) is part of a &%WeaponsCompany. (from Wikipedia)")

;; heavy machine gun platoons have HeavyMachineGuns

(=>
  (instance ?MP HeavyMGPlatoon)
  (exists (?MG)
    (and
      (instance ?MG HeavyMachineGun)
      (possesses ?MP ?MG))))

;; heavy machine gun platoons have Mk-19 40 mm grenade launchers

(=>
  (instance ?MP HeavyMGPlatoon)
  (exists (?MG)
    (and
      (instance ?MG MK19)
      (possesses ?MP ?MG))))

(subclass AssaultAmphibianUnit MilitaryUnit) 
(documentation AssaultAmphibianUnit EnglishLanguage "A mechanized military 
unit of the US MArine Corps.  Their primary weapon system is the 
Amphibious Assault Vehicle.") 

;; AssaultAmphibianUnit have AAVs

(=>
  (instance ?AAU AssaultAmphibianUnit)
  (exists (?AAV)
    (and
      (instance ?AAV AAV)
      (possesses ?AAU ?AAV))))


(subclass AssaultAmphibianBatallion Battalion)
(subclass AssaultAmphibianBatallion AssaultAmphibianUnit)

(documentation AssaultAmphibianBatallion EnglishLanguage "An Assault Amphibian
Batallion is a mechanized battalion of the United States Marine Corps
reserve. Their primary weapon system is the Amphibious Assault
Vehicle. (from Wikipedia)")

(subclass AssaultAmphibianPlatoon Platoon)
(subclass AssaultAmphibianPlatoon AssaultAmphibianUnit)

(documentation AssaultAmphibianPlatoon EnglishLanguage "An Assault Amphibian Platoon
is a mechanized battalion of the United States Marine Corps
reserve. Their primary weapon system is the Amphibious Assault
Vehicle.")

;; format and termFormat statements for MilitaryPersons.kif

(format EnglishLanguage moves "%2 %n{doesn’t} move%p{s} during %1")
(format EnglishLanguage changesLocation "%2 %n{doesn't} change%{s} location during %1")

(termFormat EnglishLanguage DislocatedCivilian "dislocated civilian")
(termFormat EnglishLanguage DisplacedPerson "displaced person")
(termFormat EnglishLanguage InternallyDisplacedPerson "internally displaced person")
(termFormat EnglishLanguage Evacuee "evacuee")
(termFormat EnglishLanguage Expellee "expelled civilian")
(termFormat EnglishLanguage Migrant "migrant")
(termFormat EnglishLanguage Refugee "refugee")
(termFormat EnglishLanguage StatelessPerson "stateless person")
(termFormat EnglishLanguage Dangerous "dangerous")
(termFormat EnglishLanguage Prisoner "prisoner")
(termFormat EnglishLanguage PrisonerOfWar "prisoner of war")
(termFormat EnglishLanguage CivilianInternee "civilian internee")
(termFormat EnglishLanguage CombatantCommander "combatant commander")
(termFormat EnglishLanguage SubunifiedCommander "subunified commander")
(termFormat EnglishLanguage JointTaskForceCommander "Joint Task Force Commander")
(termFormat EnglishLanguage ServiceChief "service chief")
(termFormat EnglishLanguage JointForcesCommander "Joint Forces Commander")
(termFormat EnglishLanguage JointForcesAirCommander "Joint Forces Air Commander")
(termFormat EnglishLanguage JointForcesLandCommander "Joint Forces Land Commander")
(termFormat EnglishLanguage JointForcesMaritimeCommander "Joint Forces Maritime Commander")
(termFormat EnglishLanguage JointForcesSpecialOperationsCommander "Joint Forces Special Operations Commander")
(termFormat EnglishLanguage SecretaryOfDefense "Secretary of Defense")
(termFormat EnglishLanguage ArtilleryBattery "artillery battery")
(termFormat EnglishLanguage InfantryCompany "infantry company")
(termFormat EnglishLanguage LARUnit "LAR unit")
(termFormat EnglishLanguage LARBattalion "LAR battalion")
(termFormat EnglishLanguage LARPlatoon "LAR platoon")
(termFormat EnglishLanguage MortarPlatoon "mortar platoon")
(termFormat EnglishLanguage WeaponsCompany "weapons company")
(termFormat EnglishLanguage AntiArmorPlatoon "anti_armor platoon")
(termFormat EnglishLanguage HeavyMGPlatoon "heavy machine gun platoon")
(termFormat EnglishLanguage AssaultAmphibianUnit "assault amphibian unit")
(termFormat EnglishLanguage AssaultAmphibianPlatoon "assault amphibian platoon")

(instance ExpeditionaryForce RelationalAttribute)
(documentation ExpeditionaryForce EnglishLanguage "A &%MilitaryUnit that has the purpose of rapid deployment
for fighting in enemy territory, without further logistical support.  The &%UnitedStates &%MarinesBranchOfService,
&%NavyBranchOfService and &%AirForceBranchOfService all have expeditionary units.")
(termFormat EnglishLanguage ExpeditionaryForce "expeditionary force")

(=>
  (attribute ?U ExpeditionaryForce)
  (hasPurpose ?U
    (exists (?B ?C ?FC)
      (and
        (subOrganization ?U
          (GovernmentFn ?C))
        (instance ?B Battle)
        (agent ?B ?U)
        (instance ?FC Nation)
        (located ?B ?FC)
        (not
          (equal ?C ?FC))))))

(instance Corpsman MilitaryPerson)
(documentation Corpsman EnglishLanguage "A hospital corpsman is an enlisted medical specialist of the
&%UnitedStates &%NavyBranchOfService, who may also serve in a U.S. Marine Corps unit. The corresponding
rating within the United States &%CoastGuard is health services technician (HS).
Hospital corpsmen work in a wide variety of capacities and locations, including shore establishments such as
naval hospitals and clinics, aboard ships, and as the primary medical caregivers for sailors while underway.
Hospital corpsmen are frequently the only medical care_giver available in many fleet or Marine units on
extended deployment. In addition, hospital corpsmen perform duties as assistants in the prevention and
treatment of disease and injury and assist health care professionals in providing medical care to sailors
and their families.[from Wikipedia]")
(termFormat EnglishLanguage Corpsman "corpsman")
(termFormat EnglishLanguage Corpsman "hospital corpsman")

(=>
  (attribute ?C Corpsman)
  (member ?C NavyBranchOfService))

(=>
  (attribute ?C Corpsman)
  (attribute ?C EnlistedSoldierRank))

(subAttribute SecurityOfficer MilitaryOfficer)
(documentation SecurityOfficer EnglishLanguage "A &%MilitaryOfficer who is tasked with &%Managing
other personnel to defend people and property, rather than in an offensive capability.  Typical
concerns are similar to &%LawEnforcement in stopping counterproductive behavior of own forces
or incursions by covert enemy forces.")
(termFormat EnglishLanguage SecurityOfficer "security officer")

(=>
  (attribute ?A SecurityOfficer)
  (hasPurpose ?A
    (exists (?LE)
      (and
        (instance ?LE LawEnforcement)
        (agent ?LE ?A)))))

(documentation IntelligenceOfficer EnglishLanguage "An intelligence officer is a person employed
by an organization to collect, compile or analyze information (known as intelligence) which is
of use to that organization. The word of officer is a working title, not a rank, used in the same
way a 'police officer' can also be a sergeant, or in the military, in which non_commissioned
personnel may serve as intelligence officers.
Organizations which employ intelligence officers include armed forces, police, and customs
agencies.[from Wikipedia]")
(termFormat EnglishLanguage SecurityOfficer "intelligence officer")

(=>
  (attribute ?H IntelligenceOfficer)
  (hasPurpose ?H
    (exists (?I)
      (and
        (instance ?I IntelligenceActivities)
        (agent ?I ?H)))))

(subAttribute SEAL MilitaryPerson)
(documentation SEAL EnglishLanguage "The United States Navy Sea, Air, and Land (SEAL) Teams,
commonly known as Navy SEALs, are the U.S. Navy's primary special operations force and a component
of the Naval Special Warfare Command. Among the SEALs' main functions are conducting small_unit
&%SpecialOperation missions in maritime, &%Jungle, &%Urban, arctic, mountainous, and &%Desert environments.
SEALs are typically ordered to capture or kill high level targets, or to gather intelligence behind
enemy lines.  SEAL team personnel are hand selected, highly trained, and possess a high degree of
proficiency in &%DirectAction (DA), and &%SpecialReconnaissance (SR), among other tasks like &%Sabotage,
demolition, intelligence gathering, and hydro_graphic reconnaissance, training, and advising friendly
militaries or other forces.  All active SEALs are members of the U.S. &%NavyBranchOfService.[from Wikipedia]")
(termFormat EnglishLanguage SEAL "SEAL")
(termFormat EnglishLanguage SEAL "United States Navy Sea, Air, and Land Team member")

(=>
  (attribute ?P SEAL)
  (member ?P NavyBranchOfService))

(=>
  (attribute ?P SEAL)
  (hasPurpose ?P
    (exists (?S)
      (and
        (instance ?S SpecialOperation)
        (agent ?S ?P)))))