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

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

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

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

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

      OpenCyc Knowledge Base

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

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

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

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

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

  <owl:Class rdf:about="Mx4rvidr35wpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">IBTContentType</cycAnnot:label>
    <rdfs:label xml:lang="en">type of information bearing thing classified by content</rdfs:label>
    <rdfs:comment xml:lang="en">A collection of collections.  Instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvidr35wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;IBTContentType&lt;/a&gt; are specs of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvkNufpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;InformationBearingThing&lt;/a&gt;.  Each such instance (that is, each IBTContentType) is specified primarily by the type or organization of information contained by its instances.  For example, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwP2KM5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;JazzMusic&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvwE_DpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ComputerProgramCopy&lt;/a&gt;, and &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViX1pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Spreadsheet&lt;/a&gt; are all IBTContentTypes, since each is primarily distinguished from other kinds of IBTs by the nature or organization of the information contained.  Non-examples include &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkJAJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CompactDisc_Generic&lt;/a&gt;, since compact discs are distinguished by their physical format, rather than their information content. (see &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvjSAy5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;IBTFormatType&lt;/a&gt;). IBTContentTypes whose instances contain not just similar but identical information (such as a single magazine issue, or &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwJ1dg5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CitizenKane_TheMovie&lt;/a&gt;), should be made specs of the more specific &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViqv5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SpecifiedInformationBearingThingType&lt;/a&gt;.  IBTContentTypes whose instances are members of a series (for example, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvu55tJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;StarTrek_Classic&lt;/a&gt;) should be made instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwEbBc5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;IBTSeriesType&lt;/a&gt;.</rdfs:comment>
    <rdfs:subClassOf rdf:resource="Mx8Ngh4rvrhK-JwpEbGdrcN5Y29ycA2EHiu9WOR2nCkRsZ2tw3ljb3JwHiu-J2vfnCkRsZ2tw3ljb3JwHiu_NL9NnCkRsZ2tw3ljb3JwHiu_2nfCnCkRsZ2tw3ljb3Jw"/>
    <rdfs:subClassOf rdf:resource="Mx4rvVitN5wpEbGdrcN5Y29ycA"/>
    <rdf:type rdf:resource="Mx4rHQdVmB_TEdaAAABQ2rksLw"/>
    <rdf:type rdf:resource="Mx4rqEYnNVMqEdaSKAACs0x8nw"/>
    <owl:sameAs rdf:resource="&ocyc;Mx4rvidr35wpEbGdrcN5Y29ycA"/>
    <owl:sameAs rdf:resource="&cyc;Mx4rvidr35wpEbGdrcN5Y29ycA"/>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">types of information bearing thing classified by content</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
  </owl:Class>

  <owl:Class rdf:about="Mx4rwEbBc5wpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvidr35wpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">type of information bearing thing series</rdfs:label>
    <rdfs:comment xml:lang="en">A collection of collections.  Instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwEbBc5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;IBTSeriesType&lt;/a&gt; are collections of InformationBearingThings belonging to a single, named series.  The sense of series here is not the broad one which includes the production order of multiple copies, but rather a narrower notion.  Each series element (e.g., a particular issue of the New York Times) is not an IBTSeriesType but is instead an instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViqv5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SpecifiedInformationBearingThingType&lt;/a&gt;, because all instances (particular copies) of a single series element will have identical information.  For example, (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;isa&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvu55tJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;StarTrek_Classic&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwEbBc5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;IBTSeriesType&lt;/a&gt;), but (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvvRJWZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MediaSeriesNthFn&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvu55tJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;StarTrek_Classic&lt;/a&gt; 17) is not.  (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;isa&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwMubNpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;USAToday_TheNewspaper&lt;/a&gt; #IBTSeriesType), but (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvvkF-JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MediaSeriesByDateFn&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwMubNpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;USAToday_TheNewspaper&lt;/a&gt; (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvgD_W5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;DayFn&lt;/a&gt; 2 (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvgD9jZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MonthFn&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjCMpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;May&lt;/a&gt; (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjympwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;YearFn&lt;/a&gt; 1998)))) is not.  The information content of that set of copies will be substantially different from the information content of another element of the same series.  For example, all copies of the May 2, 1998 USA Today share the same information, but only a small amount of information is shared between the May 2 and May 3 issues of any year.</rdfs:comment>
    <cycAnnot:label xml:lang="en">IBTSeriesType</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rv08TdZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvidr35wpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">music type</rdfs:label>
    <cycAnnot:label xml:lang="en">MusicType</cycAnnot:label>
    <rdfs:comment xml:lang="en">This is the collection of all music types. It includes not only types-by-style  (basically genres) but also types-by-instrumentation, -period, -region, etc.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rwIiEmJwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvidr35wpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">ibt series of editions type</rdfs:label>
    <cycAnnot:label xml:lang="en">IBTSeriesOfEditionsType</cycAnnot:label>
    <rdfs:comment xml:lang="en">A collection of collections. Each instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwIiEmJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;IBTSeriesOfEditionsType&lt;/a&gt; is a collection of InformationBearingThings which are all editions of the same work.  These InformationBearingThings share substantially the same information, and typically share the same name, but don&apos;t share exactly the same information because they are not all from the same edition.  For example, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4riNGXwP2fQdaZXrfbbzQmow&quot; class=&quot;cyc_term&quot;&gt;MSWindows&lt;/a&gt; has many versions (or editions), so it is an instance of IBTSeriesOfEditionsType.  Any particular instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4riNGXwP2fQdaZXrfbbzQmow&quot; class=&quot;cyc_term&quot;&gt;MSWindows&lt;/a&gt; would also be an instance of some particular edition of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4riNGXwP2fQdaZXrfbbzQmow&quot; class=&quot;cyc_term&quot;&gt;MSWindows&lt;/a&gt;; e.g., &lt;font color=&quot;#ff0000&quot;&gt;#$MSWindows95&lt;/font&gt;.  Collections of IBTs which are all from the same edition, such as &lt;font color=&quot;#ff0000&quot;&gt;#$MSWindows95&lt;/font&gt;, would be instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViqv5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SpecifiedInformationBearingThingType&lt;/a&gt;.  The relationship between an instance of IBTSeriesOfEditionsType (such as MSWindows) and the SpecifiedInformationBearingThingTypes that are its editions (such as &lt;font color=&quot;#ff0000&quot;&gt;#$MSWindows95&lt;/font&gt;) is &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;genls&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvnlFSZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvidr35wpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">computer file format</rdfs:label>
    <cycAnnot:label xml:lang="en">ComputerFileTypeByFormat</cycAnnot:label>
    <rdfs:comment xml:lang="en">A collection of collections of computer files [&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwFz9L5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ComputerFile_AIS&lt;/a&gt;]. Each instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvnlFSZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ComputerFileTypeByFormat&lt;/a&gt; (e.g. &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvk_-EpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;JPEGFile&lt;/a&gt;) is a collection of all &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwFz9L5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ComputerFile_AIS&lt;/a&gt;s that conform to a single preestablished layout for electronic data. Programs accept data as input in a certain format, process it, and provide it as output in the same or another format. This constant refers to the format of the data. For every instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvrgHFpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ComputerFileCopy&lt;/a&gt;, one can assert a &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvZTKWJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;fileFormat&lt;/a&gt; for it.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvViqv5wpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvidr35wpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">specified information bearing thing type</rdfs:label>
    <cycAnnot:label xml:lang="en">SpecifiedInformationBearingThingType</cycAnnot:label>
    <rdfs:comment xml:lang="en">A collection of collections which is being phased out. In most cases, instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwClAZJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ConceptualWork&lt;/a&gt; should be used instead. Each instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViqv5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SpecifiedInformationBearingThingType&lt;/a&gt; is a subcollection of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvkNufpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;InformationBearingThing&lt;/a&gt;, all of whose instances are instantiations of the same &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwClAZJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ConceptualWork&lt;/a&gt; and share a primary media form. Instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViqv5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SpecifiedInformationBearingThingType&lt;/a&gt; can be created to refer to any instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwClAZJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ConceptualWork&lt;/a&gt;. For example, the collection of all instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;BookCopy&lt;/a&gt; which are instantiations of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwLgpCZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;WarAndPeace_TheNovel&lt;/a&gt; would be an instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViqv5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SpecifiedInformationBearingThingType&lt;/a&gt;, as would the collection of all instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjVH5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MovieShowing&lt;/a&gt; which are instantiations of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwCuespwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Jaws_TheMovie&lt;/a&gt; (even though both the novel `War and Peace&apos; and &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwCuespwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Jaws_TheMovie&lt;/a&gt; were issued in slightly different variants). Heterogeneous collections, however, such as those defined by `copies of books written by Mark Twain&apos;, or by `physical instantiations of the Jaws story in all its forms&apos;, are NOT subcollections of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViqv5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SpecifiedInformationBearingThingType&lt;/a&gt;, although they are subcollections of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvkNufpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;InformationBearingThing&lt;/a&gt;. Example of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViqv5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SpecifiedInformationBearingThingType&lt;/a&gt;: &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzny5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;DimeCoin_US&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx8Ngh4rvViS4ZwpEbGdrcN5Y29ycB4rvViyq5wpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">The collection of all marriage licenses. A type of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvkNufpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;InformationBearingThing&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">(InformationThingAboutFn MarriageLicense)</cycAnnot:label>
    <rdfs:label xml:lang="en">marriage license</rdfs:label>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx4rvq3c4pwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">Barcode</cycAnnot:label>
    <rdfs:comment xml:lang="en">a series of printed parallel lines or bars used on products in stores, addresses on envelopes, etc to encode information.</rdfs:comment>
    <rdfs:label xml:lang="en">barcode</rdfs:label>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx8Ngh4rvwlvXZwpEbGdrcN5Y29ycB4rvVix8ZwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">(TextualMaterialAboutFn AdultFemaleHuman)</cycAnnot:label>
    <rdfs:label xml:lang="en">book about women</rdfs:label>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx8Ngh4rvZ3sH5wpEbGdrcN5Y29ycB4rvsfwGpwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">(WebSiteFn-Reference DodgePioneerCar)</cycAnnot:label>
    <rdfs:label xml:lang="en">reference page about Dodge Pioneer</rdfs:label>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx4rvWIKZpwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">A &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvWIKZpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Statement&lt;/a&gt; is the &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvkNufpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;InformationBearingThing&lt;/a&gt; created in a &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVr8vZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;StatingSomething&lt;/a&gt;.  An &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAB5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Agent_PartiallyTangible&lt;/a&gt; must create the &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvWIKZpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Statement&lt;/a&gt; and it contains propositional information.  The illocutionary force of its contents are an &lt;font color=&quot;#ff0000&quot;&gt;#$Inform&lt;/font&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">statement</rdfs:label>
    <cycAnnot:label xml:lang="en">Statement</cycAnnot:label>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx4rv7RhrpwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">HousePlan</cycAnnot:label>
    <rdfs:label xml:lang="en">home plan</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rv7-EzJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ArchitecturalPlan&lt;/a&gt;s which act as specifications for building houses. Some of these plans may be &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzjPJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Blueprint&lt;/a&gt;s, but they need not be hardcopy objects. They could be created using a computer drafting program, for example.</rdfs:comment>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx4rvW4n1pwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkJAJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CompactDisc_Generic&lt;/a&gt;.  Each instance of this collection is designed to be used for storing audio in the CD format, which is most commonly used for music.</rdfs:comment>
    <rdfs:label xml:lang="en">compact disc</rdfs:label>
    <cycAnnot:label xml:lang="en">CompactDisc-Audio</cycAnnot:label>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx4rv7-EzJwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">The collection of architectural drawings which act as plans or specifications for building some &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVidpZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ConstructionArtifact&lt;/a&gt;. Some of these plans may be &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzjPJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Blueprint&lt;/a&gt;s, but they need not be hardcopy objects. They could be created using a computer drafting program, for example.</rdfs:comment>
    <cycAnnot:label xml:lang="en">ArchitecturalPlan</cycAnnot:label>
    <rdfs:label xml:lang="en">architectural plan</rdfs:label>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx4rvZyPeZwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">advertisement</rdfs:label>
    <cycAnnot:label xml:lang="en">Advertisement-IBT</cycAnnot:label>
    <rdfs:comment xml:lang="en">A collection of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvkNufpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;InformationBearingThing&lt;/a&gt;s. &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvZyPeZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Advertisement_IBT&lt;/a&gt;s are IBTs intended for a large audience, often &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVz97JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ThePublic&lt;/a&gt;. The originator of the corresponding &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwP2CJJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Advertisement_PCW&lt;/a&gt; pays to have these instantiations made accessible to the intended audience, and intends that people who access one will be affected by it in a way that is favorable to the originator. &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvZyPeZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Advertisement_IBT&lt;/a&gt;s take many physical forms, including billboards, magazine and newspapers ads, email, direct mail, and radio and television commercials, among others.</rdfs:comment>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx4rvyciVJwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">ResidentialPhoneDirectory</cycAnnot:label>
    <rdfs:comment xml:lang="en">A sub-collection of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjllJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TelephoneDirectory&lt;/a&gt;. Each &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvyciVJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ResidentialPhoneDirectory&lt;/a&gt; lists &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjs7pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PhoneNumber&lt;/a&gt;s for &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjmiZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HumanResidence&lt;/a&gt;s. The listings are generally sorted alphabetically by the &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwN11_ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;familyName&lt;/a&gt; of the head of household.</rdfs:comment>
    <rdfs:label xml:lang="en">white pages</rdfs:label>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx4rv9mYBZwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">yellow pages</rdfs:label>
    <cycAnnot:label xml:lang="en">YellowPages</cycAnnot:label>
    <rdfs:comment xml:lang="en">A sub-collection of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjllJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TelephoneDirectory&lt;/a&gt;. Each instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rv9mYBZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;YellowPages&lt;/a&gt; lists &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjs7pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PhoneNumber&lt;/a&gt;s for &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjQNpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Business&lt;/a&gt;es. The listings may be sorted alphabetically by the name of the &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjQNpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Business&lt;/a&gt;, or by names of business categories, and by name of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjQNpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Business&lt;/a&gt; within each category.</rdfs:comment>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx4rvViX1pwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvrtS6JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HumanAccessibleIBT&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj4OZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;StructuredInformationSource&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViX1pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Spreadsheet&lt;/a&gt; is an information-bearing thing that presents (usually numeric) data in a two-dimensional matrix of cells that are organized into rows and columns so that people can view it.  A spreadsheet may be produced by hand with pencil and paper or generated by a computer &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj7fZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SpreadsheetProgram&lt;/a&gt; (q.v.) such as &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViw7ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Lotus123&lt;/a&gt; onto a computer screen or hardcopy device.  Associated with every spreadsheet are mathematical definitions of some of its cells as a function of other cells in that spreadsheet.  A database [see &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVidEpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Database_Physical&lt;/a&gt;] that holds the information from which the spreadsheet is generated is not an instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViX1pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Spreadsheet&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">spreadsheet</rdfs:label>
    <cycAnnot:label xml:lang="en">Spreadsheet</cycAnnot:label>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx4rvVjM7JwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">bill for service</rdfs:label>
    <rdfs:comment xml:lang="en">The bill for services rendered</rdfs:comment>
    <cycAnnot:label xml:lang="en">BillForServices</cycAnnot:label>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx4rwPfnj5wpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">religious symbol</rdfs:label>
    <cycAnnot:label xml:lang="en">ReligiousSymbol</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of all religious symbols. A type of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwKrQNpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SymbolicThing&lt;/a&gt;. &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwPfnj5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ReligiousSymbol&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvidr35wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;IBTContentType&lt;/a&gt;.</rdfs:comment>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx4rwGQ31ZwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">HKLM-SOFTWARE-Microsoft-TransactionServer-Packages-Directory</cycAnnot:label>
    <rdfs:label xml:lang="en">hklm software microsoft transaction server packages directory</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of all HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\TransactionServer\Packages registry keys, a spec of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvsWeXpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ExecutableRegistryKey&lt;/a&gt;.  Not an &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvnRnKZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;NTStandardFileType&lt;/a&gt;, but fairly common.  A directory of this kind is created on an &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvwSW0pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;NTMachine&lt;/a&gt; when &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvz4qupwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MSTransactionServer&lt;/a&gt; has been installed on it.</rdfs:comment>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx8Ngh4rvwlvXZwpEbGdrcN5Y29ycB4rvVjhG5wpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">textual material about family households</rdfs:label>
    <cycAnnot:label xml:lang="en">(TextualMaterialAboutFn FamilyCohabitationUnit)</cycAnnot:label>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx4rwD2pXpwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">pornographic cartoon</rdfs:label>
    <cycAnnot:label xml:lang="en">PornographicCartoon</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of all pornographic cartoons. Members of this collection may be specs of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvW1cLpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Cartoon_Still&lt;/a&gt; or &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwP0EJJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Cartoon_Animated&lt;/a&gt;.</rdfs:comment>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx8Ngh4rvj0Ts5wpEbGdrcN5Y29ycB4rvntkXJwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">male orgy picture</rdfs:label>
    <cycAnnot:label xml:lang="en">(PicturesOfTypeFn HomosexualBehavior-Male)</cycAnnot:label>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx8Ngh4rvkNw6JwpEbGdrcN5Y29ycB4rwIcxL5wpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">(TroubleWithTypeReportFn DodgeViperCar)</cycAnnot:label>
    <rdfs:label xml:lang="en">report of trouble or problems with Dodge Vipers</rdfs:label>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx4rwDMLb5wpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">license ibo</rdfs:label>
    <rdfs:comment xml:lang="en">A collection of InformationBearingObjects.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwDMLb5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;License_IBO&lt;/a&gt; is a tangible document recording some &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViu3pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;License_LegalAgreement&lt;/a&gt;.For example, the StateOfTexas enters into a LegalAgreement with me which constitutes my &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViy7JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;DriversLicense_LicenseAgreement&lt;/a&gt;, an instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViu3pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;License_LegalAgreement&lt;/a&gt;.  That agreement is recorded on the card I carry in my pocket, and instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwDMLb5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;License_IBO&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">License-IBO</cycAnnot:label>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx4rwQr8bJwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">Advertisement-Commercial-IBT</cycAnnot:label>
    <rdfs:comment xml:lang="en">IBTs issued by businesses to let potential customers know what products they want to sell, buy, rent, lease, or trade.  See also &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwP2CJJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Advertisement_PCW&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">commercial advertisement</rdfs:label>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx8Ngh4rvc-PwpwpEbGdrcN5Y29ycB4rwSP_DpwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">Jeff Gordon picture</rdfs:label>
    <cycAnnot:label xml:lang="en">(PicturesFn JeffGordon)</cycAnnot:label>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx4rwEk7CZwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">yaoi</rdfs:label>
    <rdfs:comment xml:lang="en">Instances of the collection &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwEk7CZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Yaoi&lt;/a&gt; are highly romanticized, but sexually explicit, Japanese-style &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvtiOJJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Hentai&lt;/a&gt; cartoons about &lt;font color=&quot;#ff0000&quot;&gt;#$GayMales&lt;/font&gt;.  Members of this collection may also be instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvW1cLpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Cartoon_Still&lt;/a&gt;, or &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvV5sEZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Animation_MovingImage&lt;/a&gt;.  &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwEk7CZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Yaoi&lt;/a&gt; as a cartoon form originated in Japan in the 1990&apos;s primarily for a female audience.</rdfs:comment>
    <cycAnnot:label xml:lang="en">Yaoi</cycAnnot:label>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx4rvVjqXZwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">CycTheCollection</cycAnnot:label>
    <rdfs:label xml:lang="en">copy of the Cyc program</rdfs:label>
    <rdfs:comment xml:lang="en">A specialization of (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwSrUNJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ProgramTypeCopyFn&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViJNZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;IntelligentComputerProgram&lt;/a&gt;) and (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwSrUNJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ProgramTypeCopyFn&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnQJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;InteractiveComputerProgram&lt;/a&gt;). Each instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjqXZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CycTheCollection&lt;/a&gt; is a copy (see &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwSiusZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;programCopies&lt;/a&gt;) of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjbE5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CycProgram&lt;/a&gt;. Instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjqXZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CycTheCollection&lt;/a&gt; include all of the copies of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjbE5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CycProgram&lt;/a&gt; on storage media (see &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rDTuCrKlmEdaAAACgycbRww&quot; class=&quot;cyc_term&quot;&gt;CycCopy&lt;/a&gt;) or running on computers (either &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvWB87JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CycAgent&lt;/a&gt; or &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rQv0MTKWjEdaAAACgycbRww&quot; class=&quot;cyc_term&quot;&gt;CycImage&lt;/a&gt;) at any time in history. A notable instance of this &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvWB87JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CycAgent&lt;/a&gt; is &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAZZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Cyc&lt;/a&gt;, which is the agentive copy of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjqXZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CycTheCollection&lt;/a&gt; that one is currently running and using.</rdfs:comment>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx8Ngh4rvj0Ts5wpEbGdrcN5Y29ycB4rwJxn3pwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">picture of lesbian sex</rdfs:label>
    <cycAnnot:label xml:lang="en">(PicturesOfTypeFn HomosexualBehavior-Female)</cycAnnot:label>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx8Ngh4rvwlvXZwpEbGdrcN5Y29ycB4rvmo-jZwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">(TextualMaterialAboutFn DomainName)</cycAnnot:label>
    <rdfs:label xml:lang="en">textual material about domain names</rdfs:label>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx4rwP1S-JwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">object bearing information about an event</rdfs:label>
    <cycAnnot:label xml:lang="en">IBOAboutEvent</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of IBOs which are event-centered.</rdfs:comment>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx4rvW1cLpwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">comics</rdfs:label>
    <rdfs:comment xml:lang="en">Instances of this collection involve static &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rv3sEL5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Cartoon&lt;/a&gt; drawings, as opposed to animated cartoons (see &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwP0EJJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Cartoon_Animated&lt;/a&gt;). Examples include individual cartoon drawings, comic strips (see &lt;font color=&quot;#ff0000&quot;&gt;#$SpecifiedComicStripSeriesType&lt;/font&gt;), and comic books.</rdfs:comment>
    <cycAnnot:label xml:lang="en">Cartoon-Still</cycAnnot:label>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx8Ngh4rvwlvXZwpEbGdrcN5Y29ycB4rvViyfpwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">book about men</rdfs:label>
    <cycAnnot:label xml:lang="en">(TextualMaterialAboutFn AdultMaleHuman)</cycAnnot:label>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx8Ngh4rvj0Ts5wpEbGdrcN5Y29ycB4rwAZoW5wpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">bondage picture</rdfs:label>
    <cycAnnot:label xml:lang="en">(PicturesOfTypeFn Bondage-Sexual)</cycAnnot:label>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx4rvgCnOpwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">coupon</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of all voouchers. A type of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjEcJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TenderObject&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvgCnOpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Voucher&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvidr35wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;IBTContentType&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">Voucher</cycAnnot:label>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx4rvfMBiZwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;BookCopy&lt;/a&gt;; the collection of all printed, hardcopy versions of the &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwOG0IJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Bible&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">bible</rdfs:label>
    <cycAnnot:label xml:lang="en">Bible-BookCopy</cycAnnot:label>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx4rvVjSCJwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">annotation</rdfs:label>
    <cycAnnot:label xml:lang="en">Note-Document</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of all note documents: information bearing objects that have as their main purpose helping persons remember the information encoded in them.</rdfs:comment>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx4rv3sEL5wpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">cartoon</rdfs:label>
    <cycAnnot:label xml:lang="en">Cartoon</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of drawings of characters. The following 4 facts are often but not always true about them: 1: Their characters are doing some action. 2: They involve social or political commentary. 3: They involve humorous or satirical content. 4: They are often part of cartoons strips. Some are animated moving pictures (see &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwP0EJJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Cartoon_Animated&lt;/a&gt;) others are still, see &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvW1cLpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Cartoon_Still&lt;/a&gt;.</rdfs:comment>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx8Ngh4rvwlvXZwpEbGdrcN5Y29ycB4rv1pP4JwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">(TextualMaterialAboutFn FootFetish)</cycAnnot:label>
    <rdfs:label xml:lang="en">textual material about foot fetishism</rdfs:label>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx4rwKrQNpwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">A specialization of both &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvu__KJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;InformationStore&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwBObNJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PartiallyIntangibleIndividual&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwKrQNpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SymbolicThing&lt;/a&gt; symbolizes some thing or event or achievement, without describing it in any detail.  Examples include halos (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvzaw1ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Halo_Symbolic&lt;/a&gt;), &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjPBZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;NationalAnthem&lt;/a&gt;s, school colors, and physical objects such as national flags which are instances of the (notable) subcollection &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjPJpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SymbolicObject&lt;/a&gt;.  Note that instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwKrQNpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SymbolicThing&lt;/a&gt; can be &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvkNufpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;InformationBearingThing&lt;/a&gt;s or &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwClAZJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ConceptualWork&lt;/a&gt;s. They generally do not have propositional information (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAqJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PropositionalInformationThing&lt;/a&gt;) contents -- rather, they are typically associated (by an informed interpreter) with particular entities.  To emotional interpreters, such as &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Person&lt;/a&gt;s, symbolic objects are often evocative of certain attitudes associated with the entities symbolized -- such as nationalism, respect, school spirit, hatred, reverence, etc. &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwKrQNpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SymbolicThing&lt;/a&gt; differs from &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjJhJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Signal&lt;/a&gt; in that &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjJhJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Signal&lt;/a&gt;s are one-time-only occurrences, whereas &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwKrQNpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SymbolicThing&lt;/a&gt;s are open to their characteristic interpretation any time they are encountered. See also &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwDZeOpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;signifiesTo&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvX_fqJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;signifies&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">symbolic representation</rdfs:label>
    <cycAnnot:label xml:lang="en">SymbolicThing</cycAnnot:label>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx4rvtiOJJwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">Members of Hentai are pornographic cartoons. Members of this collection may be specializations of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvW1cLpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Cartoon_Still&lt;/a&gt;, or &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvV5sEZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Animation_MovingImage&lt;/a&gt;. Hentai as a cartoon form originated in Japan.</rdfs:comment>
    <rdfs:label xml:lang="en">Hentai</rdfs:label>
    <cycAnnot:label xml:lang="en">Hentai</cycAnnot:label>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx4rikPFnJJeQdiReeXspgStrQ">
    <rdfs:label xml:lang="en">MS power point file</rdfs:label>
    <cycAnnot:label xml:lang="en">MSPowerPointFile</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of both &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwFz9L5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ComputerFile_AIS&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvzS_TZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CWInfoStructure&lt;/a&gt; (qq.v.).  This is the collection of computer files that have been created using &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwLa--pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MSPowerPoint&lt;/a&gt; and correspond to (see &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rZFBfLAWLQdiduJi3VTbFSw&quot; class=&quot;cyc_term&quot;&gt;correspondingAIS&lt;/a&gt;) some &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4r-3elepJQQdiUsJySmLZPHg&quot; class=&quot;cyc_term&quot;&gt;Slideshow_CW&lt;/a&gt; (q.v.).</rdfs:comment>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx4rvV5sEZwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">Animation-MovingImage</cycAnnot:label>
    <rdfs:comment xml:lang="en">Members of this collection are &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwP19XJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MovingImage&lt;/a&gt;s made from a series of drawings simulating motion by means of slight progressive changes in the drawings. Unlike &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwP0EJJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Cartoon_Animated&lt;/a&gt;, instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvV5sEZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Animation_MovingImage&lt;/a&gt; need not be humorous or satirical; membership in &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvV5sEZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Animation_MovingImage&lt;/a&gt; is based solely on the method by which the image was created. See also &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvW_VwpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AnimatedMovie&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">animation</rdfs:label>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx4rwN0bepwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">The collection of all consumer credit reports. A type of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViXG5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;OfficialDocument&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwN0bepwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CreditReportDocument&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4roOCJgqgyQdePhq6ip3adDw&quot; class=&quot;cyc_term&quot;&gt;ArtifactTypeByFunction&lt;/a&gt;, a &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg&quot; class=&quot;cyc_term&quot;&gt;SpatiallyDisjointObjectType&lt;/a&gt;, and an &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvidr35wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;IBTContentType&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">consumer credit report</rdfs:label>
    <cycAnnot:label xml:lang="en">CreditReportDocument</cycAnnot:label>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx4rvpJFiJwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">word token</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of all spoken, written, or otherwise expressed word tokens recognizeable as instantiations (see &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvlEGHpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;instantiationOfAIS&lt;/a&gt;) of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwTEDhpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;NLWordForm&lt;/a&gt;s. Note that a single &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvpJFiJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;NLWord_IBT&lt;/a&gt; can instantiate several &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwTEDhpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;NLWordForm&lt;/a&gt;s.  Puns are examples of such multiple instantiations.</rdfs:comment>
    <cycAnnot:label xml:lang="en">NLWord-IBT</cycAnnot:label>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx4rvtD0JZwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">Index-PointerList</cycAnnot:label>
    <rdfs:comment xml:lang="en">Elements of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvtD0JZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Index_PointerList&lt;/a&gt; are &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvkNufpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;InformationBearingThing&lt;/a&gt;s structured such that they have two main parts: referents, and lists of pointers.  An &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvtD0JZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Index_PointerList&lt;/a&gt; may be thought of as list of such referent/pointer pairs.  The first element of each such pair contains a term.  The second element of each such pair contains a list of pointers to locations (not necessary spatial locations) which are related to that term in some way which is characteristic of the given index.  Some examples: At the back of many reference books one will find a Subject Index.  Such a subject index is comprised of a list of referent/pointer list pairs.  The referents are individual subjects. The pointer list associated with each subject is a list of page numbers which mention the subject.  The Cyc KB is full of indexes. For example, the constant &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Dog&lt;/a&gt; has an assertion index associated with it.  One of the referents in the index is called &apos;&apos;All GAFs&apos;&apos;.  This referent has a list of pointers associated with it.  Each pointer points to a GAF which mentions &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Dog&lt;/a&gt;.  A &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjKWpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Dictionary&lt;/a&gt; is an non-example of an index.  Although each word in the dictionary might correspond to a index referent, the items following each such word are not pointers but are definitions.</rdfs:comment>
    <rdfs:label xml:lang="en">index</rdfs:label>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

  <Mx4rvidr35wpEbGdrcN5Y29ycA rdf:about="Mx4rvgFTQJwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">TranscriptCopy</cycAnnot:label>
    <rdfs:label xml:lang="en">copy of a transcript of a speech</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of official written, printed, or typed copies of certain official records or verbatim copies of an &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkMJJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AnimalUtterance_IBT&lt;/a&gt; or series of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkMJJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AnimalUtterance_IBT&lt;/a&gt;s.</rdfs:comment>
  </Mx4rvidr35wpEbGdrcN5Y29ycA>

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

  <owl:Class rdf:about="Mx4rqEYnNVMqEdaSKAACs0x8nw">
    <cycAnnot:label xml:lang="en">AtemporalNecessarilyEssentialCollectionType</cycAnnot:label>
    <rdfs:comment xml:lang="en">A collection of collections.  Each instance &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt; of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rqEYnNVMqEdaSKAACs0x8nw&quot; class=&quot;cyc_term&quot;&gt;AtemporalNecessarilyEssentialCollectionType&lt;/a&gt; (&lt;i&gt;ANECT&lt;/i&gt;) is a collection satisfying three conditions: (1) &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt; is disjoint with (see &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA45wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;disjointWith&lt;/a&gt;) &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TemporalThing&lt;/a&gt;, (2) every instance &lt;code&gt;&lt;b&gt;INST&lt;/b&gt;&lt;/code&gt; of &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt; is an instance of &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt; essentially (i.e. &lt;code&gt;&lt;b&gt;INST&lt;/b&gt;&lt;/code&gt; is an instance of &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt;, and could not exist without being an instance of &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt;), and (3) condition (2) is a necessary truth about &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt;.
&lt;p/&gt;
Positive examples of ANECTs include &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Collection&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieEpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Integer&lt;/a&gt;, and &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Relation&lt;/a&gt; (each of which is a collection of atemporals and is such that, necessarily, all of its instances are in it essentially).  Negative examples include &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjpUZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SpatialThing&lt;/a&gt; (though arguably it is necessary that all of its instances are essentially instances of it, it is not disjoint with &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TemporalThing&lt;/a&gt;) and &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwP4FM5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;UniqueAnatomicalPartType&lt;/a&gt; (which, though disjoint with &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TemporalThing&lt;/a&gt;, has instances, such as &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjvDpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Heart&lt;/a&gt;, that could exist even if they weren&apos;t instances of it; e.g. it might have been the case that every creature with a heart had at least two hearts).  There are no known examples of Cyc-reified collections satisfying conditions (1) and (2) but not (3), but one can be contrived.  Suppose that all of today&apos;s winning lottery numbers were primes.  Now consider the collection:
&lt;p/&gt;
 (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvrhK-JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CollectionUnionFn&lt;/a&gt; 
   (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjkdpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TheSet&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjrdZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PrimeNumber&lt;/a&gt; &lt;i&gt;TodaysWinningLotteryNumbers&lt;/i&gt;))
&lt;p/&gt;
This collection is clearly disjoint with &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TemporalThing&lt;/a&gt; and, by hypothesis, all of its instances are in it essentially (as each prime number is essentially a prime number).  But this last fact is not &lt;i&gt;necessarily&lt;/i&gt; true of this collection: the collection might have had instances that belonged to it only contingently (i.e. not essentially), as it might have been the case that one of today&apos;s winning lottery numbers was non-prime, and no number is such that it is essentially one of today&apos;s winning lottery numbers.
&lt;p/&gt;
When asserting that something is an instance or specialization of a given instance of ANECT, it is appropriate to do so in the &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4r3_SgQU2iEdaCwAACs0x8nw&quot; class=&quot;cyc_term&quot;&gt;UniversalVocabularyMt&lt;/a&gt; (q.v.).  Indeed, ANECT was specially defined to facilitate the movement of appropriate assertions to that microtheory.
&lt;p/&gt;
Cf. &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rGeylLJTfEdqAAAACs0uFOQ&quot; class=&quot;cyc_term&quot;&gt;PragmaticallyDecontextualizedCollection&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">type of atemporal collection in which membership is necessarily essential</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx8Ngh4rvrhK-JwpEbGdrcN5Y29ycA2EHiu9WOR2nCkRsZ2tw3ljb3JwHiu-J2vfnCkRsZ2tw3ljb3JwHiu_NL9NnCkRsZ2tw3ljb3JwHiu_2nfCnCkRsZ2tw3ljb3Jw">
    <cycAnnot:label xml:lang="en">(CollectionUnionFn (TheSet IBTContentType CWInfoStructure DevisedPracticeOrWork))</cycAnnot:label>
    <rdfs:label xml:lang="en">the union of { types of information bearing thing classified by content, information structures of a conceptual work, practices }</rdfs:label>
  </owl:Class>

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

  <owl:Class rdf:about="&cyc;Mx4rvidr35wpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">IBTContentType</cycAnnot:label>
    <rdfs:label xml:lang="en">type of information bearing thing classified by content</rdfs:label>
    <rdfs:comment xml:lang="en">A collection of collections.  Instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvidr35wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;IBTContentType&lt;/a&gt; are specs of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvkNufpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;InformationBearingThing&lt;/a&gt;.  Each such instance (that is, each IBTContentType) is specified primarily by the type or organization of information contained by its instances.  For example, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwP2KM5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;JazzMusic&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvwE_DpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ComputerProgramCopy&lt;/a&gt;, and &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViX1pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Spreadsheet&lt;/a&gt; are all IBTContentTypes, since each is primarily distinguished from other kinds of IBTs by the nature or organization of the information contained.  Non-examples include &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkJAJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CompactDisc_Generic&lt;/a&gt;, since compact discs are distinguished by their physical format, rather than their information content. (see &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvjSAy5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;IBTFormatType&lt;/a&gt;). IBTContentTypes whose instances contain not just similar but identical information (such as a single magazine issue, or &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwJ1dg5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CitizenKane_TheMovie&lt;/a&gt;), should be made specs of the more specific &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViqv5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SpecifiedInformationBearingThingType&lt;/a&gt;.  IBTContentTypes whose instances are members of a series (for example, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvu55tJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;StarTrek_Classic&lt;/a&gt;) should be made instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwEbBc5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;IBTSeriesType&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="&ocyc;Mx4rvidr35wpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">IBTContentType</cycAnnot:label>
    <rdfs:label xml:lang="en">type of information bearing thing classified by content</rdfs:label>
    <rdfs:comment xml:lang="en">A collection of collections.  Instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvidr35wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;IBTContentType&lt;/a&gt; are specs of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvkNufpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;InformationBearingThing&lt;/a&gt;.  Each such instance (that is, each IBTContentType) is specified primarily by the type or organization of information contained by its instances.  For example, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwP2KM5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;JazzMusic&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvwE_DpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ComputerProgramCopy&lt;/a&gt;, and &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViX1pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Spreadsheet&lt;/a&gt; are all IBTContentTypes, since each is primarily distinguished from other kinds of IBTs by the nature or organization of the information contained.  Non-examples include &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkJAJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CompactDisc_Generic&lt;/a&gt;, since compact discs are distinguished by their physical format, rather than their information content. (see &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvjSAy5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;IBTFormatType&lt;/a&gt;). IBTContentTypes whose instances contain not just similar but identical information (such as a single magazine issue, or &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwJ1dg5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CitizenKane_TheMovie&lt;/a&gt;), should be made specs of the more specific &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViqv5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SpecifiedInformationBearingThingType&lt;/a&gt;.  IBTContentTypes whose instances are members of a series (for example, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvu55tJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;StarTrek_Classic&lt;/a&gt;) should be made instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwEbBc5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;IBTSeriesType&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVitN5wpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">type of temporally stuff-like thing</rdfs:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVir35wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;StuffType&lt;/a&gt; (q.v.) whose instances are all and only those collections that are temporally stuff-like. A collection &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt; is temporally stuff-like just in case every purely temporal part (see &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;timeSlices&lt;/a&gt;) of an instance of &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt; is itself an instance of &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt;, unless it is a temporal part of a temporal granule of &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt; (see &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaJJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;granuleOfTemporalStuff&lt;/a&gt;).
&lt;p/&gt;
More precisely, for a collection &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt; to be an instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitN5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TemporalStuffType&lt;/a&gt; it is both a necessary and sufficient condition that for any &lt;code&gt;&lt;b&gt;OBJ1&lt;/b&gt;&lt;/code&gt; and &lt;code&gt;&lt;b&gt;OBJ2&lt;/b&gt;&lt;/code&gt; (with &lt;code&gt;&lt;b&gt;OBJ2&lt;/b&gt;&lt;/code&gt; at or above &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt;&apos;s temporal granularity level), if &lt;code&gt;(&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;isa&lt;/a&gt; &lt;b&gt;OBJ1&lt;/b&gt; &lt;b&gt;COL&lt;/b&gt;)&lt;/code&gt; and &lt;code&gt;(&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;timeSlices&lt;/a&gt; &lt;b&gt;OBJ1&lt;/b&gt; &lt;b&gt;OBJ2&lt;/b&gt;)&lt;/code&gt;, then &lt;code&gt;(&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;isa&lt;/a&gt; &lt;b&gt;OBJ2&lt;/b&gt; &lt;b&gt;COL&lt;/b&gt;)&lt;/code&gt;.
&lt;p/&gt;
Consider &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi0gpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;WalkingOnTwoLegs&lt;/a&gt;.  Take an arbitrary instance &lt;code&gt;&lt;b&gt;WALK&lt;/b&gt;&lt;/code&gt; of this collection (say Miss America 2000&apos;s victory walk down the runway and back); and then take an arbitrary time-slice &lt;code&gt;&lt;b&gt;SUBWALK&lt;/b&gt;&lt;/code&gt; of &lt;code&gt;&lt;b&gt;WALK&lt;/b&gt;&lt;/code&gt; that subsumes at least one instance of (the &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaJJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;granuleOfTemporalStuff&lt;/a&gt; for &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi0gpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;WalkingOnTwoLegs&lt;/a&gt;) &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViYBpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TakingAStep&lt;/a&gt; (say her trip back from the end of the runway).  &lt;code&gt;&lt;b&gt;SUBWALK&lt;/b&gt;&lt;/code&gt; is itself an instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi0gpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;WalkingOnTwoLegs&lt;/a&gt;.  So &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi0gpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;WalkingOnTwoLegs&lt;/a&gt; is an instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitN5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TemporalStuffType&lt;/a&gt;. See &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViq35wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TemporalObjectType&lt;/a&gt; for the disjoint notion of being temporally object-like.</rdfs:comment>
    <cycAnnot:label xml:lang="en">TemporalStuffType</cycAnnot:label>
  </owl:Class>

</rdf:RDF>
