<?xml version="1.0" encoding="UTF-8"?>

<?xml-stylesheet type="text/xsl" href="http://sw.opencyc.org/xsl/OpenCycOWLCollectionDisplayVersioned.xsl"?>

<!DOCTYPE rdf:RDF [
     <!ENTITY ocyc "http://sw.opencyc.org/concept/" >
     <!ENTITY cyc  "http://sw.cyc.com/concept/" >
     <!ENTITY rdf  "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
     <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
     <!ENTITY xsd  "http://www.w3.org/2001/XMLSchema#" >
     <!ENTITY owl  "http://www.w3.org/2002/07/owl#" >
   ]>

<rdf:RDF xml:base="http://sw.opencyc.org/2008/06/10/concept/"
         xmlns="http://sw.opencyc.org/2008/06/10/concept/"
         xmlns:cycAnnot="http://sw.cyc.com/CycAnnotations_v1#"
         xmlns:rdf="&rdf;"
         xmlns:rdfs="&rdfs;"
         xmlns:owl="&owl;"
         xmlns:xsd="&xsd;">

  <owl:Ontology rdf:about="http://sw.opencyc.org/2008/06/10/concept/">
    <owl:versionInfo>2008/06/10</owl:versionInfo>
    <rdfs:comment xml:lang="en">

      OpenCyc Knowledge Base

      Copyright© 2001-2008 Cycorp, Inc., http://www.cyc.com/, Austin, TX, USA

      This file contains an OWL representation of information contained 
      in the OpenCyc Knowledge Base. The content of this OWL file is 
      licensed under the Creative Commons Attribution 3.0 license whose 
      text can be found at http://creativecommons.org/licenses/by/3.0/legalcode. 
      The content of this OWL file, including the OpenCyc content it represents, 
      constitutes the "Work" referred to in the Creative Commons license. The terms of 
      this license equally apply to, without limitation, renamings and other 
      logically equivalent reformulations of the content of this OWL file 
      (or portions thereof) in any natural or formal language, as well 
      as to derivations of this content or inclusion of it in other ontologies.

    </rdfs:comment>
  </owl:Ontology>

  <owl:AnnotationProperty rdf:about="http://sw.cyc.com/CycAnnotations_v1#externalID">
    <rdfs:label xml:lang="en">externalID</rdfs:label>
    <rdfs:comment xml:lang="en">
      A unique, language-neutral, variable-sized identifier
      for a concept that can be used to refer unambiguously to that concept across 
      OWL exports or across Cyc inference engines.
    </rdfs:comment>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
  </owl:AnnotationProperty>

  <owl:AnnotationProperty rdf:about="http://sw.cyc.com/CycAnnotations_v1#label">
    <rdfs:label xml:lang="en">label</rdfs:label>
    <rdfs:comment xml:lang="en">
      A natural-language representation for a concept that is both human 
      readable and readable by the Cyc inference engine. These terms are not 
      guaranteed to refer to the same concept across time but are guaranteed to
      be consistent within a particular OWL export. Use 'cycAnnot:externalID'
      for unambiguously referring to a concept across OWL exports or across Cyc
      inference engines.
    </rdfs:comment>
  </owl:AnnotationProperty>

  <owl:Class rdf:about="Mx4rvgyjn5wpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">A collection of collections: every element of MilitaryOperationType is a collection of instances of MilitaryOperation.</rdfs:comment>
    <cycAnnot:label xml:lang="en">MilitaryOperationType</cycAnnot:label>
    <rdfs:label xml:lang="en">type of military operation</rdfs:label>
    <rdfs:subClassOf rdf:resource="Mx4rv5r6TpwpEbGdrcN5Y29ycA"/>
    <rdf:type rdf:resource="Mx4rHQdVmB_TEdaAAABQ2rksLw"/>
    <owl:sameAs rdf:resource="&cyc;Mx4rvgyjn5wpEbGdrcN5Y29ycA"/>
    <owl:sameAs rdf:resource="http://umbel.org/umbel/sc/MilitaryOperationType"/>
    <owl:sameAs rdf:resource="&ocyc;Mx4rvgyjn5wpEbGdrcN5Y29ycA"/>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">types of military operation</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
  </owl:Class>

  <Mx4rvgyjn5wpEbGdrcN5Y29ycA rdf:about="Mx4rvy_5HZwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">demonstration</rdfs:label>
    <cycAnnot:label xml:lang="en">Demonstration-MilitaryOperation</cycAnnot:label>
    <rdfs:comment xml:lang="en">A demonstration is a show of force in a location where the commander does not seek to conduct decisive operations.  Its aim is to deceive the enemy. It is similar to a feint, except that contact with the enemy is not sought. FM100-40, p3-8.</rdfs:comment>
  </Mx4rvgyjn5wpEbGdrcN5Y29ycA>

  <Mx4rvgyjn5wpEbGdrcN5Y29ycA rdf:about="Mx4rv8w_NpwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">area defense operation</rdfs:label>
    <cycAnnot:label xml:lang="en">AreaDefense-MilitaryOperation</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of those defensive operations which concentrate on denying enemy access to designated terrain for a specified period of time rather than on the outright destruction of the enemy. FM 100-40.</rdfs:comment>
  </Mx4rvgyjn5wpEbGdrcN5Y29ycA>

  <Mx4rvgyjn5wpEbGdrcN5Y29ycA rdf:about="Mx4rvrxb2ZwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">reconnaissance in force</rdfs:label>
    <cycAnnot:label xml:lang="en">ReconnaissanceInForce-MilitaryOperation</cycAnnot:label>
    <rdfs:comment xml:lang="en">ReconnaissanceInForce is a focused collection effort in a geographic area with a force large enough to engage the enemy if detected.  It is performed before, during, and after other operations to provide information used by the commander to confirm or modify his course of action. FM100-40, p15-1.</rdfs:comment>
  </Mx4rvgyjn5wpEbGdrcN5Y29ycA>

  <Mx4rvgyjn5wpEbGdrcN5Y29ycA rdf:about="Mx4rvuMS3ZwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">MilitaryDefensiveOperation</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of all instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvhxFJZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MilitaryOperation&lt;/a&gt; where the primary purpose or goal is defensive in nature.  This collection is inclusive of concerted operations carried out by multiple units. For individual &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwCCSNZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MilitaryAction&lt;/a&gt;s carried out by particular units, see &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVr5lZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MilitaryTask_Defensive&lt;/a&gt;.  &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvuMS3ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MilitaryDefensiveOperation&lt;/a&gt; is the &apos;defensive&apos; analog of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvmWl5ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MilitaryOffensiveOperation&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">defensive operation</rdfs:label>
  </Mx4rvgyjn5wpEbGdrcN5Y29ycA>

  <Mx4rvgyjn5wpEbGdrcN5Y29ycA rdf:about="Mx4rwNG0e5wpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">counterattack</rdfs:label>
    <cycAnnot:label xml:lang="en">Counterattack-MilitaryOperation</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvmWl5ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MilitaryOffensiveOperation&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rv8sQAZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MilitaryAttack&lt;/a&gt; which are conducted in response to an attack initiated by an enemy force.</rdfs:comment>
  </Mx4rvgyjn5wpEbGdrcN5Y29ycA>

  <Mx4rvgyjn5wpEbGdrcN5Y29ycA rdf:about="Mx4rvd_p6ZwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">rearward passage of lines</rdfs:label>
    <rdfs:comment xml:lang="en">A rearward passage of lines occurs when a unit passes through another unit while moving away from the enemy. FM100-40, p18- 2. A rearward passage of lines is similar in concept to a forward passage of lines. It continues the defense or retrograde operation. It maintains enemy contact while allowing for the recovery of the security force or the replacement of a unit that is combat-ineffective.</rdfs:comment>
    <cycAnnot:label xml:lang="en">RearwardPassageOfLines-MilitaryOperation</cycAnnot:label>
  </Mx4rvgyjn5wpEbGdrcN5Y29ycA>

  <Mx4rvgyjn5wpEbGdrcN5Y29ycA rdf:about="Mx4rvWAZ_5wpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvmWl5ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MilitaryOffensiveOperation&lt;/a&gt;.  Instances
are offensive operations characterized by actual instances of
&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwJ8OtZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Engagement_Military&lt;/a&gt;, a requirement that does not extend to instances
of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvmWl5ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MilitaryOffensiveOperation&lt;/a&gt; in general.</rdfs:comment>
    <rdfs:label xml:lang="en">attack operation</rdfs:label>
    <cycAnnot:label xml:lang="en">Attack-MilitaryOperation</cycAnnot:label>
  </Mx4rvgyjn5wpEbGdrcN5Y29ycA>

  <Mx4rvgyjn5wpEbGdrcN5Y29ycA rdf:about="Mx4rvaAYlZwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">retrograde defense operation</rdfs:label>
    <cycAnnot:label xml:lang="en">RetrogradeDefense-MilitaryOperation</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of those defensive operations in which there is an organized movement to the rear or away from the enemy. FM 100-40.</rdfs:comment>
  </Mx4rvgyjn5wpEbGdrcN5Y29ycA>

  <Mx4rvgyjn5wpEbGdrcN5Y29ycA rdf:about="Mx4rval3JZwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">A river crossing operation is an enabling operation conducted in order to project combat power across a water obstacle.</rdfs:comment>
    <rdfs:label xml:lang="en">river crossing</rdfs:label>
    <cycAnnot:label xml:lang="en">RiverCrossing-MilitaryOperation</cycAnnot:label>
  </Mx4rvgyjn5wpEbGdrcN5Y29ycA>

  <Mx4rvgyjn5wpEbGdrcN5Y29ycA rdf:about="Mx4rvfLq6JwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">SearchAndAttack-MilitaryOperation</cycAnnot:label>
    <rdfs:comment xml:lang="en">This is the collection of instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvhxFJZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MilitaryOperation&lt;/a&gt; that are performed by smaller, light maneuver units, and air cavalry or air assault units in large areas. It is used when the enemy disperses in an area of close terrain that is unsuited for heavy forces, when enemy weaknesses cannot be found, or to deny the enemy movement in an area. FM 100-5.</rdfs:comment>
    <rdfs:label xml:lang="en">search and attack operation</rdfs:label>
  </Mx4rvgyjn5wpEbGdrcN5Y29ycA>

  <Mx4rvgyjn5wpEbGdrcN5Y29ycA rdf:about="Mx4rvon59JwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">Retirement-MilitaryOperation</cycAnnot:label>
    <rdfs:label xml:lang="en">military retirement</rdfs:label>
    <rdfs:comment xml:lang="en">A retirement is a task in a retrograde operation in which a force out of contact with the enemy moves away from the enemy, usually to the rear. A retiring unit organizes for combat but does not anticipate interference by enemy ground forces. FM100-40, p13-29.</rdfs:comment>
  </Mx4rvgyjn5wpEbGdrcN5Y29ycA>

  <Mx4rvgyjn5wpEbGdrcN5Y29ycA rdf:about="Mx4rv44FLpwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">Security-MilitaryOperation</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of all 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. FM 100-40.</rdfs:comment>
    <rdfs:label xml:lang="en">security operation</rdfs:label>
  </Mx4rvgyjn5wpEbGdrcN5Y29ycA>

  <Mx4rvgyjn5wpEbGdrcN5Y29ycA rdf:about="Mx4rvslwxpwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">forward passage of lines</rdfs:label>
    <cycAnnot:label xml:lang="en">ForwardPassageOfLines-MilitaryOperation</cycAnnot:label>
    <rdfs:comment xml:lang="en">A forward passage of lines occurs when a unit passes through a unit&apos;s positions while moving toward the enemy. FM100-40, p18-2. The purpose of a forward passage of lines is to conduct operations, such as an attack, reconnaissance, or security. This operation is designed to ensure maintenance of enemy contact. FM100-40, p18-8.</rdfs:comment>
  </Mx4rvgyjn5wpEbGdrcN5Y29ycA>

  <Mx4rvgyjn5wpEbGdrcN5Y29ycA rdf:about="Mx4r8cr_uswgQdad4fOwQjBYlA">
    <cycAnnot:label xml:lang="en">GuardOperation</cycAnnot:label>
    <rdfs:comment xml:lang="en">(from DOD): A form of security operation whose primary task is to protect the main force by fighting to gain time while also observing and reporting information, and to prevent enemy ground observation of and direct fire against the main body by reconnoitering, attacking, defending, and delaying.</rdfs:comment>
    <rdfs:label xml:lang="en">guard operation</rdfs:label>
  </Mx4rvgyjn5wpEbGdrcN5Y29ycA>

  <Mx4rvgyjn5wpEbGdrcN5Y29ycA rdf:about="Mx4rvmWl5ZwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">offensive operation</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of all instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvhxFJZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MilitaryOperation&lt;/a&gt; where the primary purpose or goal is offensive in nature.  This collection is inclusive of concerted operations carried out by multiple units. For individual &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwCCSNZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MilitaryAction&lt;/a&gt;s carried out by particular units, see &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwNegjJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MilitaryTask_Offensive&lt;/a&gt;.  &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvmWl5ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MilitaryOffensiveOperation&lt;/a&gt; is the &apos;defensive&apos; analog of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvuMS3ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MilitaryDefensiveOperation&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">MilitaryOffensiveOperation</cycAnnot:label>
  </Mx4rvgyjn5wpEbGdrcN5Y29ycA>

  <Mx4rvgyjn5wpEbGdrcN5Y29ycA rdf:about="Mx4rvcRWA5wpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">mobile defense operation</rdfs:label>
    <cycAnnot:label xml:lang="en">MobileDefense-MilitaryOperation</cycAnnot:label>
    <rdfs:comment xml:lang="en">The mobile defense operation focuses on defeating or destroying the enemy force by allowing him to advance to a point where he is exposed to a decisive counterattack by the striking force. The commander organizes his force into two principal groups: the fixing force and the striking force. The primary defeat mechanism, the counterattack, is supplemented by the fires of the fixing force. The mobile defense is normally conducted by brigades, divisions and corps. Battalions and smaller units do not conduct a mobile defense because they are incapable of conducting operations in depth and fighting multiple engagements while resourcing the striking force, the fixing force, and a reserve.  FM100- 40, Ch12.</rdfs:comment>
  </Mx4rvgyjn5wpEbGdrcN5Y29ycA>

  <Mx4rvgyjn5wpEbGdrcN5Y29ycA rdf:about="Mx4rvs8YhpwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">pacification</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of all pacification. A type of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvhxFJZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MilitaryOperation&lt;/a&gt;. &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvs8YhpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Pacification_MilitaryOperation&lt;/a&gt; is a &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rv5r6TpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MilitaryEventType&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">Pacification-MilitaryOperation</cycAnnot:label>
  </Mx4rvgyjn5wpEbGdrcN5Y29ycA>

  <Mx4rvgyjn5wpEbGdrcN5Y29ycA rdf:about="Mx4rvo30NpwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">PassageOfLines-MilitaryOperation</cycAnnot:label>
    <rdfs:comment xml:lang="en">A passage of lines is an generally an operation in which one unit moves through another unit&apos;s positions with the intent of moving into or out of enemy contact. It involves the transfer of responsibility for fighting an enemy force from one unit to another in close operations.  The commander&apos;s reasons for conducting a passage of lines are to sustain the tempo of an offensive operation with fresh forces forces to a defense task. FM100-40, p18-2.</rdfs:comment>
    <rdfs:label xml:lang="en">passage of lines</rdfs:label>
  </Mx4rvgyjn5wpEbGdrcN5Y29ycA>

  <Mx4rvgyjn5wpEbGdrcN5Y29ycA rdf:about="Mx4rvbAu25wpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">moving to contact</rdfs:label>
    <rdfs:comment xml:lang="en">A movement to contact is an attack to gain or reestablish contact with the enemy. A properly executed movement to contact develops the combat situation and maintains the commander&apos;s freedom of action after contact is gained.  This flexibility is essential in maintaining the initiative. Enemy forces (other than the final objective) within the assigned area will be put at a disadvantage by being disrupted, fixed or defeated. The movement to contact terminates when it reaches its final objective or limit of advance, or must conduct a deliberate attack, a hasty defense, or retrograde. FM100-40, Ch4.</rdfs:comment>
    <cycAnnot:label xml:lang="en">MovementToContact-MilitaryOperation</cycAnnot:label>
  </Mx4rvgyjn5wpEbGdrcN5Y29ycA>

  <Mx4rvgyjn5wpEbGdrcN5Y29ycA rdf:about="Mx4rvemi_ZwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">approach march</rdfs:label>
    <cycAnnot:label xml:lang="en">ApproachMarch-MilitaryOperation</cycAnnot:label>
    <rdfs:comment xml:lang="en">&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvemi_ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ApproachMarch_MilitaryOperation&lt;/a&gt; is the collection of instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvhxFJZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MilitaryOperation&lt;/a&gt; that are conducted in order to close the distance between the unit(s) in question and the enemy, whose location is relatively certain. FM 100-5.</rdfs:comment>
  </Mx4rvgyjn5wpEbGdrcN5Y29ycA>

  <owl:Thing rdf:about="http://umbel.org/umbel/sc/MilitaryOperationType">
    <rdfs:comment xml:lang="en">A collection of collections: every element of MilitaryOperationType is a collection of instances of MilitaryOperation.</rdfs:comment>
    <cycAnnot:label xml:lang="en">MilitaryOperationType</cycAnnot:label>
    <rdfs:label xml:lang="en">type of military operation</rdfs:label>
  </owl:Thing>

  <owl:Class rdf:about="Mx4rHQdVmB_TEdaAAABQ2rksLw">
    <rdfs:comment xml:lang="en">The collection of all specializations of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw&quot; class=&quot;cyc_term&quot;&gt;FirstOrderCollection&lt;/a&gt;, that is, of all collections of (first-order) collections, and an instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rHUFI8h_TEdaAAABQ2rksLw&quot; class=&quot;cyc_term&quot;&gt;ThirdOrderCollection&lt;/a&gt;.  Instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw&quot; class=&quot;cyc_term&quot;&gt;SecondOrderCollection&lt;/a&gt; are collections of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw&quot; class=&quot;cyc_term&quot;&gt;FirstOrderCollection&lt;/a&gt;s.  Any instance of any instance of any instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw&quot; class=&quot;cyc_term&quot;&gt;SecondOrderCollection&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Individual&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">SecondOrderCollection</cycAnnot:label>
    <rdfs:label xml:lang="en">second-order Cyc collection</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="&cyc;Mx4rvgyjn5wpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">A collection of collections: every element of MilitaryOperationType is a collection of instances of MilitaryOperation.</rdfs:comment>
    <cycAnnot:label xml:lang="en">MilitaryOperationType</cycAnnot:label>
    <rdfs:label xml:lang="en">type of military operation</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rv5r6TpwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">type of military event</rdfs:label>
    <rdfs:comment xml:lang="en">A collection of collections.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rv5r6TpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MilitaryEventType&lt;/a&gt; is a collection of instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvnSeAJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MilitaryEvent&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">MilitaryEventType</cycAnnot:label>
  </owl:Class>

  <owl:ObjectProperty rdf:about="Mx4rwLSVCpwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">Pretty String</rdfs:label>
    <rdfs:comment xml:lang="en">(&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;prettyString&lt;/a&gt; TERM STRING) means that STRING is the English word or expression (sequence of words) commonly used to refer to TERM.  The predicate &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;prettyString&lt;/a&gt; is used by the code which generates CycL to English paraphrases, but its applicability is not restricted to this use.</rdfs:comment>
    <cycAnnot:label xml:lang="en">prettyString</cycAnnot:label>
  </owl:ObjectProperty>

  <owl:Class rdf:about="&ocyc;Mx4rvgyjn5wpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">A collection of collections: every element of MilitaryOperationType is a collection of instances of MilitaryOperation.</rdfs:comment>
    <cycAnnot:label xml:lang="en">MilitaryOperationType</cycAnnot:label>
    <rdfs:label xml:lang="en">type of military operation</rdfs:label>
  </owl:Class>

</rdf:RDF>
