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

<?xml-stylesheet type="text/xsl" href="http://sw.opencyc.org/xsl/OpenCycOWLCollectionDisplayLatest.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/concept/"
         xmlns="http://sw.opencyc.org/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/concept/">
    <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="Mx4rvViVwZwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">Automobile</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjT95wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;RoadVehicle&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt; is a four-wheeled road vehicle designed for carrying about two to eight passengers.  Notable specializations of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt; include &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViHlZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SportsCar&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVihFpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PickupTruck&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVihV5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Van&lt;/a&gt;.  This collection does _not_ include motorcycles or tractor-trailers (since both motorcycles and tractor-trailers are not four-wheeled vehicles), nor does it include buses (since buses are designed to carry more passengers than instances of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt; are designed to carry).</rdfs:comment>
    <rdfs:label xml:lang="en">car</rdfs:label>
    <rdfs:subClassOf rdf:resource="Mx4rwHLvC5wpEbGdrcN5Y29ycA"/>
    <rdfs:subClassOf rdf:resource="Mx4rHYcn-BIAQdeYSfITxYXQUw"/>
    <rdfs:subClassOf rdf:resource="Mx4rvViXqpwpEbGdrcN5Y29ycA"/>
    <rdfs:subClassOf rdf:resource="Mx4rvVjTcpwpEbGdrcN5Y29ycA"/>
    <rdfs:subClassOf rdf:resource="Mx4rvVjT95wpEbGdrcN5Y29ycA"/>
    <rdfs:subClassOf rdf:resource="Mx8Ngx4rwROrhZwpEbGdrcN5Y29ycB4rvVjHL5wpEbGdrcN5Y29ycB4rvVj8V5wpEbGdrcN5Y29ycA"/>
    <rdfs:subClassOf rdf:resource="Mx4rarQQ4gevEduAAAACs6hRXg"/>
    <rdf:type rdf:resource="Mx4r7WlE8mJsQdiD_4NoMnbM7g"/>
    <rdf:type rdf:resource="Mx4rwBz95pwpEbGdrcN5Y29ycA"/>
    <rdf:type rdf:resource="Mx4rpPHhAOB1EdqAAAACs6hRXg"/>
    <rdf:type rdf:resource="Mx8Ngx4r6rDFmEZSEdqAAACQJw5drg2CHivBEAzAnCkRsZ2tw3ljb3JwHiu9WPbtnCkRsZ2tw3ljb3JwHiuxS1ncCFwR2oAAAAKzi8-W"/>
    <rdf:type rdf:resource="Mx4rgQtd9F2xEdif1wACs2IMlQ"/>
    <owl:sameAs rdf:resource="http://umbel.org/umbel/sc/Automobile"/>
    <owl:sameAs rdf:resource="&cyc;Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <owl:sameAs rdf:resource="http://dbpedia.org/resource/Automobile"/>
    <Mx4rwA9k15wpEbGdrcN5Y29ycA rdf:resource="Mx4rVSIUpKmrQdiYnqBkKeeXYw"/>
    <Mx4rvcZ1FpwpEbGdrcN5Y29ycA rdf:resource="Mx4rvc20kZwpEbGdrcN5Y29ycA"/>
    <Mx4rvcZ1FpwpEbGdrcN5Y29ycA rdf:resource="Mx4rvVibOJwpEbGdrcN5Y29ycA"/>
    <Mx4rwQtVmpwpEbGdrcN5Y29ycA rdf:resource="Mx4rvVizgZwpEbGdrcN5Y29ycA"/>
    <Mx4rvjldVJwpEbGdrcN5Y29ycA rdf:resource="Mx4rveV7eZwpEbGdrcN5Y29ycA"/>
    <Mx4rvVj1MJwpEbGdrcN5Y29ycA rdf:resource="Mx8Ngx4rvcUeB5wpEbGdrcN5Y29ycB4rvVigKJwpEbGdrcN5Y29ycB4rvVjo-pwpEbGdrcN5Y29ycA"/>
    <Mx4rZOAVeiYGEdqAAAACs2IMmw rdf:resource="Mx4rvf-bUJwpEbGdrcN5Y29ycA"/>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">auto</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">motorcar</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">automobile</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">autos</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">cars</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">motorcars</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">automobiles</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rTv-jk9SPTXa991kk5mAvHg>Automobile</Mx4rTv-jk9SPTXa991kk5mAvHg>
    <Mx4rNv0nbm4TTjOp7yhmnzOyqg>http://en.wikipedia.org/wiki/Automobile</Mx4rNv0nbm4TTjOp7yhmnzOyqg>
    <Mx4riWVFR6HJSpaEaHrcWS3MSA>http://www.w3.org/2006/03/wn/wn20/instances/synset-car-noun-1</Mx4riWVFR6HJSpaEaHrcWS3MSA>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVj2qpwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">The collection of all full-size cars. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj2qpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FullSizeCar&lt;/a&gt; is a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwQB77JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;RoadVehicleTypeByBodyStyle&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">full-size car</rdfs:label>
    <cycAnnot:label xml:lang="en">FullSizeCar</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvopFzJwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">The collection of all MG cars. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj3LZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;EnglishCar&lt;/a&gt;. &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvopFzJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MGCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">MG</rdfs:label>
    <cycAnnot:label xml:lang="en">MGCar</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvg8z1JwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">PackardCar</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of all Packard cars. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVigKJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AmericanAutomobile&lt;/a&gt;. &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvg8z1JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PackardCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">Packard</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rv0cK_5wpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">StudebakerCar</cycAnnot:label>
    <rdfs:label xml:lang="en">Studebaker</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of all Studebake cars. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVigKJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AmericanAutomobile&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwA3W1JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile_GasolineEngine&lt;/a&gt;. &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rv0cK_5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;StudebakerCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rwN6yyZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">ACAcecaCar</cycAnnot:label>
    <rdfs:label xml:lang="en">Aceca</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvarKkZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">Land Rover</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of all Land Rover cars. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj3LZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;EnglishCar&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvarKkZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;LandRoverCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">LandRoverCar</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx8Ngh4rvVikFJwpEbGdrcN5Y29ycB4rvViVwZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">The collection of all used cars. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rFq5YjnS8EdaAAACgyZzFrg&quot; class=&quot;cyc_term&quot;&gt;UsedArtifact&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">used car</rdfs:label>
    <cycAnnot:label xml:lang="en">(PreviouslyOwnedFn Automobile)</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvcGB7pwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">The collection of all Chalmers cars. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVigKJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AmericanAutomobile&lt;/a&gt;. &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvcGB7pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ChalmersCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">Chalmers</rdfs:label>
    <cycAnnot:label xml:lang="en">ChalmersCar</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVifqJwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">Ford car</rdfs:label>
    <cycAnnot:label xml:lang="en">FordCar</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of all Ford automobiles. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVigKJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AmericanAutomobile&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVifqJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FordCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvtJAD5wpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">Citroen</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of all Citroens. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjzeZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FrenchCar&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvtJAD5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CitroenCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">CitroenCar</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvv_6LpwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">Mini-Cooper-AutomobileTypeByBrand</cycAnnot:label>
    <rdfs:label xml:lang="en">Mini-Cooper</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvm8-pJwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">SimcaCar</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of all Simca cars. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt;. &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvm8-pJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SimcaCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">simca</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx8NhB4rwP1IC5wpEbGdrcN5Y29ycB4rvViVwZwpEbGdrcN5Y29ycB4rvVjPY5wpEbGdrcN5Y29ycB4rvVieBZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">(SubcollectionOfWithRelationToTypeFn Automobile internalParts FourWheelDrive)</cycAnnot:label>
    <rdfs:label xml:lang="en">four-wheel drive</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVjtkpwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">An instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rVSIUpKmrQdiYnqBkKeeXYw&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByConventionalSizeClassification&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjtkpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CompactCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt; which falls under the &amp;quot;Compact&amp;quot; category according to some relevant conventional classification system.  According to the U.S. government in 2004, a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjtkpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CompactCar&lt;/a&gt; is one with 100 to 109 cubic feet of passenger and luggage volume.</rdfs:comment>
    <cycAnnot:label xml:lang="en">CompactCar</cycAnnot:label>
    <rdfs:label xml:lang="en">compact car</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvzUr1ZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">austin car</rdfs:label>
    <cycAnnot:label xml:lang="en">AustinCar</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of all Austin carsA type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj3LZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;EnglishCar&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvzUr1ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AustinCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvViZpJwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">The collection of all Saabs. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVkLnJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SwedishCar&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViZpJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SaabCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">SaabCar</cycAnnot:label>
    <rdfs:label xml:lang="en">Saab</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvn8au5wpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">low rider car</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of large non-sportive luxury cars that ride low.</rdfs:comment>
    <cycAnnot:label xml:lang="en">LowRiderCar</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVi785wpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">UsedAutomobile</cycAnnot:label>
    <rdfs:comment xml:lang="en">A fuel-burning mechanical device which is a conveyance, for ground transportation - in short `a used car&apos;</rdfs:comment>
    <rdfs:label xml:lang="en">used car</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rv0tfw5wpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">AMC Concord</rdfs:label>
    <cycAnnot:label xml:lang="en">AMCConcordCar</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVihmJwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">SedanCar</cycAnnot:label>
    <rdfs:label xml:lang="en">sedan</rdfs:label>
    <rdfs:comment xml:lang="en">Sedans. The collection of cars that have container-like trunks, as opposed to hatchbacks.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rwNKAIpwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">The collection of all Saturn cars. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVigKJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AmericanAutomobile&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwNKAIpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SaturnCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">Saturn</rdfs:label>
    <cycAnnot:label xml:lang="en">SaturnCar</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rkmc8wqmrQdiJabCTR_lzvA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">MinicompactCar</cycAnnot:label>
    <rdfs:comment xml:lang="en">An instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rVSIUpKmrQdiYnqBkKeeXYw&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByConventionalSizeClassification&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rkmc8wqmrQdiJabCTR_lzvA&quot; class=&quot;cyc_term&quot;&gt;MinicompactCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt; which falls under the &amp;quot;Minicompact&amp;quot; category according to some relevant conventional classification system.  According to the U.S. government in 2004, a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rkmc8wqmrQdiJabCTR_lzvA&quot; class=&quot;cyc_term&quot;&gt;MinicompactCar&lt;/a&gt; is one with less than 85 cubic feet of passenger and luggage volume.</rdfs:comment>
    <rdfs:label xml:lang="en">mini-compact car</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVj3eZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">The collection of all Daihatsu cars. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjVHZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SouthKoreanCar&lt;/a&gt;. &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj3eZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;DaihatsuCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">DaihatsuCar</cycAnnot:label>
    <rdfs:label xml:lang="en">Daihatsu</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVj2J5wpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">JaguarCar</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of all Jaguar cars. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj3LZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;EnglishCar&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj2J5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;JaguarCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">Jaguar car</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rv8MkiZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">MaseratiCar</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of all Maserati cars. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwNAGkZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ItalianCar&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rv8MkiZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MaseratiCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">Maserati</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVj2apwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">luxury car</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of all luxury automobiles. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvbgvLpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;LuxuryItem&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj2apwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;LuxuryCar&lt;/a&gt; is a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rveBxrpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;RoadVehicleType&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">LuxuryCar</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVjo-pwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjo-pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;NonAmericanCar&lt;/a&gt; is a car that was manufactured by a corporation headquarted somewhere other than the United States of America.  In the U.S., such cars are often called &amp;quot;imported cars&amp;quot;; however, in fact some cars manufactured by companies headquartered outside the U.S. are actually manufactured in the U.S.  Cf. &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVigKJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AmericanAutomobile&lt;/a&gt;, with which &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjo-pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;NonAmericanCar&lt;/a&gt; is disjoint.</rdfs:comment>
    <cycAnnot:label xml:lang="en">NonAmericanCar</cycAnnot:label>
    <rdfs:label xml:lang="en">imported car</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVigKJwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">American automobile</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of all American cars. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwA3W1JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile_GasolineEngine&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVigKJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AmericanAutomobile&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rejmDbrF_QdeIENT1qpbYzQ&quot; class=&quot;cyc_term&quot;&gt;ArtifactTypeByGenericCategory&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">AmericanAutomobile</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rwHfGipwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">MorganCar</cycAnnot:label>
    <rdfs:label xml:lang="en">Morgan automobile</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of all Morgan automobiles. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj3LZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;EnglishCar&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwHfGipwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MorganCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvr-hFpwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">JensenHealeyCar</cycAnnot:label>
    <rdfs:label xml:lang="en">Jensen Healey</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rwQr7W5wpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">MorrisOxfordVCar</cycAnnot:label>
    <rdfs:label xml:lang="en">Oxford V</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvv9yjZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">CheckerCar</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of all Checker cars. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVigKJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AmericanAutomobile&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvv9yjZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CheckerCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">Checker automobile</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rv751QpwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">rental car</rdfs:label>
    <cycAnnot:label xml:lang="en">RentalCar</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection for rental cars.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rwBSudpwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">OpelCar</cycAnnot:label>
    <rdfs:label xml:lang="en">Opel</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of all Opels. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjL3pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;GermanCar&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwBSudpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;OpelCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVjJCZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">Honda</rdfs:label>
    <cycAnnot:label xml:lang="en">HondaCar</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of all Honda cars. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rN5sUerQQQdiZ3Y-h69ZmZw&quot; class=&quot;cyc_term&quot;&gt;HondaProduct&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjosZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;JapaneseCar&lt;/a&gt;. &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjJCZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HondaCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvlmPmZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">LadaCar</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of all Lada cars. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvlmPmZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;LadaCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">Lada</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvViLH5wpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">Chrysler automobile</rdfs:label>
    <cycAnnot:label xml:lang="en">ChryslerCar</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of all Chrysler automobiles. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVigKJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AmericanAutomobile&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViLH5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ChryslerCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rqLKZhqmrQdiZ9awxMuo5Fg">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">large car</rdfs:label>
    <rdfs:comment xml:lang="en">An instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rVSIUpKmrQdiYnqBkKeeXYw&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByConventionalSizeClassification&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rqLKZhqmrQdiZ9awxMuo5Fg&quot; class=&quot;cyc_term&quot;&gt;LargeCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt; which is falls under the &amp;quot;Large&amp;quot; category according to some relevant conventional classification system.  According to the U.S. government in 2004, a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rqLKZhqmrQdiZ9awxMuo5Fg&quot; class=&quot;cyc_term&quot;&gt;LargeCar&lt;/a&gt; is one with 120 or more cubic feet of passenger and luggage volume.</rdfs:comment>
    <cycAnnot:label xml:lang="en">LargeCar</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvy5xvJwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">The collection of all classic autos. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rlNGbPnS5EdaAAACgyZzFrg&quot; class=&quot;cyc_term&quot;&gt;Classic&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvy5xvJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ClassicCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvc20kZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBodyStyle&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">ClassicCar</cycAnnot:label>
    <rdfs:label xml:lang="en">classic car</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVjO85wpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">AudiCar</cycAnnot:label>
    <rdfs:label xml:lang="en">Audi</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of all Audis. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjL3pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;GermanCar&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjO85wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AudiCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVif55wpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">An instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rVSIUpKmrQdiYnqBkKeeXYw&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByConventionalSizeClassification&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVif55wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MidsizeCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt; which is falls under the &amp;quot;Midsize&amp;quot; category according to some relevant conventional classification system.  According to the U.S. government in 2004, a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVif55wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MidsizeCar&lt;/a&gt; is one with 110 to 119 cubic feet of passenger and luggage volume.</rdfs:comment>
    <rdfs:label xml:lang="en">mid-size car</rdfs:label>
    <cycAnnot:label xml:lang="en">MidsizeCar</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rwMZNfZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">RenaultGordiniCar</cycAnnot:label>
    <rdfs:label xml:lang="en">Renault Gordini</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rwB0JGJwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">Vega HK500</rdfs:label>
    <cycAnnot:label xml:lang="en">FacelVegaHK500Car</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rAUO7ooSnEdePYwADR6QijQ">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">RoadVehicleArmedWithBomb</cycAnnot:label>
    <rdfs:label xml:lang="en">road vehicle armed with a bomb</rdfs:label>
    <rdfs:comment xml:lang="en">&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rAUO7ooSnEdePYwADR6QijQ&quot; class=&quot;cyc_term&quot;&gt;RoadVehicleArmedWithBomb&lt;/a&gt; is a specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvjWlipwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;WeaponSystem&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjT95wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;RoadVehicle&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rAUO7ooSnEdePYwADR6QijQ&quot; class=&quot;cyc_term&quot;&gt;RoadVehicleArmedWithBomb&lt;/a&gt; is a road vehicle that contains (see &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rAUOUkYSnEdePYwADR6QijQ&quot; class=&quot;cyc_term&quot;&gt;containerTypeIsTypeContainingType&lt;/a&gt;) a bomb designed to detonate within that very road vehicle (see &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvWMlu5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Bomb_RoadVehicleDelivered&lt;/a&gt;).</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVjzeZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">French car</rdfs:label>
    <cycAnnot:label xml:lang="en">FrenchCar</cycAnnot:label>
    <rdfs:comment xml:lang="en">Cars made in &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj6EJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;France&lt;/a&gt;</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvViHlZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">sports car</rdfs:label>
    <cycAnnot:label xml:lang="en">SportsCar</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of all sports cars. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViHlZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SportsCar&lt;/a&gt; is a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwBz95pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;RoadVehicleTypeByUse&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.  Instances of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViHlZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SportsCar&lt;/a&gt; are typically very streamlined, low to the ground, lightweight, and have powerful engines.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVkFapwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">Toyota automobile</rdfs:label>
    <cycAnnot:label xml:lang="en">ToyotaCar</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of all Toyota automobiles. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjosZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;JapaneseCar&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVkFapwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ToyotaCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvViYVZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">The collection of all GM automobiles. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVigKJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AmericanAutomobile&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViYVZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;GMAutomobile&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">GMAutomobile</cycAnnot:label>
    <rdfs:label xml:lang="en">GM car</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rwNAGkZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">The collection of cars that are made in &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjMgZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Italy&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">ItalianCar</cycAnnot:label>
    <rdfs:label xml:lang="en">Italian car</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVjKU5wpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">VW</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of all VW cars. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjL3pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;GermanCar&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjKU5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;VolkswagenCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt;, a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;, and a &lt;font color=&quot;#ff0000&quot;&gt;#$ManufacturedGoodsType&lt;/font&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">VolkswagenCar</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVjrZpwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">The collection of all Rover cars. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj3LZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;EnglishCar&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjrZpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;RoverCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">Rover</rdfs:label>
    <cycAnnot:label xml:lang="en">RoverCar</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rviytLpwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">The collection of all Daewoo cars. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjVHZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SouthKoreanCar&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rviytLpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;DaewooCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">Daewoo</rdfs:label>
    <cycAnnot:label xml:lang="en">DaewooCar</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVih3ZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">An instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvc20kZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBodyStyle&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVih3ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ConvertibleCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt; whose roof can be folded back or removed.</rdfs:comment>
    <cycAnnot:label xml:lang="en">ConvertibleCar</cycAnnot:label>
    <rdfs:label xml:lang="en">convertible</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rwACkyJwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">FacelVegaCar</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of all Facel Vega automobiles. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjzeZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FrenchCar&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwACkyJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FacelVegaCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">Facel Vega automobile</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rwNKAH5wpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">SunbeamCar</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of all Sunbeam automobiles. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj3LZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;EnglishCar&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwNKAH5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SunbeamCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">Sunbeam automobile</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVkLnJwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">Every unit should have an swedish.</rdfs:comment>
    <rdfs:label xml:lang="en">Swedish car</rdfs:label>
    <cycAnnot:label xml:lang="en">SwedishCar</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx8Ngx4rwROrhZwpEbGdrcN5Y29ycB4rvViVwZwpEbGdrcN5Y29ycB4rwLrAvJwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">(CollectionDifferenceFn Automobile MilitaryVehicle)</cycAnnot:label>
    <rdfs:label xml:lang="en">car that is not a military vehicle</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVkLUJwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">Volvo</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of all Volvo cars. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVkLnJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SwedishCar&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVkLUJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;VolvoCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">VolvoCar</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvyGRM5wpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">AstonMartinCar</cycAnnot:label>
    <rdfs:label xml:lang="en">Aston-Martin automobile</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of all Aston-Martin automobiles. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj3LZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;EnglishCar&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvyGRM5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AstonMartinCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rwRMq-ZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">The collection of all Morris automobiles. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj3LZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;EnglishCar&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwRMq-ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MorrisCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">Morris automobile</rdfs:label>
    <cycAnnot:label xml:lang="en">MorrisCar</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rwUmmhpwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">The collection of all Lotus cars. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj3LZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;EnglishCar&lt;/a&gt;. &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwUmmhpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;LotusCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">Lotus</rdfs:label>
    <cycAnnot:label xml:lang="en">LotusCar</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvc6te5wpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">KiaCar</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of all Kia cars. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjVHZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SouthKoreanCar&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvc6te5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;KiaCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">Kia car</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvg467pwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">The collection of all Yugo cars. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwUAxVpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;YugoslavianCar&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvg467pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;YugoCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">YugoCar</cycAnnot:label>
    <rdfs:label xml:lang="en">Yugo</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVj3LZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">British car</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of all English cars. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj265wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;EuropeanCar&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj3LZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;EnglishCar&lt;/a&gt; is a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rveBxrpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;RoadVehicleType&lt;/a&gt;, a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;, and a &lt;font color=&quot;#ff0000&quot;&gt;#$ManufacturedGoodsType&lt;/font&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">EnglishCar</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVjzupwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">PeugeotCar</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of all Peugeot cars. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjzeZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FrenchCar&lt;/a&gt;. &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjzupwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PeugeotCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">Peugeot</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rwBbZJZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">Desoto Adventurer</rdfs:label>
    <cycAnnot:label xml:lang="en">DesotoAdventurerCar</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvgHuiZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">AMGenCar</cycAnnot:label>
    <rdfs:label xml:lang="en">AM General vehicle</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of all AM General vehicles. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVigKJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AmericanAutomobile&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvgHuiZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AMGenCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rwA3W1JwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">Automobile-GasolineEngine</cycAnnot:label>
    <rdfs:label xml:lang="en">gas driven car</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of all &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt;s that feature a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjsSJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;GasolineEngine&lt;/a&gt; as the main &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvxHPEpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;internalPowerSource&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rwUAxVpwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">YugoslavianCar</cycAnnot:label>
    <rdfs:label xml:lang="en">Yugoslavian car</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvmDcK5wpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">Triumph automobile</rdfs:label>
    <cycAnnot:label xml:lang="en">TriumphCar</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of all Triumph automobiles. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj3LZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;EnglishCar&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvmDcK5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TriumphCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rv6NpI5wpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">Fiat</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of all Fiats. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwNAGkZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ItalianCar&lt;/a&gt;. &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rv6NpI5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FiatCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">FiatCar</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvcWmQJwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">The collection of all Lancia cars. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwNAGkZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ItalianCar&lt;/a&gt;. &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvcWmQJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;LanciaCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">Lancia</rdfs:label>
    <cycAnnot:label xml:lang="en">LanciaCar</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVjL3pwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">German car</rdfs:label>
    <cycAnnot:label xml:lang="en">GermanCar</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvbDj4pwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">RenaultCar</cycAnnot:label>
    <rdfs:label xml:lang="en">Renault</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of all Renault cars. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjzeZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FrenchCar&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvbDj4pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;RenaultCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVj6m5wpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">HyundaiCar</cycAnnot:label>
    <rdfs:label xml:lang="en">Hyundai car</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of all Hyundai automobiles. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjVHZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SouthKoreanCar&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj6m5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HyundaiCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvk-xzJwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">off-road automobile</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt;s designed for traveling on not only paved roads, but also unpaved roads, trails, beaches, or other rough terrains.</rdfs:comment>
    <cycAnnot:label xml:lang="en">OffRoadAutomobile</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVimvpwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">The collection of all new automobiles. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rfDcOLHTAEdaAAACgyZzFrg&quot; class=&quot;cyc_term&quot;&gt;NewArtifact&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVimvpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;NewCar&lt;/a&gt; is a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rveBxrpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;RoadVehicleType&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">new automobile</rdfs:label>
    <cycAnnot:label xml:lang="en">NewCar</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rwG4W4JwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">The collection of cars that are usually still in development and are not yet available to consumers.  A &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwG4W4JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;DemonstrationCar&lt;/a&gt; is often designed to showcase an automobile company&apos;s new line or model.  An example of an  instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwG4W4JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;DemonstrationCar&lt;/a&gt; could be a solar or battery powered car.</rdfs:comment>
    <cycAnnot:label xml:lang="en">DemonstrationCar</cycAnnot:label>
    <rdfs:label xml:lang="en">demonstration car</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rR1bJJruqQdiN7_Ppq_BL9Q">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwPvelZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;EmergencyVehicle&lt;/a&gt;.  Each instance of this collection is an automobile designed to be used by an instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvWZdjZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;LocalPoliceOrganization&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">PoliceCar</cycAnnot:label>
    <rdfs:label xml:lang="en">police car</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvViZO5wpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">sport utility vehicle</rdfs:label>
    <cycAnnot:label xml:lang="en">SportUtilityVehicle</cycAnnot:label>
    <rdfs:comment xml:lang="en">street-legal vehicles which are capable of driving off the road as well.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvw46NpwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">The collection of all Hillman automobiles. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj3LZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;EnglishCar&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvw46NpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HillmanCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">HillmanCar</cycAnnot:label>
    <rdfs:label xml:lang="en">Hillman automobile</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvsi7wJwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">The collection of all Pininfarina cars. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwNAGkZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ItalianCar&lt;/a&gt;. &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvsi7wJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PininfarinaCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">Pininfarina</rdfs:label>
    <cycAnnot:label xml:lang="en">PininfarinaCar</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVjpNJwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">SubcompactCar</cycAnnot:label>
    <rdfs:comment xml:lang="en">An instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rVSIUpKmrQdiYnqBkKeeXYw&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByConventionalSizeClassification&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjpNJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SubcompactCar&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt; which falls under the &amp;quot;Subcompact&amp;quot; category according to some relevant conventional classification system.  According to the U.S. government in 2004, a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjpNJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SubcompactCar&lt;/a&gt; is one with 85 to 99 cubic feet of passenger and luggage volume.</rdfs:comment>
    <rdfs:label xml:lang="en">subcompact car</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rwT8LLJwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViVwZwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">Morris Minor 1000</rdfs:label>
    <cycAnnot:label xml:lang="en">MorrisMinor1000Car</cycAnnot:label>
  </owl:Class>

  <Mx4rvViVwZwpEbGdrcN5Y29ycA rdf:about="Mx8Ngh4rvViAv5wpEbGdrcN5Y29ycB4rvViVwZwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">The car: an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">the car</rdfs:label>
    <cycAnnot:label xml:lang="en">(The Automobile)</cycAnnot:label>
  </Mx4rvViVwZwpEbGdrcN5Y29ycA>

  <owl:ObjectProperty rdf:about="Mx4rvcZ1FpwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">facets - strict</rdfs:label>
    <cycAnnot:label xml:lang="en">facets-Strict</cycAnnot:label>
    <rdfs:comment xml:lang="en">A &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVkGXJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TaxonomicSlotForCollections&lt;/a&gt; and a specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rRA9CIljCEdiRSAACs2IMlQ&quot; class=&quot;cyc_term&quot;&gt;facets_NearStrict&lt;/a&gt; (q.v.).  (&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvcZ1FpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;facets_Strict&lt;/a&gt; COL COLTYPE)  means that COLTYPE corresponds to one way of dividing COL up into  disjoint subcollections.  Specifically, the instances of COLTYPE are  all the same sort of subcollection of COL and are, moreover, all  disjoint with (see &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViA45wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;disjointWith&lt;/a&gt;) each other.  For example,  &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rGwcsMFkIQdiMCLmJUEZ9IQ&quot; class=&quot;cyc_term&quot;&gt;DogTypeByBreed&lt;/a&gt; strictly facets &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Dog&lt;/a&gt;, because the breeds of dog  constitute mutually disjoint subcollections of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Dog&lt;/a&gt;.  Other possible  ways of strictly faceting &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Dog&lt;/a&gt; are by sex, by size, and by whether or  not they are domesticated.  Note that (&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvcZ1FpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;facets_Strict&lt;/a&gt; COL COLTYPE)  does _not_ imply (&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjVYJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;covering&lt;/a&gt; COL COLTYPE), since the instances of  COLTYPE might not cover all of COL.  For example, some dogs belong to no breed.  Cf. &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rv86JWpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;facets_Covering&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwA9k15wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;facets_Partition&lt;/a&gt;.</rdfs:comment>
  </owl:ObjectProperty>

  <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/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/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:ObjectProperty rdf:about="Mx4rvjldVJwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">Facets-Generic</rdfs:label>
    <cycAnnot:label xml:lang="en">facets-Generic</cycAnnot:label>
    <rdfs:comment xml:lang="en">A &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVkGXJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TaxonomicSlotForCollections&lt;/a&gt; and a specialization (via &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvWHsNJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;genlInverse&lt;/a&gt;) of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvhOImJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;typeGenls&lt;/a&gt; (q.v.). This is the most general of the &amp;quot;faceting&amp;quot; predicates. &lt;code&gt;(&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvjldVJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;facets_Generic&lt;/a&gt; &lt;b&gt;COL&lt;/b&gt; &lt;b&gt;COLTYPE&lt;/b&gt;)&lt;/code&gt; means that &lt;code&gt;&lt;b&gt;COLTYPE&lt;/b&gt;&lt;/code&gt; corresponds to one way of dividing &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt; into subcollections. The instances of &lt;code&gt;&lt;b&gt;COLTYPE&lt;/b&gt;&lt;/code&gt; are all &amp;quot;the same sort&amp;quot; of subcollection of &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt;. For example, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rhz6DbnSwEdaAAACgyZzFrg&quot; class=&quot;cyc_term&quot;&gt;MovieTypeByGenre&lt;/a&gt; facets &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rv973YpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Movie_CW&lt;/a&gt; according to movie-genre; the former&apos;s instances thus include such collections as &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rv0pzgpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;WesternMovie&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwFmUH5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HorrorMovie&lt;/a&gt;. And &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rYZUSFovbQdeY8PrkLdTqKA&quot; class=&quot;cyc_term&quot;&gt;FunctionTypeByRangeType&lt;/a&gt; facets &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVxAsJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Function_Denotational&lt;/a&gt; according to the type of thing a given function returns as values; the former&apos;s instances thus include such collections as &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj62ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;IndividualDenotingFunction&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViAapwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CollectionDenotingFunction&lt;/a&gt;.
&lt;p/&gt;
Note that generic faceting does not entail that the instances of &lt;code&gt;&lt;b&gt;COLTYPE&lt;/b&gt;&lt;/code&gt; are mutually disjoint. Thus, a given film might be an instance of &lt;i&gt;both&lt;/i&gt; &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwCRfN5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ChildrensMovie&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rv2VcW5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ActionMovie&lt;/a&gt;.
&lt;p/&gt;
Note also that generic faceting does not entail that every instance of &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt; falls under some instance of &lt;code&gt;&lt;b&gt;COLTYPE&lt;/b&gt;&lt;/code&gt;. Thus, consider the universal identity function &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwSspMZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;IdentityFn&lt;/a&gt;. Its range of values is so broad that it does not fall under any instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rYZUSFovbQdeY8PrkLdTqKA&quot; class=&quot;cyc_term&quot;&gt;FunctionTypeByRangeType&lt;/a&gt;.
&lt;p/&gt;
Specializations of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvjldVJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;facets_Generic&lt;/a&gt; include &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rv86JWpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;facets_Covering&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvcZ1FpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;facets_Strict&lt;/a&gt;, and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwA9k15wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;facets_Partition&lt;/a&gt;, as well as &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rgQmwRl2xEdif1wACs2IMlQ&quot; class=&quot;cyc_term&quot;&gt;facets_NearCovering&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rRA9CIljCEdiRSAACs2IMlQ&quot; class=&quot;cyc_term&quot;&gt;facets_NearStrict&lt;/a&gt;, and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rRA9CJFjCEdiRSAACs2IMlQ&quot; class=&quot;cyc_term&quot;&gt;facets_NearPartition&lt;/a&gt;.  Whenever possible, one of these more specific predicates should be used.</rdfs:comment>
  </owl:ObjectProperty>

  <owl:Class rdf:about="Mx4rwHLvC5wpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwHLvC5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;WheeledTransportationDevice&lt;/a&gt; is a specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjU_5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;LandTransportationDevice&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwHLvC5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;WheeledTransportationDevice&lt;/a&gt; is a transportation device that uses only wheels (as opposed to tracks, runners, etc.).  This collection includes not only many instances of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwLzhaZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice_Vehicle&lt;/a&gt;, but also non-self-powered devices such as &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjo0JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Bicycle&lt;/a&gt;s and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwP1mLpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Wagon&lt;/a&gt;s.</rdfs:comment>
    <rdfs:label xml:lang="en">wheeled vehicle</rdfs:label>
    <cycAnnot:label xml:lang="en">WheeledTransportationDevice</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvf-bUJwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">product</rdfs:label>
    <cycAnnot:label xml:lang="en">ManufacturedGoods</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of all &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVkH_ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Artifact&lt;/a&gt;s that are made or processed in large-scale industrial operations for distribution (normally sale) to agents outside the manufacturing organization.  This includes manufactured stuff, e.g. Finlandia vodka; refined ore, e.g. iron; otherwise procesed natural material, e.g. cut diamonds, as well as manufactured objects.  This collection excludes handicrafts; privately made stuff, e.g. moonshine; and other artifacts produced by one or a few people on a small scale.</rdfs:comment>
  </owl:Class>

  <owl:ObjectProperty rdf:about="Mx4rwQtVmpwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">A predicate that is  used to make exceptions to constraints normally imposed by some instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViA4pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SiblingDisjointCollectionType&lt;/a&gt; or &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rk8dxOFcGEdaLwgACs0uFOQ&quot; class=&quot;cyc_term&quot;&gt;SiblingDisjointSetOrCollectionType&lt;/a&gt; (qq.v.).  &lt;code&gt;(&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwQtVmpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;siblingDisjointExceptions&lt;/a&gt; &lt;b&gt;SETORCOL1&lt;/b&gt; &lt;b&gt;SETORCOL2&lt;/b&gt;)&lt;/code&gt; means that the pair consisting of &lt;code&gt;&lt;b&gt;SETORCOL1&lt;/b&gt;&lt;/code&gt; and &lt;code&gt;&lt;b&gt;SETORCOL2&lt;/b&gt;&lt;/code&gt; is exempt from the disjointness constraint that would otherwise be imposed because those set-or-collections are both elements of some instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViA4pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SiblingDisjointCollectionType&lt;/a&gt; or &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rk8dxOFcGEdaLwgACs0uFOQ&quot; class=&quot;cyc_term&quot;&gt;SiblingDisjointSetOrCollectionType&lt;/a&gt;.  (See these collections&apos; comments for a full explanation of the constraints.)   
&lt;p/&gt;
For example, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rv0GdXpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SensoryNerve&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvWvJVpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CranialNerve&lt;/a&gt; are both instances of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwKTnSJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;OrganismPartType&lt;/a&gt;, which in turn is an instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViA4pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SiblingDisjointCollectionType&lt;/a&gt;.  Consequently, since &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rv0GdXpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SensoryNerve&lt;/a&gt; is not a specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvWvJVpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CranialNerve&lt;/a&gt; (or vice versa), the two collections have a default disjointness constraint placed between them.  However, such a disjointness constraint should be blocked, since any instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjLm5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;OpticNerve&lt;/a&gt; is an instance of both &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rv0GdXpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SensoryNerve&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvWvJVpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CranialNerve&lt;/a&gt;.  By asserting &lt;code&gt;(&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwQtVmpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;siblingDisjointExceptions&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rv0GdXpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SensoryNerve&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvWvJVpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CranialNerve&lt;/a&gt;)&lt;/code&gt;, we block the disjointness constraint between those two collections, without disturbing the constraints between each of those collections and all their other (sibling) instances of the parent collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwKTnSJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;OrganismPartType&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">Sibling Disjoint Exceptions</rdfs:label>
    <cycAnnot:label xml:lang="en">siblingDisjointExceptions</cycAnnot:label>
  </owl:ObjectProperty>

  <owl:Thing rdf:about="http://umbel.org/umbel/sc/Automobile">
    <cycAnnot:label xml:lang="en">Automobile</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjT95wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;RoadVehicle&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt; is a four-wheeled road vehicle designed for carrying about two to eight passengers.  Notable specializations of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt; include &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViHlZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SportsCar&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVihFpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PickupTruck&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVihV5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Van&lt;/a&gt;.  This collection does _not_ include motorcycles or tractor-trailers (since both motorcycles and tractor-trailers are not four-wheeled vehicles), nor does it include buses (since buses are designed to carry more passengers than instances of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt; are designed to carry).</rdfs:comment>
    <rdfs:label xml:lang="en">car</rdfs:label>
  </owl:Thing>

  <owl:Class rdf:about="Mx4rwBz95pwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">RoadVehicleTypeByUse</cycAnnot:label>
    <rdfs:label xml:lang="en">type of vehicle classified by use</rdfs:label>
    <rdfs:comment xml:lang="en">A collection of collections.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwBz95pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;RoadVehicleTypeByUse&lt;/a&gt; is a collection of instances of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjT95wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;RoadVehicle&lt;/a&gt; which share a particular use/function.  Instances of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwBz95pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;RoadVehicleTypeByUse&lt;/a&gt; include &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj_QpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;DumpTruck&lt;/a&gt; (used for carrying/dumping stuff), &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvgH66ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TaxiCab&lt;/a&gt; (used for carrying &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Person&lt;/a&gt;s to destinations for money), and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvk-xzJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;OffRoadAutomobile&lt;/a&gt; (used for traveling off of paved roads).</rdfs:comment>
  </owl:Class>

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

  <owl:ObjectProperty rdf:about="Mx4riWVFR6HJSpaEaHrcWS3MSA">
    <cycAnnot:label xml:lang="en">seeAlsoURI</cycAnnot:label>
    <rdfs:comment xml:lang="en">&lt;code&gt;(&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4riWVFR6HJSpaEaHrcWS3MSA&quot; class=&quot;cyc_term&quot;&gt;seeAlsoURI&lt;/a&gt; &lt;b&gt;THING&lt;/b&gt; &lt;b&gt;URI&lt;/b&gt;)&lt;/code&gt; means that a description of the resource identified by URI is likely to contain information pertinent to THING.  This predicate is roughly equivalent to rdfs:seeAlso.</rdfs:comment>
    <rdfs:label xml:lang="en">See Also URI</rdfs:label>
  </owl:ObjectProperty>

  <owl:ObjectProperty rdf:about="Mx4rvVj1MJwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">Partitioned Into</rdfs:label>
    <cycAnnot:label xml:lang="en">partitionedInto</cycAnnot:label>
    <rdfs:comment xml:lang="en">(&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj1MJwpEbGdrcN5Y29ycA&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/concept/Mx4rk8dxOVcGEdaLwgACs0uFOQ&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/concept/Mx4rvcUeB5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ThePartition&lt;/a&gt;.</rdfs:comment>
  </owl:ObjectProperty>

  <owl:ObjectProperty rdf:about="Mx4rwA9k15wpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">A &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVkGXJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TaxonomicSlotForCollections&lt;/a&gt; and a specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvcZ1FpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;facets_Strict&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rv86JWpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;facets_Covering&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rRA9CJFjCEdiRSAACs2IMlQ&quot; class=&quot;cyc_term&quot;&gt;facets_NearPartition&lt;/a&gt;, and  &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj1MJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;partitionedInto&lt;/a&gt; (qq.v.).  (&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwA9k15wpEbGdrcN5Y29ycA&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/concept/Mx4rwA9k15wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;facets_Partition&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rv-A-apwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FixedArityFunction&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvqt0TJwpEbGdrcN5Y29ycA&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/concept/Mx4rvViAzpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;arity&lt;/a&gt;).</rdfs:comment>
    <rdfs:label xml:lang="en">Facets-Partition</rdfs:label>
    <cycAnnot:label xml:lang="en">facets-Partition</cycAnnot:label>
  </owl:ObjectProperty>

  <owl:Class rdf:about="Mx4rveV7eZwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">automobile model</rdfs:label>
    <rdfs:comment xml:lang="en">A collection of collections, each element of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rveV7eZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByModel&lt;/a&gt; is a collection of automobiles - i.e., cars, light trucks, vans (see &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt;) - categorized by model. For example, the collection of Subaru Imprezas would be an element of this collection.</rdfs:comment>
    <cycAnnot:label xml:lang="en">AutomobileTypeByModel</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvViXqpwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">SinglePurposeDevice</cycAnnot:label>
    <rdfs:comment xml:lang="en">A collection of devices each of which has a single &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rv-lujZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;primaryFunction&lt;/a&gt;.   Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViXqpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SinglePurposeDevice&lt;/a&gt; may have more than one function, but will have only one _primary_ function.  For example, a car is a single purpose device because it has the primary function of providing transportation.  Of course, a car can provide shelter as well as transportation; but a convertible with a badly torn roof still functions as a car (because its primary function is transportation) even though it does not function as much of a shelter.  It is also possible for a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViXqpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SinglePurposeDevice&lt;/a&gt; to have other functions associated with it, even though they are not functions of that device per se.  For example, if a car has a cigarette lighter, a clock, etc., those parts have their own functions, which are performed in the car and enjoyed by the users of the car while they are using the car.  However, the functions of those devices (lighting cigarettes and telling time) are generally not considered to be the functions of the car itself.  If someone utters the sentence `Fred used his car today&apos; we would guess that Fred drove/rode somewhere in the car, and would be surprised/amused/annoyed/confused if we later discover that the speaker meant only that Fred used the car&apos;s lighter and the clock but didn&apos;t travel somewhere by car.</rdfs:comment>
    <rdfs:label xml:lang="en">single purpose device</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvc20kZwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">AutomobileTypeByBodyStyle</cycAnnot:label>
    <rdfs:comment xml:lang="en">A collection of collections, each element of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvc20kZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBodyStyle&lt;/a&gt; is a collection of instances of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt; which share a particular body style, e.g., sedan, hatchback.</rdfs:comment>
    <rdfs:label xml:lang="en">type of automobile classified by style</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx8Ngx4rwROrhZwpEbGdrcN5Y29ycB4rvVjHL5wpEbGdrcN5Y29ycB4rvVj8V5wpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">device that is not a weapon</rdfs:label>
    <cycAnnot:label xml:lang="en">(CollectionDifferenceFn PhysicalDevice Weapon)</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx8Ngx4r6rDFmEZSEdqAAACQJw5drg2CHivBEAzAnCkRsZ2tw3ljb3JwHiu9WPbtnCkRsZ2tw3ljb3JwHiuxS1ncCFwR2oAAAAKzi8-W">
    <rdfs:label xml:lang="en">Sample Instance Of Type For Program Fn type of ______ tangible thing the Cyc Analytic Environment</rdfs:label>
    <cycAnnot:label xml:lang="en">(SampleInstanceOfTypeForProgramFn (SpecsFn PartiallyTangible) CycAnalyticEnvironment-TheProgram)</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4r7WlE8mJsQdiD_4NoMnbM7g">
    <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:Thing rdf:about="Mx8Ngx4rvcUeB5wpEbGdrcN5Y29ycB4rvVigKJwpEbGdrcN5Y29ycB4rvVjo-pwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">either an American car or an imported car</rdfs:label>
    <cycAnnot:label xml:lang="en">(ThePartition AmericanAutomobile NonAmericanCar)</cycAnnot:label>
  </owl:Thing>

  <owl:ObjectProperty rdf:about="Mx4rZOAVeiYGEdqAAAACs2IMmw">
    <rdfs:label xml:lang="en">BT</rdfs:label>
    <cycAnnot:label xml:lang="en">broaderTerm</cycAnnot:label>
    <rdfs:comment xml:lang="en">&lt;code&gt;(&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw&quot; class=&quot;cyc_term&quot;&gt;broaderTerm&lt;/a&gt; &lt;b&gt;TERM1&lt;/b&gt; &lt;b&gt;TERM2&lt;/b&gt;)&lt;/code&gt; means that &lt;code&gt;&lt;b&gt;TERM2&lt;/b&gt;&lt;/code&gt; is &lt;i&gt;broader&lt;/i&gt; than &lt;code&gt;&lt;b&gt;TERM1&lt;/b&gt;&lt;/code&gt;, in an extremely general sense of &amp;quot;broader&amp;quot;.  For example,  &lt;code&gt;&lt;b&gt;TERM2&lt;/b&gt;&lt;/code&gt; is, in the relevant sense, broader than &lt;code&gt;&lt;b&gt;TERM1&lt;/b&gt;&lt;/code&gt; if any of the following hold:&lt;br&gt;&lt;br&gt;

 &lt;code&gt;&lt;b&gt;TERM2&lt;/b&gt;&lt;/code&gt; is a collection that subsumes &lt;code&gt;&lt;b&gt;TERM1&lt;/b&gt;&lt;/code&gt;; &lt;br&gt;
 &lt;code&gt;&lt;b&gt;TERM2&lt;/b&gt;&lt;/code&gt; is a collection that has &lt;code&gt;&lt;b&gt;TERM1&lt;/b&gt;&lt;/code&gt; as an instance; &lt;br&gt;
 &lt;code&gt;&lt;b&gt;TERM2&lt;/b&gt;&lt;/code&gt; is a collection, instances of which have instances of the collection &lt;code&gt;&lt;b&gt;TERM1&lt;/b&gt;&lt;/code&gt; as parts; &lt;br&gt;
 &lt;code&gt;&lt;b&gt;TERM2&lt;/b&gt;&lt;/code&gt; has &lt;code&gt;&lt;b&gt;TERM1&lt;/b&gt;&lt;/code&gt; as a part; &lt;br&gt;&lt;br&gt;

This list of reasons for why &lt;code&gt;(&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw&quot; class=&quot;cyc_term&quot;&gt;broaderTerm&lt;/a&gt; &lt;b&gt;TERM1&lt;/b&gt; &lt;b&gt;TERM2&lt;/b&gt;)&lt;/code&gt; could hold is not exhaustive, but it should give a good indication of how general the &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw&quot; class=&quot;cyc_term&quot;&gt;broaderTerm&lt;/a&gt; relation actually is.</rdfs:comment>
  </owl:ObjectProperty>

  <owl:Class rdf:about="Mx4rarQQ4gevEduAAAACs6hRXg">
    <cycAnnot:label xml:lang="en">ObjectUnderneathWhichAHumanCanMovePast</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4ro3lluGJHQdiVxrZReHS-jQ&quot; class=&quot;cyc_term&quot;&gt;EnduringThing_Localized&lt;/a&gt; (q.v.).  Each instance
of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rarQQ4gevEduAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;ObjectUnderneathWhichAHumanCanMovePast&lt;/a&gt; is a tangible object underneath which a typical &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViy-ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HumanAdult&lt;/a&gt; can, unaided by technology, move past by walking, crawling or slithering if need be (see &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4r5Drr9gewEduAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;MovingPastSomethingUnderneathIt&lt;/a&gt;).</rdfs:comment>
    <rdfs:label xml:lang="en">object underneath which a human can move past</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rHYcn-BIAQdeYSfITxYXQUw">
    <rdfs:label xml:lang="en">multi-passenger transportation device</rdfs:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjVQJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice&lt;/a&gt;. Each instance of
&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rHYcn-BIAQdeYSfITxYXQUw&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>
    <cycAnnot:label xml:lang="en">MultiPassengerTransportationDevice</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVjTcpwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVkF6pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;InanimateObject&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjTcpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HumanlyOccupiedSpatialObject&lt;/a&gt; is a place that humans occupy. Instances include both movable things, such as cars and ships, and things having a more or less permanent location, such as houses or office buildings.  Instances include things made by human beings, such as subway stations or concert halls, as well as things not made by human beings, such as caves.</rdfs:comment>
    <cycAnnot:label xml:lang="en">HumanlyOccupiedSpatialObject</cycAnnot:label>
    <rdfs:label xml:lang="en">place occupied by humans</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="&cyc;Mx4rvViVwZwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">Automobile</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjT95wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;RoadVehicle&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt; is a four-wheeled road vehicle designed for carrying about two to eight passengers.  Notable specializations of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt; include &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViHlZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SportsCar&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVihFpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PickupTruck&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVihV5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Van&lt;/a&gt;.  This collection does _not_ include motorcycles or tractor-trailers (since both motorcycles and tractor-trailers are not four-wheeled vehicles), nor does it include buses (since buses are designed to carry more passengers than instances of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt; are designed to carry).</rdfs:comment>
    <rdfs:label xml:lang="en">car</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rpPHhAOB1EdqAAAACs6hRXg">
    <cycAnnot:label xml:lang="en">SpatiallyDisjointObjectType</cycAnnot:label>
    <rdfs:label xml:lang="en">type of object whose instances do not physically overlap</rdfs:label>
    <rdfs:comment xml:lang="en">A collection of collections and a specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ObjectType&lt;/a&gt; (q.v.). Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&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/concept/Mx4rvVjpUZwpEbGdrcN5Y29ycA&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/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Dog&lt;/a&gt; is an instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&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/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt; include &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwVGrQ5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;LatitudeLine&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvW4n1pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CompactDisc_Audio&lt;/a&gt;, and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwR7UWZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PlanetaryBody&lt;/a&gt;.  An important specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt; is &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjlE5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointRegionType&lt;/a&gt; (a collection of specializations of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViACZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;GeographicalRegion&lt;/a&gt;, such as &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjnZ5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;City&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwT-n15wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TrueContinent&lt;/a&gt;).</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVjT95wpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">RoadVehicle</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of both &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjU_5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;LandTransportationDevice&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwLzhaZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice_Vehicle&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjT95wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;RoadVehicle&lt;/a&gt; is a self-powered vehicle designed primarily for travel on roads (although some instances may also have limited off-road capabilities).  Notable specializations of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjT95wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;RoadVehicle&lt;/a&gt; include &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVizgZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Truck&lt;/a&gt;, and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVi0v5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Bus_RoadVehicle&lt;/a&gt;.  Since &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjT95wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;RoadVehicle&lt;/a&gt; is a specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwLzhaZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TransportationDevice_Vehicle&lt;/a&gt;, each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjT95wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;RoadVehicle&lt;/a&gt; is self-powered.  Consequently, road transportation devices which are not self-powered (for example, all the instances of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjo0JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Bicycle&lt;/a&gt;) are not included in this collection.</rdfs:comment>
    <rdfs:label xml:lang="en">motor vehicle</rdfs:label>
  </owl:Class>

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

  <owl:Class rdf:about="Mx4rvVizgZwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjT95wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;RoadVehicle&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVizgZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Truck&lt;/a&gt; is a road vehicle designed to carry both passengers and (relatively heavy) cargo.  A typical instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVizgZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Truck&lt;/a&gt; has a cab area for the driver, as well as a large cargo area separate from the cab.  The cargo area of a truck may be open (as in many instances of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVihFpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PickupTruck&lt;/a&gt;) or closed (as in most instances of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvgDLk5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SemiTrailer_Truck&lt;/a&gt;).  Some specializations of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVizgZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Truck&lt;/a&gt; are &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj_QpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;DumpTruck&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvgDKjpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FireTruck&lt;/a&gt;, and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVi0PJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;GarbageTruck&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">truck</rdfs:label>
    <cycAnnot:label xml:lang="en">Truck</cycAnnot:label>
  </owl:Class>

  <owl:Thing rdf:about="http://dbpedia.org/resource/Automobile">
    <cycAnnot:label xml:lang="en">Automobile</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjT95wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;RoadVehicle&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt; is a four-wheeled road vehicle designed for carrying about two to eight passengers.  Notable specializations of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt; include &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViHlZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SportsCar&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVihFpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PickupTruck&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVihV5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Van&lt;/a&gt;.  This collection does _not_ include motorcycles or tractor-trailers (since both motorcycles and tractor-trailers are not four-wheeled vehicles), nor does it include buses (since buses are designed to carry more passengers than instances of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt; are designed to carry).</rdfs:comment>
    <rdfs:label xml:lang="en">car</rdfs:label>
  </owl:Thing>

  <owl:Class rdf:about="Mx4rvVibOJwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">AutomobileTypeByBrand</cycAnnot:label>
    <rdfs:comment xml:lang="en">A collection of collections and a specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rveBxrpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;RoadVehicleType&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; is a collection of automobiles that are of the same brand as one another.</rdfs:comment>
    <rdfs:label xml:lang="en">brand of car</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rgQtd9F2xEdif1wACs2IMlQ">
    <rdfs:comment xml:lang="en">An instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rgQsP1F2xEdif1wACs2IMlQ&quot; class=&quot;cyc_term&quot;&gt;Topic&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rgQtd9F2xEdif1wACs2IMlQ&quot; class=&quot;cyc_term&quot;&gt;Transportation_Topic&lt;/a&gt; is a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViA9JwpEbGdrcN5Y29ycA&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>
    <cycAnnot:label xml:lang="en">Transportation-Topic</cycAnnot:label>
    <rdfs:label xml:lang="en">transportation-topic</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rVSIUpKmrQdiYnqBkKeeXYw">
    <cycAnnot:label xml:lang="en">AutomobileTypeByConventionalSizeClassification</cycAnnot:label>
    <rdfs:label xml:lang="en">automobile type by conventional size classification</rdfs:label>
    <rdfs:comment xml:lang="en">A &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FacetingCollectionType&lt;/a&gt; and a specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rveBxrpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;RoadVehicleType&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ConventionalClassificationType&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rVSIUpKmrQdiYnqBkKeeXYw&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByConventionalSizeClassification&lt;/a&gt; is a collection of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt;s falling under the same conventional size classification.  (Note that conventional size classifications may vary between &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rviE6a5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;GeopoliticalRegion&lt;/a&gt;s.)  Instances of this collection include &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rqLKZhqmrQdiZ9awxMuo5Fg&quot; class=&quot;cyc_term&quot;&gt;LargeCar&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVif55wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MidsizeCar&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjtkpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CompactCar&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjpNJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SubcompactCar&lt;/a&gt;, and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rkmc8wqmrQdiJabCTR_lzvA&quot; class=&quot;cyc_term&quot;&gt;MinicompactCar&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

</rdf:RDF>
