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

<?xml-stylesheet type="text/xsl" href="http://sw.opencyc.org/xsl/OpenCycOWLCollectionDisplayNL.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/2009/04/07/concept/en/"
         xmlns="http://sw.opencyc.org/2009/04/07/concept/en/"
         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/2009/04/07/concept/en/">
    <owl:versionInfo>2009/04/07</owl:versionInfo>
    <rdfs:comment xml:lang="en">

       OpenCyc Knowledge Base

       Copyright© 2001-2009 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 &quot;Work&quot; 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.

       Mappings between OpenCyc terms and Wikipedia article names provided by
       Olena Medelyan and Catherine Legg, University of Waikato, NZ under a Creative 
       Commons Attribution 3.0 license.

    </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="TransportationDevice">
    <cycAnnot:label xml:lang="en">TransportationDevice</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of both &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Conveyance&quot; class=&quot;cyc_term&quot;&gt;Conveyance&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/PhysicalDevice&quot; class=&quot;cyc_term&quot;&gt;PhysicalDevice&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt; is an artifact designed to move an object from one location to another, by (for example) carrying, pulling, or pushing the transported object.  Instances of this collection may or may not have their own power source (see &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/SelfPoweredDevice&quot; class=&quot;cyc_term&quot;&gt;SelfPoweredDevice&lt;/a&gt;).  Those that do, such as automobiles and speedboats, constitute the specialization &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice_Vehicle&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice_Vehicle&lt;/a&gt;.  Other transportation devices (for example, instances of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Wheelbarrow&quot; class=&quot;cyc_term&quot;&gt;Wheelbarrow&lt;/a&gt; or &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Bicycle&quot; class=&quot;cyc_term&quot;&gt;Bicycle&lt;/a&gt;) require an external motive force.  Because &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/transporter&quot; class=&quot;cyc_term&quot;&gt;transporter&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/transportees&quot; class=&quot;cyc_term&quot;&gt;transportees&lt;/a&gt; are specializations of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/objectMoving&quot; class=&quot;cyc_term&quot;&gt;objectMoving&lt;/a&gt;, it follows that any object in the role of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/transporter&quot; class=&quot;cyc_term&quot;&gt;transporter&lt;/a&gt; moves as a whole with those objects playing the role of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/transportees&quot; class=&quot;cyc_term&quot;&gt;transportees&lt;/a&gt;.  Consequently, since any instance of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt; has playing the role of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/transporter&quot; class=&quot;cyc_term&quot;&gt;transporter&lt;/a&gt; as its intended function, stationary objects which cause motion, such as conveyor belts, escalators, rocket launchers, and slingshots, are excluded from the collection &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt;. Although they facilitate travel, ice skates, shoes, skis and other instances of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/WearableConveyance&quot; class=&quot;cyc_term&quot;&gt;WearableConveyance&lt;/a&gt; are also excluded from the collection &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt;, since they are devices which are worn rather than ridden on, ridden with, or ridden in.</rdfs:comment>
    <rdfs:label xml:lang="en">transportation device</rdfs:label>
    <cycAnnot:externalID>Mx4rvVjVQJwpEbGdrcN5Y29ycA</cycAnnot:externalID>
    <rdfs:subClassOf rdf:resource="Human_scale_object_that_is_not_an_indoor_space"/>
    <rdfs:subClassOf rdf:resource="Conveyance"/>
    <rdfs:subClassOf rdf:resource="Artifact_NonAgentive"/>
    <rdfs:subClassOf rdf:resource="PhysicalDevice"/>
    <rdf:type rdf:resource="ExistingObjectType"/>
    <rdf:type rdf:resource="SpatiallyDisjointObjectType"/>
    <rdf:type rdf:resource="SpecializationsOfPhysicalDevice_Device_Topic"/>
    <rdf:type rdf:resource="Transportation_Topic"/>
    <rdf:type rdf:resource="TerroristAttackTargetTypeType"/>
    <rdf:type rdf:resource="ArtifactTypeByFunction"/>
    <owl:sameAs rdf:resource="http://dbpedia.org/resource/Vehicle"/>
    <owl:sameAs rdf:resource="http://umbel.org/umbel/sc/TransportationDevice"/>
    <owl:sameAs rdf:resource="http://sw.opencyc.org/2009/04/07/concept/Mx4rvVjVQJwpEbGdrcN5Y29ycA"/>
    <owl:sameAs rdf:resource="&cyc;Mx4rvVjVQJwpEbGdrcN5Y29ycA"/>
    <owl:sameAs rdf:resource="&ocyc;Mx4rvVjVQJwpEbGdrcN5Y29ycA"/>
    <facets_Partition rdf:resource="TransportationDeviceTypeByCrewedStatus"/>
    <partitionedInto rdf:resource="Either_a_multi_passenger_transportation_device_or_a_single_passenger_vehicle"/>
    <prettyString xml:lang="en">transportation devices</prettyString>
    <wikipediaArticleName>Vehicle</wikipediaArticleName>
    <wikipediaArticleURL>http://en.wikipedia.org/wiki/Vehicle</wikipediaArticleURL>
  </owl:Class>

  <owl:Class rdf:about="Manned_CrewAttribute">
    <rdfs:subClassOf rdf:resource="TransportationDevice"/>
    <cycAnnot:label xml:lang="en">Manned-CrewAttribute</cycAnnot:label>
    <rdfs:label xml:lang="en">manned crew attribute</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of all &apos;manned&apos; &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt;s, i.e., all &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt;s which have assigned &apos;crew&apos; who are present &apos;on&apos; the device.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Torpedo_MK_44">
    <rdfs:subClassOf rdf:resource="TransportationDevice"/>
    <cycAnnot:label xml:lang="en">Torpedo-MK-44</cycAnnot:label>
    <rdfs:label xml:lang="en">MK-44 torpedo</rdfs:label>
    <rdfs:comment xml:lang="en">A type of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Torpedo&quot; class=&quot;cyc_term&quot;&gt;Torpedo&lt;/a&gt; with &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/ActiveSonar_Device&quot; class=&quot;cyc_term&quot;&gt;ActiveSonar_Device&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="FROG7RocketLauncher">
    <rdfs:subClassOf rdf:resource="TransportationDevice"/>
    <cycAnnot:label xml:lang="en">FROG7RocketLauncher</cycAnnot:label>
    <rdfs:comment xml:lang="en">A collection of rocket launchers with a 40 kilometer range.</rdfs:comment>
    <rdfs:label xml:lang="en">FROG-7 rocket launcher</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="T75K1MortarSystem">
    <rdfs:subClassOf rdf:resource="TransportationDevice"/>
    <rdfs:label xml:lang="en">the T75K1 mortar system</rdfs:label>
    <cycAnnot:label xml:lang="en">T75K1MortarSystem</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="ShkvalTorpedo">
    <rdfs:subClassOf rdf:resource="TransportationDevice"/>
    <cycAnnot:label xml:lang="en">ShkvalTorpedo</cycAnnot:label>
    <rdfs:comment xml:lang="en">A type of high-speed Russian &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Torpedo&quot; class=&quot;cyc_term&quot;&gt;Torpedo&lt;/a&gt; with speeds of hundreds of miles per hour underwater.</rdfs:comment>
    <rdfs:label xml:lang="en">shkval torpedo</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Torpedo_MK_46">
    <rdfs:subClassOf rdf:resource="TransportationDevice"/>
    <rdfs:label xml:lang="en">MK-46 torpedo</rdfs:label>
    <rdfs:comment xml:lang="en">A type of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Torpedo&quot; class=&quot;cyc_term&quot;&gt;Torpedo&lt;/a&gt; with &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/ActiveSonar_Device&quot; class=&quot;cyc_term&quot;&gt;ActiveSonar_Device&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/PassiveSonar_Device&quot; class=&quot;cyc_term&quot;&gt;PassiveSonar_Device&lt;/a&gt; to provide guidance. The &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Torpedo_MK_46&quot; class=&quot;cyc_term&quot;&gt;Torpedo_MK_46&lt;/a&gt; was designed specifically for attacking high performance &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Submarine&quot; class=&quot;cyc_term&quot;&gt;Submarine&lt;/a&gt;s and is the preferred  &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Warhead&quot; class=&quot;cyc_term&quot;&gt;Warhead&lt;/a&gt; for &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/AntiSubmarineRocket&quot; class=&quot;cyc_term&quot;&gt;AntiSubmarineRocket&lt;/a&gt;s.</rdfs:comment>
    <cycAnnot:label xml:lang="en">Torpedo-MK-46</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Platform_Military">
    <rdfs:subClassOf rdf:resource="TransportationDevice"/>
    <rdfs:label xml:lang="en">military platform</rdfs:label>
    <cycAnnot:label xml:lang="en">Platform-Military</cycAnnot:label>
    <rdfs:comment xml:lang="en">&lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Platform_Military&quot; class=&quot;cyc_term&quot;&gt;Platform_Military&lt;/a&gt; is a specialization of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/MilitaryHardware&quot; class=&quot;cyc_term&quot;&gt;MilitaryHardware&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Platform_Military&quot; class=&quot;cyc_term&quot;&gt;Platform_Military&lt;/a&gt; is a transportation device which can carry military equipment such as &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Weapon&quot; class=&quot;cyc_term&quot;&gt;Weapon&lt;/a&gt;s, personnel and communications equipment. When a &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Platform_Military&quot; class=&quot;cyc_term&quot;&gt;Platform_Military&lt;/a&gt; is armed with a &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Weapon&quot; class=&quot;cyc_term&quot;&gt;Weapon&lt;/a&gt;, such as a &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Tank_Vehicle&quot; class=&quot;cyc_term&quot;&gt;Tank_Vehicle&lt;/a&gt;, it will result in a type of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/WeaponSystem&quot; class=&quot;cyc_term&quot;&gt;WeaponSystem&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="SailingVessel">
    <rdfs:subClassOf rdf:resource="TransportationDevice"/>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/WindPoweredDevice&quot; class=&quot;cyc_term&quot;&gt;WindPoweredDevice&lt;/a&gt;.  Instances are transportation devices that are powered by wind blowing against sails supported by masts.</rdfs:comment>
    <rdfs:label xml:lang="en">sailing vessel</rdfs:label>
    <cycAnnot:label xml:lang="en">SailingVessel</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="TransportationDevice_Unmanned">
    <rdfs:subClassOf rdf:resource="TransportationDevice"/>
    <cycAnnot:label xml:lang="en">TransportationDevice-Unmanned</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt;s that can operate without a driver (see &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/driverActor&quot; class=&quot;cyc_term&quot;&gt;driverActor&lt;/a&gt;) actually being in or on the device.  Examples include drone aircraft operated by remote control and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/WeatherBalloon&quot; class=&quot;cyc_term&quot;&gt;WeatherBalloon&lt;/a&gt;s.</rdfs:comment>
    <rdfs:label xml:lang="en">unmanned vehicle</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Moped">
    <rdfs:subClassOf rdf:resource="TransportationDevice"/>
    <cycAnnot:label xml:lang="en">Moped</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/MotorScooter&quot; class=&quot;cyc_term&quot;&gt;MotorScooter&lt;/a&gt;.  &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Moped&quot; class=&quot;cyc_term&quot;&gt;Moped&lt;/a&gt;s are motor scooters with limited power and speed (30-35 mph).  They often have pedals.
The moped classification was designed to allow the use of small motorized vehicles while avoiding certain safety restrictions and licensing charges attached to more powerful scooters and motorcycles.</rdfs:comment>
    <rdfs:label xml:lang="en">moped</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="LandTransportationDevice">
    <rdfs:subClassOf rdf:resource="TransportationDevice"/>
    <cycAnnot:label xml:lang="en">LandTransportationDevice</cycAnnot:label>
    <rdfs:label xml:lang="en">land transportation device</rdfs:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/LandTransportationDevice&quot; class=&quot;cyc_term&quot;&gt;LandTransportationDevice&lt;/a&gt; is a device used for transportation across land.  Specializations of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/LandTransportationDevice&quot; class=&quot;cyc_term&quot;&gt;LandTransportationDevice&lt;/a&gt; include the collections &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Automobile&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Snowmobile&quot; class=&quot;cyc_term&quot;&gt;Snowmobile&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Truck&quot; class=&quot;cyc_term&quot;&gt;Truck&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/HorseCarriage&quot; class=&quot;cyc_term&quot;&gt;HorseCarriage&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/BabyCarriage&quot; class=&quot;cyc_term&quot;&gt;BabyCarriage&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Bus_RoadVehicle&quot; class=&quot;cyc_term&quot;&gt;Bus_RoadVehicle&lt;/a&gt;, and &lt;font color=&quot;#ff0000&quot;&gt;#$SkateBoard&lt;/font&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="IntraBuildingTransportationDevice">
    <rdfs:subClassOf rdf:resource="TransportationDevice"/>
    <cycAnnot:label xml:lang="en">IntraBuildingTransportationDevice</cycAnnot:label>
    <rdfs:label xml:lang="en">intra building transportation device</rdfs:label>
    <rdfs:comment xml:lang="en">Devices used to move people or goods within a building</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="SinglePassengerTransportationDevice">
    <rdfs:subClassOf rdf:resource="TransportationDevice"/>
    <rdfs:label xml:lang="en">single-passenger vehicle</rdfs:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt;. Each instance of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/SinglePassengerTransportationDevice&quot; class=&quot;cyc_term&quot;&gt;SinglePassengerTransportationDevice&lt;/a&gt; is a vehicle *designed* to carry only one passenger, typically only the driver. Positive examples of this collection will include the unicycle, most bicycles, and some kinds of airplanes.</rdfs:comment>
    <cycAnnot:label xml:lang="en">SinglePassengerTransportationDevice</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Torpedo_MK_50">
    <rdfs:subClassOf rdf:resource="TransportationDevice"/>
    <rdfs:label xml:lang="en">MK-50 torpedo</rdfs:label>
    <cycAnnot:label xml:lang="en">Torpedo-MK-50</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="AirTransportationDevice">
    <rdfs:subClassOf rdf:resource="TransportationDevice"/>
    <rdfs:label xml:lang="en">aircraft</rdfs:label>
    <cycAnnot:label xml:lang="en">AirTransportationDevice</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/AirTransportationDevice&quot; class=&quot;cyc_term&quot;&gt;AirTransportationDevice&lt;/a&gt; is a device used for transporting either people or cargo through the air.  Specializations of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/AirTransportationDevice&quot; class=&quot;cyc_term&quot;&gt;AirTransportationDevice&lt;/a&gt; include the collections &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Airplane&quot; class=&quot;cyc_term&quot;&gt;Airplane&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Helicopter&quot; class=&quot;cyc_term&quot;&gt;Helicopter&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/HotAirBalloon&quot; class=&quot;cyc_term&quot;&gt;HotAirBalloon&lt;/a&gt;, and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/GroundToOrbitVehicle&quot; class=&quot;cyc_term&quot;&gt;GroundToOrbitVehicle&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Spacecraft">
    <rdfs:subClassOf rdf:resource="TransportationDevice"/>
    <cycAnnot:label xml:lang="en">Spacecraft</cycAnnot:label>
    <rdfs:comment xml:lang="en">&lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Spacecraft&quot; class=&quot;cyc_term&quot;&gt;Spacecraft&lt;/a&gt; is a specialization of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Spacecraft&quot; class=&quot;cyc_term&quot;&gt;Spacecraft&lt;/a&gt; is a transportation device either deployed entirely in outer space, or one whose trajectories leave the atmosphere of the planet it&apos;s launched from, in order to orbit the planet or to travel beyond the planet&apos;s gravitational field.  A &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Spacecraft&quot; class=&quot;cyc_term&quot;&gt;Spacecraft&lt;/a&gt; may either be manned or unmanned.</rdfs:comment>
    <rdfs:label xml:lang="en">spacecraft</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="WaterTransportationDevice">
    <rdfs:subClassOf rdf:resource="TransportationDevice"/>
    <rdfs:label xml:lang="en">water transportation device</rdfs:label>
    <cycAnnot:label xml:lang="en">WaterTransportationDevice</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt;, each instance of which is a device used for transportation on or through water. (It is thus not to be confused with a collection of devices used for transporting water.)  Specializations of  &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/WaterTransportationDevice&quot; class=&quot;cyc_term&quot;&gt;WaterTransportationDevice&lt;/a&gt; include &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Ship&quot; class=&quot;cyc_term&quot;&gt;Ship&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Sailboard&quot; class=&quot;cyc_term&quot;&gt;Sailboard&lt;/a&gt;. A particularly important specialization is &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Watercraft&quot; class=&quot;cyc_term&quot;&gt;Watercraft&lt;/a&gt; : the collection of water transportation devices that protect their passengers from getting wet. See also the second-order collection &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/WaterTransportationDeviceTypeByDesign&quot; class=&quot;cyc_term&quot;&gt;WaterTransportationDeviceTypeByDesign&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="MultiPassengerTransportationDevice">
    <rdfs:subClassOf rdf:resource="TransportationDevice"/>
    <cycAnnot:label xml:lang="en">MultiPassengerTransportationDevice</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt;. Each instance of
&lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/MultiPassengerTransportationDevice&quot; class=&quot;cyc_term&quot;&gt;MultiPassengerTransportationDevice&lt;/a&gt; is a vehicle designed to carry
more than one passenger, driver inclusive. Positive examples of this
collection include passenger airplanes, mini-vans, etc.</rdfs:comment>
    <rdfs:label xml:lang="en">multi-passenger transportation device</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="MaterialTransporter">
    <rdfs:subClassOf rdf:resource="TransportationDevice"/>
    <rdfs:label xml:lang="en">material transporter</rdfs:label>
    <rdfs:comment xml:lang="en">A &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/DeviceTypeByFunction&quot; class=&quot;cyc_term&quot;&gt;DeviceTypeByFunction&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/MaterialTransporter&quot; class=&quot;cyc_term&quot;&gt;MaterialTransporter&lt;/a&gt; is a &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt; whose &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/primaryFunction&quot; class=&quot;cyc_term&quot;&gt;primaryFunction&lt;/a&gt; is to move a &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/LiquidTangibleThing&quot; class=&quot;cyc_term&quot;&gt;LiquidTangibleThing&lt;/a&gt; (e.g. a large amount of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Oil&quot; class=&quot;cyc_term&quot;&gt;Oil&lt;/a&gt;) or a &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Group&quot; class=&quot;cyc_term&quot;&gt;Group&lt;/a&gt; of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/InanimateObject&quot; class=&quot;cyc_term&quot;&gt;InanimateObject&lt;/a&gt;s (e.g. a (&lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/MobFn&quot; class=&quot;cyc_term&quot;&gt;MobFn&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/LogOfWood&quot; class=&quot;cyc_term&quot;&gt;LogOfWood&lt;/a&gt;)) from one place to another.  Specializations include &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/GarbageTruck&quot; class=&quot;cyc_term&quot;&gt;GarbageTruck&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Barge&quot; class=&quot;cyc_term&quot;&gt;Barge&lt;/a&gt;, and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Wheelbarrow&quot; class=&quot;cyc_term&quot;&gt;Wheelbarrow&lt;/a&gt;.  Note that many &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/MaterialTransporter&quot; class=&quot;cyc_term&quot;&gt;MaterialTransporter&lt;/a&gt;s &lt;i&gt;can&lt;/i&gt; be used to transport people or animals; but this is not their primary function.  &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/WreckerTruck&quot; class=&quot;cyc_term&quot;&gt;WreckerTruck&lt;/a&gt; is not a specialization of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/MaterialTransporter&quot; class=&quot;cyc_term&quot;&gt;MaterialTransporter&lt;/a&gt;, since the &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/primaryFunction&quot; class=&quot;cyc_term&quot;&gt;primaryFunction&lt;/a&gt; of a &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/WreckerTruck&quot; class=&quot;cyc_term&quot;&gt;WreckerTruck&lt;/a&gt; is to tow a single &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/RoadVehicle&quot; class=&quot;cyc_term&quot;&gt;RoadVehicle&lt;/a&gt; (not a &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Mob&quot; class=&quot;cyc_term&quot;&gt;Mob&lt;/a&gt; of them).  Two borderline cases are &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/PickupTruck&quot; class=&quot;cyc_term&quot;&gt;PickupTruck&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Forklift&quot; class=&quot;cyc_term&quot;&gt;Forklift&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">MaterialTransporter</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Unmanned_CrewAttribute">
    <rdfs:subClassOf rdf:resource="TransportationDevice"/>
    <rdfs:label xml:lang="en">unmanned transportation device</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of all &apos;unmanned&apos; &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt;s, i.e., all &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt;s for which no assigned &apos;crew&apos; is physically present &apos;on&apos; the device.</rdfs:comment>
    <cycAnnot:label xml:lang="en">Unmanned-CrewAttribute</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Member_of__transportation_device_ruin_">
    <rdfs:subClassOf rdf:resource="TransportationDevice"/>
    <cycAnnot:label xml:lang="en">(CollectionIntersectionFn (TheSet TransportationDevice RuinedArtifact))</cycAnnot:label>
    <rdfs:label xml:lang="en">member of { transportation device, ruin }</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="JetPropelledTransportationDevice">
    <rdfs:subClassOf rdf:resource="TransportationDevice"/>
    <rdfs:label xml:lang="en">jet propelled vehicle</rdfs:label>
    <cycAnnot:label xml:lang="en">JetPropelledTransportationDevice</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of all &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt;s that are propelled by &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/JetEngine&quot; class=&quot;cyc_term&quot;&gt;JetEngine&lt;/a&gt;s.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="TransportationDevice_Vehicle">
    <rdfs:subClassOf rdf:resource="TransportationDevice"/>
    <cycAnnot:label xml:lang="en">TransportationDevice-Vehicle</cycAnnot:label>
    <rdfs:label xml:lang="en">self-powered vehicle</rdfs:label>
    <rdfs:comment xml:lang="en">&lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice_Vehicle&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice_Vehicle&lt;/a&gt; is a specialization of both &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/SelfPoweredDevice&quot; class=&quot;cyc_term&quot;&gt;SelfPoweredDevice&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice_Vehicle&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice_Vehicle&lt;/a&gt; is a transportation device that moves under its own power.  Examples include jet airplanes and automobiles; non-examples include skateboards, gliders, and rowboats.  Note that hand-pushed power lawnmowers, even though they are &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/SelfPoweredDevice&quot; class=&quot;cyc_term&quot;&gt;SelfPoweredDevice&lt;/a&gt;s, are not instances of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice_Vehicle&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice_Vehicle&lt;/a&gt;, since they must be pushed in order to remain in motion.</rdfs:comment>
  </owl:Class>

  <owl:ObjectProperty rdf:about="prettyString">
    <cycAnnot:label xml:lang="en">prettyString</cycAnnot:label>
    <rdfs:label xml:lang="en">Pretty String</rdfs:label>
    <rdfs:comment xml:lang="en">(&lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/prettyString&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/2009/04/07/concept/en/prettyString&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>
  </owl:ObjectProperty>

  <owl:Class rdf:about="Transportation_Topic">
    <cycAnnot:label xml:lang="en">Transportation-Topic</cycAnnot:label>
    <rdfs:label xml:lang="en">transportation-topic</rdfs:label>
    <rdfs:comment xml:lang="en">An instance of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Topic&quot; class=&quot;cyc_term&quot;&gt;Topic&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Transportation_Topic&quot; class=&quot;cyc_term&quot;&gt;Transportation_Topic&lt;/a&gt; is a &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Thing&quot; class=&quot;cyc_term&quot;&gt;Thing&lt;/a&gt; which (in some significant sense) has to do with the topic of transportation.</rdfs:comment>
  </owl:Class>

  <owl:ObjectProperty rdf:about="partitionedInto">
    <rdfs:label xml:lang="en">Partitioned Into</rdfs:label>
    <rdfs:comment xml:lang="en">(&lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/partitionedInto&quot; class=&quot;cyc_term&quot;&gt;partitionedInto&lt;/a&gt; SETORCOL PART) means that the mathematical set or collection PART is a partition of the mathematical set or collection SETORCOL; that is, the elements of PART are themselves mathematical sets or collections, and every element of SETORCOL is an element of exactly one element of PART, and every element of PART is a subset of SETORCOL.  In other words, PART is a set or collection of pairwise disjoint sets or collections whose union is co-extensional with SETORCOL.  Typically, the &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/DisjointSetOrCollectionType&quot; class=&quot;cyc_term&quot;&gt;DisjointSetOrCollectionType&lt;/a&gt; that plays the role of PART in an assertion about partitioning will be a set specified by enumerating its elements, using the function &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/ThePartition&quot; class=&quot;cyc_term&quot;&gt;ThePartition&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">partitionedInto</cycAnnot:label>
  </owl:ObjectProperty>

  <owl:Thing rdf:about="http://umbel.org/umbel/sc/TransportationDevice">
    <cycAnnot:label xml:lang="en">TransportationDevice</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of both &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Conveyance&quot; class=&quot;cyc_term&quot;&gt;Conveyance&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/PhysicalDevice&quot; class=&quot;cyc_term&quot;&gt;PhysicalDevice&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt; is an artifact designed to move an object from one location to another, by (for example) carrying, pulling, or pushing the transported object.  Instances of this collection may or may not have their own power source (see &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/SelfPoweredDevice&quot; class=&quot;cyc_term&quot;&gt;SelfPoweredDevice&lt;/a&gt;).  Those that do, such as automobiles and speedboats, constitute the specialization &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice_Vehicle&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice_Vehicle&lt;/a&gt;.  Other transportation devices (for example, instances of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Wheelbarrow&quot; class=&quot;cyc_term&quot;&gt;Wheelbarrow&lt;/a&gt; or &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Bicycle&quot; class=&quot;cyc_term&quot;&gt;Bicycle&lt;/a&gt;) require an external motive force.  Because &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/transporter&quot; class=&quot;cyc_term&quot;&gt;transporter&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/transportees&quot; class=&quot;cyc_term&quot;&gt;transportees&lt;/a&gt; are specializations of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/objectMoving&quot; class=&quot;cyc_term&quot;&gt;objectMoving&lt;/a&gt;, it follows that any object in the role of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/transporter&quot; class=&quot;cyc_term&quot;&gt;transporter&lt;/a&gt; moves as a whole with those objects playing the role of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/transportees&quot; class=&quot;cyc_term&quot;&gt;transportees&lt;/a&gt;.  Consequently, since any instance of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt; has playing the role of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/transporter&quot; class=&quot;cyc_term&quot;&gt;transporter&lt;/a&gt; as its intended function, stationary objects which cause motion, such as conveyor belts, escalators, rocket launchers, and slingshots, are excluded from the collection &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt;. Although they facilitate travel, ice skates, shoes, skis and other instances of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/WearableConveyance&quot; class=&quot;cyc_term&quot;&gt;WearableConveyance&lt;/a&gt; are also excluded from the collection &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt;, since they are devices which are worn rather than ridden on, ridden with, or ridden in.</rdfs:comment>
    <rdfs:label xml:lang="en">transportation device</rdfs:label>
  </owl:Thing>

  <owl:ObjectProperty rdf:about="wikipediaArticleName">
    <rdfs:comment xml:lang="en">(&lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/wikipediaArticleName&quot; class=&quot;cyc_term&quot;&gt;wikipediaArticleName&lt;/a&gt; THING NAME) means that in &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Wikipedia_WebSite&quot; class=&quot;cyc_term&quot;&gt;Wikipedia_WebSite&lt;/a&gt; THING is described by an article with the title NAME</rdfs:comment>
    <cycAnnot:label xml:lang="en">wikipediaArticleName</cycAnnot:label>
    <rdfs:label xml:lang="en">Wikipedia Article Name</rdfs:label>
  </owl:ObjectProperty>

  <owl:Class rdf:about="Artifact_NonAgentive">
    <rdfs:comment xml:lang="en">An instance of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/ObjectType&quot; class=&quot;cyc_term&quot;&gt;ObjectType&lt;/a&gt;, and a specialization of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Artifact_Generic&quot; class=&quot;cyc_term&quot;&gt;Artifact_Generic&lt;/a&gt;.  &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Artifact_NonAgentive&quot; class=&quot;cyc_term&quot;&gt;Artifact_NonAgentive&lt;/a&gt; is the collection of all artifacts that are _not_ agents (i.e., that are _not_ instances of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Agent_Generic&quot; class=&quot;cyc_term&quot;&gt;Agent_Generic&lt;/a&gt;).  Specializations of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Artifact_NonAgentive&quot; class=&quot;cyc_term&quot;&gt;Artifact_NonAgentive&lt;/a&gt; include &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Bicycle&quot; class=&quot;cyc_term&quot;&gt;Bicycle&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Pants&quot; class=&quot;cyc_term&quot;&gt;Pants&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Canal&quot; class=&quot;cyc_term&quot;&gt;Canal&lt;/a&gt;, and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/FoodUtensil&quot; class=&quot;cyc_term&quot;&gt;FoodUtensil&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">Artifact-NonAgentive</cycAnnot:label>
    <rdfs:label xml:lang="en">non-agentive artifact</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="&cyc;Mx4rvVjVQJwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">TransportationDevice</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of both &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Conveyance&quot; class=&quot;cyc_term&quot;&gt;Conveyance&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/PhysicalDevice&quot; class=&quot;cyc_term&quot;&gt;PhysicalDevice&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt; is an artifact designed to move an object from one location to another, by (for example) carrying, pulling, or pushing the transported object.  Instances of this collection may or may not have their own power source (see &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/SelfPoweredDevice&quot; class=&quot;cyc_term&quot;&gt;SelfPoweredDevice&lt;/a&gt;).  Those that do, such as automobiles and speedboats, constitute the specialization &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice_Vehicle&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice_Vehicle&lt;/a&gt;.  Other transportation devices (for example, instances of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Wheelbarrow&quot; class=&quot;cyc_term&quot;&gt;Wheelbarrow&lt;/a&gt; or &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Bicycle&quot; class=&quot;cyc_term&quot;&gt;Bicycle&lt;/a&gt;) require an external motive force.  Because &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/transporter&quot; class=&quot;cyc_term&quot;&gt;transporter&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/transportees&quot; class=&quot;cyc_term&quot;&gt;transportees&lt;/a&gt; are specializations of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/objectMoving&quot; class=&quot;cyc_term&quot;&gt;objectMoving&lt;/a&gt;, it follows that any object in the role of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/transporter&quot; class=&quot;cyc_term&quot;&gt;transporter&lt;/a&gt; moves as a whole with those objects playing the role of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/transportees&quot; class=&quot;cyc_term&quot;&gt;transportees&lt;/a&gt;.  Consequently, since any instance of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt; has playing the role of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/transporter&quot; class=&quot;cyc_term&quot;&gt;transporter&lt;/a&gt; as its intended function, stationary objects which cause motion, such as conveyor belts, escalators, rocket launchers, and slingshots, are excluded from the collection &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt;. Although they facilitate travel, ice skates, shoes, skis and other instances of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/WearableConveyance&quot; class=&quot;cyc_term&quot;&gt;WearableConveyance&lt;/a&gt; are also excluded from the collection &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt;, since they are devices which are worn rather than ridden on, ridden with, or ridden in.</rdfs:comment>
    <rdfs:label xml:lang="en">transportation device</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="SpatiallyDisjointObjectType">
    <rdfs:label xml:lang="en">type of object whose instances do not physically overlap</rdfs:label>
    <cycAnnot:label xml:lang="en">SpatiallyDisjointObjectType</cycAnnot:label>
    <rdfs:comment xml:lang="en">A collection of collections and a specialization of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/ObjectType&quot; class=&quot;cyc_term&quot;&gt;ObjectType&lt;/a&gt; (q.v.). Each instance of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/SpatiallyDisjointObjectType&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt; is a collection C of spatial things (see &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/SpatialThing&quot; class=&quot;cyc_term&quot;&gt;SpatialThing&lt;/a&gt;), where each of the spatial things in C is spatially disjoint with the other spatial things in C.
&lt;p/&gt;
For example, the collection &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Dog&quot; class=&quot;cyc_term&quot;&gt;Dog&lt;/a&gt; is an instance of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/SpatiallyDisjointObjectType&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;, since dogs do not spatially overlap.  Even pregnant dogs do not spatially overlap the pups they bear; rather, pregnant dogs contain their unborn pups.  Other instances of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/SpatiallyDisjointObjectType&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt; include &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/LatitudeLine&quot; class=&quot;cyc_term&quot;&gt;LatitudeLine&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/CompactDisc_Audio&quot; class=&quot;cyc_term&quot;&gt;CompactDisc_Audio&lt;/a&gt;, and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/PlanetaryBody&quot; class=&quot;cyc_term&quot;&gt;PlanetaryBody&lt;/a&gt;.  An important specialization of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/SpatiallyDisjointObjectType&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt; is &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/SpatiallyDisjointRegionType&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointRegionType&lt;/a&gt; (a collection of specializations of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/GeographicalRegion&quot; class=&quot;cyc_term&quot;&gt;GeographicalRegion&lt;/a&gt;, such as &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/City&quot; class=&quot;cyc_term&quot;&gt;City&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TrueContinent&quot; class=&quot;cyc_term&quot;&gt;TrueContinent&lt;/a&gt;).</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="ExistingObjectType">
    <rdfs:comment xml:lang="en">A collection of collections.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/ExistingObjectType&quot; class=&quot;cyc_term&quot;&gt;ExistingObjectType&lt;/a&gt; is a specialization of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/PartiallyTangible&quot; class=&quot;cyc_term&quot;&gt;PartiallyTangible&lt;/a&gt; (q.v.).  Moreover, each instance of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/ExistingObjectType&quot; class=&quot;cyc_term&quot;&gt;ExistingObjectType&lt;/a&gt; is a collection that is temporally stuff-like (see &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TemporalStuffType&quot; class=&quot;cyc_term&quot;&gt;TemporalStuffType&lt;/a&gt;) but physically-spatially object-like (see &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/ObjectType&quot; class=&quot;cyc_term&quot;&gt;ObjectType&lt;/a&gt;) -- i.e.  object-like with respect to some physical-spatial part-whole predicate (e.g. some specialization of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/properPhysicalDecompositions&quot; class=&quot;cyc_term&quot;&gt;properPhysicalDecompositions&lt;/a&gt;).
&lt;p/&gt;
Consider the collection &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/BookCopy&quot; class=&quot;cyc_term&quot;&gt;BookCopy&lt;/a&gt;. &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/BookCopy&quot; class=&quot;cyc_term&quot;&gt;BookCopy&lt;/a&gt; is a specialization of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/PartiallyTangible&quot; class=&quot;cyc_term&quot;&gt;PartiallyTangible&lt;/a&gt;. Further, &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/BookCopy&quot; class=&quot;cyc_term&quot;&gt;BookCopy&lt;/a&gt; is temporally stuff-like: any one of the &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/timeSlices&quot; class=&quot;cyc_term&quot;&gt;timeSlices&lt;/a&gt; of a given copy &lt;code&gt;&lt;b&gt;COPY&lt;/b&gt;&lt;/code&gt; of (say) &amp;quot;Moby Dick&amp;quot; is still a copy of &amp;quot;Moby Dick&amp;quot;. (Most collections of tangible objects are temporally stuff-like in this way.)   But &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/BookCopy&quot; class=&quot;cyc_term&quot;&gt;BookCopy&lt;/a&gt; is spatially &lt;i&gt;object-like&lt;/i&gt;: if we take a scalpel and slice &lt;code&gt;&lt;b&gt;COPY&lt;/b&gt;&lt;/code&gt; into ten pieces, each piece is not a copy of &amp;quot;Moby Dick&amp;quot;.  So &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/BookCopy&quot; class=&quot;cyc_term&quot;&gt;BookCopy&lt;/a&gt; is an instance of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/ExistingObjectType&quot; class=&quot;cyc_term&quot;&gt;ExistingObjectType&lt;/a&gt;.
&lt;p/&gt;
See also &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/StuffType&quot; class=&quot;cyc_term&quot;&gt;StuffType&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/ExistingStuffType&quot; class=&quot;cyc_term&quot;&gt;ExistingStuffType&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">ExistingObjectType</cycAnnot:label>
    <rdfs:label xml:lang="en">type of object</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Conveyance">
    <rdfs:label xml:lang="en">conveyance</rdfs:label>
    <cycAnnot:label xml:lang="en">Conveyance</cycAnnot:label>
    <rdfs:comment xml:lang="en">A collection of solid tangible objects each instance of which
is used for moving partially tangible things.  A &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Conveyance&quot; class=&quot;cyc_term&quot;&gt;Conveyance&lt;/a&gt; 
could be a car, ship, plane, or other vehicle for transporting 
people; it could be a conveyor belt or a grocery bag for moving 
goods; it could be a gun, a bow, or a cannon for launching 
projectiles.  Notable specializations include &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt;,
whose instances actually move along with the things they transport, 
and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Conveyance_Stationary&quot; class=&quot;cyc_term&quot;&gt;Conveyance_Stationary&lt;/a&gt;, whose instances remain stationary 
while moving other things.  Note that not all conveyances are 
artifacts, as (e.g.) horses and rivers can be used to convey
things.  See &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Conveying_Generic&quot; class=&quot;cyc_term&quot;&gt;Conveying_Generic&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationEvent&quot; class=&quot;cyc_term&quot;&gt;TransportationEvent&lt;/a&gt;, and 
&lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Conveying_Stationary&quot; class=&quot;cyc_term&quot;&gt;Conveying_Stationary&lt;/a&gt; for the different kinds of conveying 
events.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="SpecializationsOfPhysicalDevice_Device_Topic">
    <rdfs:label xml:lang="en">specializations of physical device device topic</rdfs:label>
    <cycAnnot:label xml:lang="en">SpecializationsOfPhysicalDevice-Device-Topic</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="http://sw.opencyc.org/2009/04/07/concept/Mx4rvVjVQJwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">TransportationDevice</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of both &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Conveyance&quot; class=&quot;cyc_term&quot;&gt;Conveyance&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/PhysicalDevice&quot; class=&quot;cyc_term&quot;&gt;PhysicalDevice&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt; is an artifact designed to move an object from one location to another, by (for example) carrying, pulling, or pushing the transported object.  Instances of this collection may or may not have their own power source (see &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/SelfPoweredDevice&quot; class=&quot;cyc_term&quot;&gt;SelfPoweredDevice&lt;/a&gt;).  Those that do, such as automobiles and speedboats, constitute the specialization &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice_Vehicle&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice_Vehicle&lt;/a&gt;.  Other transportation devices (for example, instances of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Wheelbarrow&quot; class=&quot;cyc_term&quot;&gt;Wheelbarrow&lt;/a&gt; or &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Bicycle&quot; class=&quot;cyc_term&quot;&gt;Bicycle&lt;/a&gt;) require an external motive force.  Because &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/transporter&quot; class=&quot;cyc_term&quot;&gt;transporter&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/transportees&quot; class=&quot;cyc_term&quot;&gt;transportees&lt;/a&gt; are specializations of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/objectMoving&quot; class=&quot;cyc_term&quot;&gt;objectMoving&lt;/a&gt;, it follows that any object in the role of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/transporter&quot; class=&quot;cyc_term&quot;&gt;transporter&lt;/a&gt; moves as a whole with those objects playing the role of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/transportees&quot; class=&quot;cyc_term&quot;&gt;transportees&lt;/a&gt;.  Consequently, since any instance of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt; has playing the role of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/transporter&quot; class=&quot;cyc_term&quot;&gt;transporter&lt;/a&gt; as its intended function, stationary objects which cause motion, such as conveyor belts, escalators, rocket launchers, and slingshots, are excluded from the collection &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt;. Although they facilitate travel, ice skates, shoes, skis and other instances of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/WearableConveyance&quot; class=&quot;cyc_term&quot;&gt;WearableConveyance&lt;/a&gt; are also excluded from the collection &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt;, since they are devices which are worn rather than ridden on, ridden with, or ridden in.</rdfs:comment>
    <rdfs:label xml:lang="en">transportation device</rdfs:label>
  </owl:Class>

  <owl:Thing rdf:about="Either_a_multi_passenger_transportation_device_or_a_single_passenger_vehicle">
    <rdfs:label xml:lang="en">either a multi-passenger transportation device or a single-passenger vehicle</rdfs:label>
    <cycAnnot:label xml:lang="en">(ThePartition MultiPassengerTransportationDevice SinglePassengerTransportationDevice)</cycAnnot:label>
  </owl:Thing>

  <owl:Class rdf:about="ArtifactTypeByFunction">
    <rdfs:comment xml:lang="en">A collection of collections; a subcollection of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/ArtifactTypeByGenericCategory&quot; class=&quot;cyc_term&quot;&gt;ArtifactTypeByGenericCategory&lt;/a&gt;. Instances of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/ArtifactTypeByFunction&quot; class=&quot;cyc_term&quot;&gt;ArtifactTypeByFunction&lt;/a&gt; are mutually unique with respect to the full set of the primary intended uses of their instances. Examples include &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/DessertFood&quot; class=&quot;cyc_term&quot;&gt;DessertFood&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Sofa_PieceOfFurniture&quot; class=&quot;cyc_term&quot;&gt;Sofa_PieceOfFurniture&lt;/a&gt;. Counter-examples include &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/FountainPen&quot; class=&quot;cyc_term&quot;&gt;FountainPen&lt;/a&gt; (which has the same primary function as its genls, &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/WritingPen&quot; class=&quot;cyc_term&quot;&gt;WritingPen&lt;/a&gt;) and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/FurniturePiece&quot; class=&quot;cyc_term&quot;&gt;FurniturePiece&lt;/a&gt; (specs of which have different primary uses). There may be cases where two instances of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/ArtifactTypeByFunction&quot; class=&quot;cyc_term&quot;&gt;ArtifactTypeByFunction&lt;/a&gt; (PROD1 and PROD2) are related by (&lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/genls&quot; class=&quot;cyc_term&quot;&gt;genls&lt;/a&gt; PROD1 PROD2); but this will only happen in cases where instances of PROD1 have some additional primary function(s) to those of PROD2. For example, the collections &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Sofa_PieceOfFurniture&quot; class=&quot;cyc_term&quot;&gt;Sofa_PieceOfFurniture&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/SofaBed&quot; class=&quot;cyc_term&quot;&gt;SofaBed&lt;/a&gt; are both instances of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/ArtifactTypeByFunction&quot; class=&quot;cyc_term&quot;&gt;ArtifactTypeByFunction&lt;/a&gt;, and (&lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/genls&quot; class=&quot;cyc_term&quot;&gt;genls&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/SofaBed&quot; class=&quot;cyc_term&quot;&gt;SofaBed&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Sofa_PieceOfFurniture&quot; class=&quot;cyc_term&quot;&gt;Sofa_PieceOfFurniture&lt;/a&gt;) is true.</rdfs:comment>
    <cycAnnot:label xml:lang="en">ArtifactTypeByFunction</cycAnnot:label>
    <rdfs:label xml:lang="en">artifact type by function</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="TransportationDeviceTypeByCrewedStatus">
    <rdfs:label xml:lang="en">transportation device type by crewed status</rdfs:label>
    <rdfs:comment xml:lang="en">A &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/FacetingCollectionType&quot; class=&quot;cyc_term&quot;&gt;FacetingCollectionType&lt;/a&gt; that partitions &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt; into &apos;manned&apos; and &apos;unmanned&apos; collections (see &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Manned_CrewAttribute&quot; class=&quot;cyc_term&quot;&gt;Manned_CrewAttribute&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Unmanned_CrewAttribute&quot; class=&quot;cyc_term&quot;&gt;Unmanned_CrewAttribute&lt;/a&gt;).</rdfs:comment>
    <cycAnnot:label xml:lang="en">TransportationDeviceTypeByCrewedStatus</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="PhysicalDevice">
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/SolidTangibleArtifact&quot; class=&quot;cyc_term&quot;&gt;SolidTangibleArtifact&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/ObjectWithUse&quot; class=&quot;cyc_term&quot;&gt;ObjectWithUse&lt;/a&gt;. Each instance of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/PhysicalDevice&quot; class=&quot;cyc_term&quot;&gt;PhysicalDevice&lt;/a&gt; is an artifact with a relatively rigid, set shape, designed for a specific use or to perform a specific function.  Specializations of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/PhysicalDevice&quot; class=&quot;cyc_term&quot;&gt;PhysicalDevice&lt;/a&gt; thus include (among others) &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/RoadVehicle&quot; class=&quot;cyc_term&quot;&gt;RoadVehicle&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Motorboat&quot; class=&quot;cyc_term&quot;&gt;Motorboat&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/HandTool&quot; class=&quot;cyc_term&quot;&gt;HandTool&lt;/a&gt;, and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/PlumbingFixture&quot; class=&quot;cyc_term&quot;&gt;PlumbingFixture&lt;/a&gt;.  Note that artifacts which are only to be viewed or can only be &amp;quot;used&amp;quot; in a very loose or metaphorical sense, such as instances of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Buoy&quot; class=&quot;cyc_term&quot;&gt;Buoy&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Sculpture&quot; class=&quot;cyc_term&quot;&gt;Sculpture&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/FlowerBed&quot; class=&quot;cyc_term&quot;&gt;FlowerBed&lt;/a&gt;, or &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Billboard&quot; class=&quot;cyc_term&quot;&gt;Billboard&lt;/a&gt;, are &lt;i&gt;not&lt;/i&gt; instances of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/PhysicalDevice&quot; class=&quot;cyc_term&quot;&gt;PhysicalDevice&lt;/a&gt;.  Moreover, artifacts which have a specific use or function, but which do not have a relatively rigid, set shape are &lt;i&gt;not&lt;/i&gt; instances of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/PhysicalDevice&quot; class=&quot;cyc_term&quot;&gt;PhysicalDevice&lt;/a&gt;; for this reason, neither &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/GasolineFuel&quot; class=&quot;cyc_term&quot;&gt;GasolineFuel&lt;/a&gt; nor &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/AntiFreeze&quot; class=&quot;cyc_term&quot;&gt;AntiFreeze&lt;/a&gt; are specializations of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/PhysicalDevice&quot; class=&quot;cyc_term&quot;&gt;PhysicalDevice&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">device</rdfs:label>
    <cycAnnot:label xml:lang="en">PhysicalDevice</cycAnnot:label>
  </owl:Class>

  <owl:ObjectProperty rdf:about="facets_Partition">
    <cycAnnot:label xml:lang="en">facets-Partition</cycAnnot:label>
    <rdfs:label xml:lang="en">Facets-Partition</rdfs:label>
    <rdfs:comment xml:lang="en">A &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TaxonomicSlotForCollections&quot; class=&quot;cyc_term&quot;&gt;TaxonomicSlotForCollections&lt;/a&gt; and a specialization of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/facets_Strict&quot; class=&quot;cyc_term&quot;&gt;facets_Strict&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/facets_Covering&quot; class=&quot;cyc_term&quot;&gt;facets_Covering&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/facets_NearPartition&quot; class=&quot;cyc_term&quot;&gt;facets_NearPartition&lt;/a&gt;, and  &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/partitionedInto&quot; class=&quot;cyc_term&quot;&gt;partitionedInto&lt;/a&gt; (qq.v.).  (&lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/facets_Partition&quot; class=&quot;cyc_term&quot;&gt;facets_Partition&lt;/a&gt; COL COLTYPE) means  that COLTYPE corresponds to one way of dividing the entirety of COL  into disjoint subcollections.  Specifically, (i) the instances of  COLTYPE are all the same sort of subcollection of COL and (ii) each  instance of COL is an instance of exactly one instance of of COLTYPE.   For example,  (&lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/facets_Partition&quot; class=&quot;cyc_term&quot;&gt;facets_Partition&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/FixedArityFunction&quot; class=&quot;cyc_term&quot;&gt;FixedArityFunction&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/FixedArityFunctionTypeByArity&quot; class=&quot;cyc_term&quot;&gt;FixedArityFunctionTypeByArity&lt;/a&gt;) holds, as each fixed-arity function has exactly one arity (see &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/arity&quot; class=&quot;cyc_term&quot;&gt;arity&lt;/a&gt;).</rdfs:comment>
  </owl:ObjectProperty>

  <owl:Thing rdf:about="http://dbpedia.org/resource/Vehicle">
    <cycAnnot:label xml:lang="en">TransportationDevice</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of both &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Conveyance&quot; class=&quot;cyc_term&quot;&gt;Conveyance&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/PhysicalDevice&quot; class=&quot;cyc_term&quot;&gt;PhysicalDevice&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt; is an artifact designed to move an object from one location to another, by (for example) carrying, pulling, or pushing the transported object.  Instances of this collection may or may not have their own power source (see &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/SelfPoweredDevice&quot; class=&quot;cyc_term&quot;&gt;SelfPoweredDevice&lt;/a&gt;).  Those that do, such as automobiles and speedboats, constitute the specialization &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice_Vehicle&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice_Vehicle&lt;/a&gt;.  Other transportation devices (for example, instances of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Wheelbarrow&quot; class=&quot;cyc_term&quot;&gt;Wheelbarrow&lt;/a&gt; or &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Bicycle&quot; class=&quot;cyc_term&quot;&gt;Bicycle&lt;/a&gt;) require an external motive force.  Because &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/transporter&quot; class=&quot;cyc_term&quot;&gt;transporter&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/transportees&quot; class=&quot;cyc_term&quot;&gt;transportees&lt;/a&gt; are specializations of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/objectMoving&quot; class=&quot;cyc_term&quot;&gt;objectMoving&lt;/a&gt;, it follows that any object in the role of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/transporter&quot; class=&quot;cyc_term&quot;&gt;transporter&lt;/a&gt; moves as a whole with those objects playing the role of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/transportees&quot; class=&quot;cyc_term&quot;&gt;transportees&lt;/a&gt;.  Consequently, since any instance of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt; has playing the role of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/transporter&quot; class=&quot;cyc_term&quot;&gt;transporter&lt;/a&gt; as its intended function, stationary objects which cause motion, such as conveyor belts, escalators, rocket launchers, and slingshots, are excluded from the collection &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt;. Although they facilitate travel, ice skates, shoes, skis and other instances of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/WearableConveyance&quot; class=&quot;cyc_term&quot;&gt;WearableConveyance&lt;/a&gt; are also excluded from the collection &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt;, since they are devices which are worn rather than ridden on, ridden with, or ridden in.</rdfs:comment>
    <rdfs:label xml:lang="en">transportation device</rdfs:label>
  </owl:Thing>

  <owl:Class rdf:about="Human_scale_object_that_is_not_an_indoor_space">
    <cycAnnot:label xml:lang="en">(CollectionDifferenceFn HumanScaleObject SpaceInAHOC)</cycAnnot:label>
    <rdfs:label xml:lang="en">human-scale object that is not an indoor space</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="TerroristAttackTargetTypeType">
    <rdfs:comment xml:lang="en">A collection of collections.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TerroristAttackTargetTypeType&quot; class=&quot;cyc_term&quot;&gt;TerroristAttackTargetTypeType&lt;/a&gt; is a collection a specialization of which, TYPE, appears in a (&lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/relationInstanceExists&quot; class=&quot;cyc_term&quot;&gt;relationInstanceExists&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/intendedAttackTargets&quot; class=&quot;cyc_term&quot;&gt;intendedAttackTargets&lt;/a&gt; FOO TYPE) assertion for some FOO.  The instances which have been selected offer the most complete coverage of the collections appearing in those assertions.  It is useful, but not necessary, to think of this collection as a near faceting of the (non-reified) collection of things targeted in terrorist attacks.</rdfs:comment>
    <rdfs:label xml:lang="en">terrorist attack target type type</rdfs:label>
    <cycAnnot:label xml:lang="en">TerroristAttackTargetTypeType</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="&ocyc;Mx4rvVjVQJwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">TransportationDevice</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of both &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Conveyance&quot; class=&quot;cyc_term&quot;&gt;Conveyance&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/PhysicalDevice&quot; class=&quot;cyc_term&quot;&gt;PhysicalDevice&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt; is an artifact designed to move an object from one location to another, by (for example) carrying, pulling, or pushing the transported object.  Instances of this collection may or may not have their own power source (see &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/SelfPoweredDevice&quot; class=&quot;cyc_term&quot;&gt;SelfPoweredDevice&lt;/a&gt;).  Those that do, such as automobiles and speedboats, constitute the specialization &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice_Vehicle&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice_Vehicle&lt;/a&gt;.  Other transportation devices (for example, instances of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Wheelbarrow&quot; class=&quot;cyc_term&quot;&gt;Wheelbarrow&lt;/a&gt; or &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Bicycle&quot; class=&quot;cyc_term&quot;&gt;Bicycle&lt;/a&gt;) require an external motive force.  Because &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/transporter&quot; class=&quot;cyc_term&quot;&gt;transporter&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/transportees&quot; class=&quot;cyc_term&quot;&gt;transportees&lt;/a&gt; are specializations of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/objectMoving&quot; class=&quot;cyc_term&quot;&gt;objectMoving&lt;/a&gt;, it follows that any object in the role of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/transporter&quot; class=&quot;cyc_term&quot;&gt;transporter&lt;/a&gt; moves as a whole with those objects playing the role of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/transportees&quot; class=&quot;cyc_term&quot;&gt;transportees&lt;/a&gt;.  Consequently, since any instance of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt; has playing the role of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/transporter&quot; class=&quot;cyc_term&quot;&gt;transporter&lt;/a&gt; as its intended function, stationary objects which cause motion, such as conveyor belts, escalators, rocket launchers, and slingshots, are excluded from the collection &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt;. Although they facilitate travel, ice skates, shoes, skis and other instances of &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/WearableConveyance&quot; class=&quot;cyc_term&quot;&gt;WearableConveyance&lt;/a&gt; are also excluded from the collection &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/TransportationDevice&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt;, since they are devices which are worn rather than ridden on, ridden with, or ridden in.</rdfs:comment>
    <rdfs:label xml:lang="en">transportation device</rdfs:label>
  </owl:Class>

  <owl:ObjectProperty rdf:about="wikipediaArticleURL">
    <cycAnnot:label xml:lang="en">wikipediaArticleURL</cycAnnot:label>
    <rdfs:comment xml:lang="en">(&lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/wikipediaArticleURL&quot; class=&quot;cyc_term&quot;&gt;wikipediaArticleURL&lt;/a&gt; THING URL) means that in &lt;a href=&quot;http://sw.opencyc.org/2009/04/07/concept/en/Wikipedia_WebSite&quot; class=&quot;cyc_term&quot;&gt;Wikipedia_WebSite&lt;/a&gt; THING is described by an article located at URL</rdfs:comment>
    <rdfs:label xml:lang="en">Wikipedia Article URL</rdfs:label>
  </owl:ObjectProperty>

</rdf:RDF>

