<?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="Mx4rvViQupwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">The collection of all flags. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViQ_ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Insignia&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rCF6xbM1pEdmAAAACs0uFOQ&quot; class=&quot;cyc_term&quot;&gt;SurfaceRegion_Finite&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVkDZZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SurfaceRegion_Tangible&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvYyzApwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SurfaceRegion_Bounded&lt;/a&gt;, and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvipL4pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FreeSheet&lt;/a&gt;. &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViQupwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Flag&lt;/a&gt; is 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">flag</rdfs:label>
    <cycAnnot:label xml:lang="en">Flag</cycAnnot:label>
    <rdfs:subClassOf rdf:resource="Mx4rvYyzApwpEbGdrcN5Y29ycA"/>
    <rdfs:subClassOf rdf:resource="Mx4rCF6xbM1pEdmAAAACs0uFOQ"/>
    <rdfs:subClassOf rdf:resource="Mx4rvViQ_ZwpEbGdrcN5Y29ycA"/>
    <rdfs:subClassOf rdf:resource="Mx4rvipL4pwpEbGdrcN5Y29ycA"/>
    <rdfs:subClassOf rdf:resource="Mx4rvVkDZZwpEbGdrcN5Y29ycA"/>
    <rdf:type rdf:resource="Mx4rzw1ZKqTuQdiLqrjLEubYWg"/>
    <rdf:type rdf:resource="Mx4rvWXYgJwpEbGdrcN5Y29ycA"/>
    <rdf:type rdf:resource="Mx4rpPHhAOB1EdqAAAACs6hRXg"/>
    <owl:sameAs rdf:resource="http://dbpedia.org/resource/Flag"/>
    <owl:sameAs rdf:resource="http://umbel.org/umbel/sc/Flag"/>
    <owl:sameAs rdf:resource="&cyc;Mx4rvViQupwpEbGdrcN5Y29ycA"/>
    <Mx4rwQtVmpwpEbGdrcN5Y29ycA rdf:resource="Mx4rvVkJCZwpEbGdrcN5Y29ycA"/>
    <Mx4rZOAVeiYGEdqAAAACs2IMmw rdf:resource="Mx8Ngx4rwROrhZwpEbGdrcN5Y29ycB4rvVkGrZwpEbGdrcN5Y29ycB4rvVif9pwpEbGdrcN5Y29ycA"/>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">banners</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">standards</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">flags</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">standard</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">banner</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rTv-jk9SPTXa991kk5mAvHg>Flag</Mx4rTv-jk9SPTXa991kk5mAvHg>
    <Mx4rNv0nbm4TTjOp7yhmnzOyqg>http://en.wikipedia.org/wiki/Flag</Mx4rNv0nbm4TTjOp7yhmnzOyqg>
    <Mx4riWVFR6HJSpaEaHrcWS3MSA>http://www.w3.org/2006/03/wn/wn20/instances/synset-flag-noun-1</Mx4riWVFR6HJSpaEaHrcWS3MSA>
  </owl:Class>

  <owl:Class rdf:about="Mx8Ngh4rvVihU5wpEbGdrcN5Y29ycB4rwO5_s5wpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViQupwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">flag that represents Malta</rdfs:label>
    <cycAnnot:label xml:lang="en">(FlagFn Malta-TheCountry)</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx8Ngh4rvVihU5wpEbGdrcN5Y29ycB4rvViRhJwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViQupwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">(FlagFn UnitedKingdomOfGreatBritainAndNorthernIreland)</cycAnnot:label>
    <rdfs:label xml:lang="en">flag that represents the United Kingdom</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx8Ngh4rvVihU5wpEbGdrcN5Y29ycB4rvViUSpwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViQupwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">(FlagFn Honduras)</cycAnnot:label>
    <rdfs:label xml:lang="en">flag that represents Honduras</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx8Ngh4rvVihU5wpEbGdrcN5Y29ycB4rvVikKpwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViQupwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">U.S. flag</rdfs:label>
    <cycAnnot:label xml:lang="en">(FlagFn UnitedStatesOfAmerica)</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx8Ngx4rwROrhZwpEbGdrcN5Y29ycB4rvViQupwpEbGdrcN5Y29ycB4rZLs42jD3EdqAAAACs71DGQ">
    <rdfs:subClassOf rdf:resource="Mx4rvViQupwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">(CollectionDifferenceFn Flag NationalFlag)</cycAnnot:label>
    <rdfs:label xml:lang="en">non-national flag</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx8Ngh4rvVihU5wpEbGdrcN5Y29ycB4rvViJR5wpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViQupwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">(FlagFn Rwanda)</cycAnnot:label>
    <rdfs:label xml:lang="en">flag that represents Rwanda</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx8Ngh4rvVihU5wpEbGdrcN5Y29ycB4rvViGWpwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViQupwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">(FlagFn Iraq)</cycAnnot:label>
    <rdfs:label xml:lang="en">flag that represents Iraq</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx8Ngh4rvVihU5wpEbGdrcN5Y29ycB4rvVkAiZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViQupwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">(FlagFn Mexico)</cycAnnot:label>
    <rdfs:label xml:lang="en">flag that represents Mexico</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx8Ngh4rvVihU5wpEbGdrcN5Y29ycB4rvViUs5wpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViQupwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">(FlagFn Australia)</cycAnnot:label>
    <rdfs:label xml:lang="en">Australian flag</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx8Ngh4rvVihU5wpEbGdrcN5Y29ycB4rvVkGE5wpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViQupwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">(FlagFn Panama)</cycAnnot:label>
    <rdfs:label xml:lang="en">flag that represents Panama</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx8Ngh4rvVihU5wpEbGdrcN5Y29ycB4rvVjl7JwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViQupwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">(FlagFn Cuba)</cycAnnot:label>
    <rdfs:label xml:lang="en">flag that represents Cuba</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx8Ngh4rvVihU5wpEbGdrcN5Y29ycB4rvVimZ5wpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViQupwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">Canada&apos;s flag</rdfs:label>
    <cycAnnot:label xml:lang="en">(FlagFn Canada)</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rZLs42jD3EdqAAAACs71DGQ">
    <rdfs:subClassOf rdf:resource="Mx4rvViQupwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">NationalFlag</cycAnnot:label>
    <rdfs:label xml:lang="en">national flag</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of instances of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViQupwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Flag&lt;/a&gt; that symoblize an instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViIeZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Country&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx8Ngh4rvVihU5wpEbGdrcN5Y29ycB4rvVjWZZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViQupwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">(FlagFn InternationalOlympicCommittee)</cycAnnot:label>
    <rdfs:label xml:lang="en">flag that represents the International Olympic Committee</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx8Ngh4rvVihU5wpEbGdrcN5Y29ycB4rvViGlZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViQupwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">(FlagFn SaudiArabia)</cycAnnot:label>
    <rdfs:label xml:lang="en">flag that represents Saudi Arabia</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx8Ngh4rvVihU5wpEbGdrcN5Y29ycB4rvViiqZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViQupwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">(FlagFn Gibraltar)</cycAnnot:label>
    <rdfs:label xml:lang="en">flag that represents Gibraltar</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx8NhB4rwP1IC5wpEbGdrcN5Y29ycB4rvViQupwpEbGdrcN5Y29ycB4rvVjPqZwpEbGdrcN5Y29ycB4rvViIeZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViQupwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">national flag</rdfs:label>
    <cycAnnot:label xml:lang="en">(SubcollectionOfWithRelationToTypeFn Flag symbolizes Country)</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx8Ngh4rvVihU5wpEbGdrcN5Y29ycB4rvVkDw5wpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViQupwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">(FlagFn Cyprus-TheCountry)</cycAnnot:label>
    <rdfs:label xml:lang="en">flag that represents Cyprus</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx8Ngh4rvVihU5wpEbGdrcN5Y29ycB4rvg-FWZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViQupwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">flag that represents Western Sahara</rdfs:label>
    <cycAnnot:label xml:lang="en">(FlagFn WesternSahara)</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvYyzApwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvZWBA5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SurfaceRegion&lt;/a&gt; (q.v.).  This is the collection of tangible and intangible surfaces that have some closed boundary, such as a perimeter or hole.  More precisely, a surface is an instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvYyzApwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SurfaceRegion_Bounded&lt;/a&gt; if and only if it has a boundary, and its (total) boundary is -- or has a part that is -- a finite, unbounded, and  spatially-continuous (see &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvzb1U5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ClosedLinearObject&lt;/a&gt;).  
&lt;p/&gt;
For example, a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rmSmWUM7yEdmAAAACs0uFOQ&quot; class=&quot;cyc_term&quot;&gt;Circle&lt;/a&gt; is a bounded surface; and so is the skin of an apple with a bite taken out of it.  Conversely, a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rN1T3Nlv9QdeJ7LFO9u6POw&quot; class=&quot;cyc_term&quot;&gt;Plane&lt;/a&gt; and intact apple skin are both  instances of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwD6uDJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SurfaceRegion_Unbounded&lt;/a&gt;.  Also cf. &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rW_U-PsyoEdmAAAACs0uFOQ&quot; class=&quot;cyc_term&quot;&gt;SurfaceRegion_SemiBounded&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">bounded surface</rdfs:label>
    <cycAnnot:label xml:lang="en">SurfaceRegion-Bounded</cycAnnot:label>
  </owl:Class>

  <owl:ObjectProperty rdf:about="Mx4rwLSVCpwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">Pretty String</rdfs:label>
    <rdfs:comment xml:lang="en">(&lt;a href=&quot;http://sw.opencyc.org/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:Class rdf:about="Mx8Ngx4rwROrhZwpEbGdrcN5Y29ycB4rvVkGrZwpEbGdrcN5Y29ycB4rvVif9pwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">(CollectionDifferenceFn HumanScaleObject SpaceInAHOC)</cycAnnot:label>
    <rdfs:label xml:lang="en">human-scale object that is not an indoor space</rdfs:label>
  </owl:Class>

  <owl: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:Class rdf:about="Mx4rvVkDZZwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">physical surface</rdfs:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvZWBA5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SurfaceRegion&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj27ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PartiallyTangible&lt;/a&gt;.  This is the collection of all physical (and thus technically three-dimensional) surfaces, i.e. tangible surfaces of tangible objects.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVkDZZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SurfaceRegion_Tangible&lt;/a&gt; has a (non-zero) thickness that is much less than its average length or width.  A tangible surface region might have holes, tears, or be unconnected and in multiple pieces; it might be flat, curved, or crumpled.  Examples include the skin of an apple and the top side of a tabletop. 
&lt;p/&gt;
Cf. &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvg1ZeJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Surface&lt;/a&gt;, whose instances are two-dimensional, intangible regions of space.</rdfs:comment>
    <cycAnnot:label xml:lang="en">SurfaceRegion-Tangible</cycAnnot:label>
  </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:Class rdf:about="Mx4rzw1ZKqTuQdiLqrjLEubYWg">
    <rdfs:comment xml:lang="en">The collection of all instances of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4r_4bScKNtQdiVw7XtX-HN0Q&quot; class=&quot;cyc_term&quot;&gt;ClarifyingCollectionType&lt;/a&gt; that are used by the &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvYbXiJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;QueryAugmentationApplication&lt;/a&gt; to resolve natural language ambiguities.</rdfs:comment>
    <cycAnnot:label xml:lang="en">QAClarifyingCollectionType</cycAnnot:label>
    <rdfs:label xml:lang="en">QA clarifying collection type</rdfs:label>
  </owl:Class>

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

  <owl:Class rdf:about="Mx4rvVkJCZwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">Cloth</cycAnnot:label>
    <rdfs:label xml:lang="en">cloth</rdfs:label>
    <rdfs:comment xml:lang="en">&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVkJCZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Cloth&lt;/a&gt; is a specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibU5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TextileArtifact&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVkJCZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Cloth&lt;/a&gt; is a piece of textile sheet woven or knitted or pressed out of fibers.  Instances of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVkJCZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Cloth&lt;/a&gt; are commonly used as material inputs to the manufacture of such things as clothing items, towels, sails for sailing craft, parachutes, and draperies.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvipL4pwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">free sheet</rdfs:label>
    <cycAnnot:label xml:lang="en">FreeSheet</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVkGbpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SheetOfSomeStuff&lt;/a&gt;.  Each  instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvipL4pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FreeSheet&lt;/a&gt; is a sheet of tangible stuff that has two sides  open to the environment.  That is, over most of each of its surfaces, it is not related by &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwKiXS5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;sheetSurfaceConnected&lt;/a&gt; (q.v.) with something else. Specializations include &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjpnJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SheetOfPaper&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVia1JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Towel&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvgEVapwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Fence&lt;/a&gt;, and  &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CreditCard&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="&cyc;Mx4rvViQupwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">The collection of all flags. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViQ_ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Insignia&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rCF6xbM1pEdmAAAACs0uFOQ&quot; class=&quot;cyc_term&quot;&gt;SurfaceRegion_Finite&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVkDZZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SurfaceRegion_Tangible&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvYyzApwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SurfaceRegion_Bounded&lt;/a&gt;, and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvipL4pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FreeSheet&lt;/a&gt;. &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViQupwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Flag&lt;/a&gt; is 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">flag</rdfs:label>
    <cycAnnot:label xml:lang="en">Flag</cycAnnot:label>
  </owl:Class>

  <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:Thing rdf:about="http://dbpedia.org/resource/Flag">
    <rdfs:comment xml:lang="en">The collection of all flags. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViQ_ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Insignia&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rCF6xbM1pEdmAAAACs0uFOQ&quot; class=&quot;cyc_term&quot;&gt;SurfaceRegion_Finite&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVkDZZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SurfaceRegion_Tangible&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvYyzApwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SurfaceRegion_Bounded&lt;/a&gt;, and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvipL4pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FreeSheet&lt;/a&gt;. &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViQupwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Flag&lt;/a&gt; is 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">flag</rdfs:label>
    <cycAnnot:label xml:lang="en">Flag</cycAnnot:label>
  </owl:Thing>

  <owl:Class rdf:about="Mx4rCF6xbM1pEdmAAAACs0uFOQ">
    <cycAnnot:label xml:lang="en">SurfaceRegion-Finite</cycAnnot:label>
    <rdfs:label xml:lang="en">finite surface region</rdfs:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvZWBA5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SurfaceRegion&lt;/a&gt; (q.v.). &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rCF6xbM1pEdmAAAACs0uFOQ&quot; class=&quot;cyc_term&quot;&gt;SurfaceRegion_Finite&lt;/a&gt; is the collection of all and only those surface regions  that are finite in both of their (salient) dimensions.  They might be flat or curved, tangible or intangible, bounded (e.g. a rectangle) or unbounded (e.g. a spheriod).
&lt;p/&gt;
Cf. &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4r5i-xhs1oEdmAAAACs0uFOQ&quot; class=&quot;cyc_term&quot;&gt;SurfaceRegion_Infinite&lt;/a&gt;.</rdfs:comment>
  </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: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="Mx4rvViQ_ZwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">insignia</rdfs:label>
    <cycAnnot:label xml:lang="en">Insignia</cycAnnot:label>
    <rdfs:comment xml:lang="en">A collection of symbolic objects.  Each element of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViQ_ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Insignia&lt;/a&gt; is a visual configuration conventionally associated with some organization, person, or other agent.  Elements of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViQ_ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Insignia&lt;/a&gt; include monograms, company logos, devices of heraldry, totems, the official seals of universities, etc.</rdfs:comment>
  </owl:Class>

  <owl:Thing rdf:about="http://umbel.org/umbel/sc/Flag">
    <rdfs:comment xml:lang="en">The collection of all flags. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViQ_ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Insignia&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rCF6xbM1pEdmAAAACs0uFOQ&quot; class=&quot;cyc_term&quot;&gt;SurfaceRegion_Finite&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVkDZZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SurfaceRegion_Tangible&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvYyzApwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SurfaceRegion_Bounded&lt;/a&gt;, and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvipL4pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FreeSheet&lt;/a&gt;. &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViQupwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Flag&lt;/a&gt; is 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">flag</rdfs:label>
    <cycAnnot:label xml:lang="en">Flag</cycAnnot:label>
  </owl:Thing>

</rdf:RDF>
