<?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="Mx4rvg3gaZwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">Erotica</cycAnnot:label>
    <rdfs:label xml:lang="en">erotica</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvkNufpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;InformationBearingThing&lt;/a&gt;s whose intention is artistic and whose theme is &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwQwdOZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SexualBehavior&lt;/a&gt;. This includes not only some &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjHuJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ArtObject&lt;/a&gt;s, but also some literary works, films, and dances. What some consider &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvg3gaZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Erotica&lt;/a&gt; others may consider &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rv_qQOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PornographicMaterial&lt;/a&gt;.</rdfs:comment>
    <rdfs:subClassOf rdf:resource="Mx4rvjSBSZwpEbGdrcN5Y29ycA"/>
    <rdfs:subClassOf rdf:resource="Mx4rvu__KJwpEbGdrcN5Y29ycA"/>
    <rdfs:subClassOf rdf:resource="Mx4rvx8WGpwpEbGdrcN5Y29ycA"/>
    <rdf:type rdf:resource="Mx4rvVitN5wpEbGdrcN5Y29ycA"/>
    <rdf:type rdf:resource="Mx4rvVirnZwpEbGdrcN5Y29ycA"/>
    <owl:sameAs rdf:resource="http://dbpedia.org/resource/Erotica"/>
    <owl:sameAs rdf:resource="http://umbel.org/umbel/sc/Erotica"/>
    <owl:sameAs rdf:resource="&cyc;Mx4rvg3gaZwpEbGdrcN5Y29ycA"/>
    <Mx4rBVVEokNxEdaAAACgydogAg rdf:resource="Mx4rF_RUpnS7EdaAAACgyZzFrg"/>
    <Mx4rBVVEokNxEdaAAACgydogAg rdf:resource="Mx4r3CdT8HS7EdaAAACgyZzFrg"/>
    <Mx4rTv-jk9SPTXa991kk5mAvHg>Erotica</Mx4rTv-jk9SPTXa991kk5mAvHg>
    <Mx4rNv0nbm4TTjOp7yhmnzOyqg>http://en.wikipedia.org/wiki/Erotica</Mx4rNv0nbm4TTjOp7yhmnzOyqg>
  </owl:Class>

  <owl:Class rdf:about="Mx4rF_RUpnS7EdaAAACgyZzFrg">
    <rdfs:label xml:lang="en">presumably related to porn thing</rdfs:label>
    <rdfs:comment xml:lang="en">A FORT&apos;s having the attribute &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rF_RUpnS7EdaAAACgyZzFrg&quot; class=&quot;cyc_term&quot;&gt;PresumedPornRelated&lt;/a&gt; indicates that any
query string that parses to it, whether vulgar or not, is such that we
can safely assume that the querier is after pornography.</rdfs:comment>
    <cycAnnot:label xml:lang="en">PresumedPornRelated</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVirnZwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">ObjectType</cycAnnot:label>
    <rdfs:label xml:lang="en">type of object</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of all collections that are &amp;quot;object-like&amp;quot; in at least one respect. A collection &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt; is object-like just in case there is some sense of &apos;part&apos; according to which any (or nearly any) given proper part of an instance of &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt; is &lt;i&gt;not&lt;/i&gt; itself an instance of &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt;; when this happens &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt; is said to be object-like with respect to that sense of &apos;part&apos;.
&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/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ObjectType&lt;/a&gt; it is sufficient that there be some specialization &lt;code&gt;&lt;b&gt;PARTPRED&lt;/b&gt;&lt;/code&gt; of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwgfukKs8QdePzLB9nLNpTw&quot; class=&quot;cyc_term&quot;&gt;properParts&lt;/a&gt; such 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;, if &lt;code&gt;(&lt;a href=&quot;http://sw.opencyc.org/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;b&gt;PARTPRED&lt;/b&gt; &lt;b&gt;OBJ1&lt;/b&gt; &lt;b&gt;OBJ2&lt;/b&gt;)&lt;/code&gt; both hold, then &lt;code&gt;(&lt;a href=&quot;http://sw.opencyc.org/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; does &lt;i&gt;not&lt;/i&gt; hold.  (Also sufficient for &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt;&apos;s being an object-type is that there be some specialization &lt;code&gt;&lt;b&gt;INVPARTPRED&lt;/b&gt;&lt;/code&gt; of the &lt;i&gt;inverse&lt;/i&gt; of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwgfukKs8QdePzLB9nLNpTw&quot; class=&quot;cyc_term&quot;&gt;properParts&lt;/a&gt; (see &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvWHsNJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;genlInverse&lt;/a&gt;) such that &lt;code&gt;(&lt;b&gt;INVPARTPRED&lt;/b&gt; &lt;b&gt;OBJ2&lt;/b&gt; &lt;b&gt;OBJ1&lt;/b&gt;)&lt;/code&gt;, with everything else remaining the same as above.)  Note that neither of the above sufficient conditions for &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt;&apos;s being an object-type is strictly necessary: some exceptions are allowed.  Thus as long as either one of the above conditionals holds in &lt;i&gt;nearly&lt;/i&gt; all cases, &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt; should be considered an instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ObjectType&lt;/a&gt;.
&lt;p/&gt;
Here are two examples.  Consider &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt;.  Take an instance of that, say my car.  Now consider one of the proper &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj5FpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;physicalParts&lt;/a&gt; of my car, say the steering wheel.  The steering wheel is &lt;i&gt;not&lt;/i&gt; an instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt;.  And the same would be true for any proper physical part of any car.  So &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ObjectType&lt;/a&gt;.  Consider &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CalendarYear&lt;/a&gt;. No proper &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;timeSlices&lt;/a&gt; of a year is itself a year.  So &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CalendarYear&lt;/a&gt; is an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ObjectType&lt;/a&gt;.  
&lt;p/&gt;
See &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVir35wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;StuffType&lt;/a&gt; for the contrasting (though not disjoint) notion of being stuff-like.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvx8WGpwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">adult entertainment</rdfs:label>
    <cycAnnot:label xml:lang="en">SexualProductOrServiceEvent</cycAnnot:label>
    <rdfs:comment xml:lang="en">This is the collection of all &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVkH_ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Artifact&lt;/a&gt;s and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjeRpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ServiceEvent&lt;/a&gt;s intended for the sexual entertainment of users, viewers, or participants.  In many societies, because of their explicit sexual nature, such things are particularly unsuitable for non-adults.  The collection includes, but is not limited to, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvkNufpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;InformationBearingThing&lt;/a&gt;s that present sexually explicit content as entertainment (e.g., movies with an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4r5e2rZHS7EdaAAACgyZzFrg&quot; class=&quot;cyc_term&quot;&gt;XRating&lt;/a&gt;), &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViADZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Event&lt;/a&gt;s with high sex-relevant content (e.g., lap dances, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwGFccZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Prostitution&lt;/a&gt; events), and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVkG8pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PersonalProduct&lt;/a&gt;s used by adults for &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwTl5npwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SexualGratification&lt;/a&gt; (e.g., &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvmgI2ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SexToy&lt;/a&gt;s, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvaFsApwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Whip&lt;/a&gt;s, hand cuffs).</rdfs:comment>
  </owl:Class>

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

  <owl:Class rdf:about="Mx4rvVitN5wpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">type of temporally stuff-like thing</rdfs:label>
    <cycAnnot:label xml:lang="en">TemporalStuffType</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/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/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/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/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/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/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/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/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/concept/Mx4rvVjaJJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;granuleOfTemporalStuff&lt;/a&gt; for &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVi0gpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;WalkingOnTwoLegs&lt;/a&gt;) &lt;a href=&quot;http://sw.opencyc.org/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/concept/Mx4rvVi0gpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;WalkingOnTwoLegs&lt;/a&gt;.  So &lt;a href=&quot;http://sw.opencyc.org/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/concept/Mx4rvVitN5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TemporalStuffType&lt;/a&gt;. See &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViq35wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TemporalObjectType&lt;/a&gt; for the disjoint notion of being temporally object-like.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvjSBSZwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">A collection of things created by &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViAB5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Agent_PartiallyTangible&lt;/a&gt;s.  These creations may be either tangible (like a hammer, a bowl, or a bridge) or intangible (like a set of laws, a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjSEZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;KnowledgeBase&lt;/a&gt;, or Beethoven&apos;s Ninth Symphony).  Thus, the collection of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvjSBSZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Artifact_Generic&lt;/a&gt;s is partitioned into &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVkH_ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Artifact&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvtisp5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Artifact_Intangible&lt;/a&gt; (q.v.).</rdfs:comment>
    <cycAnnot:label xml:lang="en">Artifact-Generic</cycAnnot:label>
    <rdfs:label xml:lang="en">generic artifact</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="&cyc;Mx4rvg3gaZwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">Erotica</cycAnnot:label>
    <rdfs:label xml:lang="en">erotica</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvkNufpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;InformationBearingThing&lt;/a&gt;s whose intention is artistic and whose theme is &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwQwdOZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SexualBehavior&lt;/a&gt;. This includes not only some &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjHuJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ArtObject&lt;/a&gt;s, but also some literary works, films, and dances. What some consider &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvg3gaZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Erotica&lt;/a&gt; others may consider &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rv_qQOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PornographicMaterial&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Thing rdf:about="http://dbpedia.org/resource/Erotica">
    <cycAnnot:label xml:lang="en">Erotica</cycAnnot:label>
    <rdfs:label xml:lang="en">erotica</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvkNufpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;InformationBearingThing&lt;/a&gt;s whose intention is artistic and whose theme is &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwQwdOZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SexualBehavior&lt;/a&gt;. This includes not only some &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjHuJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ArtObject&lt;/a&gt;s, but also some literary works, films, and dances. What some consider &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvg3gaZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Erotica&lt;/a&gt; others may consider &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rv_qQOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PornographicMaterial&lt;/a&gt;.</rdfs:comment>
  </owl:Thing>

  <owl:Thing rdf:about="http://umbel.org/umbel/sc/Erotica">
    <cycAnnot:label xml:lang="en">Erotica</cycAnnot:label>
    <rdfs:label xml:lang="en">erotica</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvkNufpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;InformationBearingThing&lt;/a&gt;s whose intention is artistic and whose theme is &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwQwdOZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SexualBehavior&lt;/a&gt;. This includes not only some &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjHuJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ArtObject&lt;/a&gt;s, but also some literary works, films, and dances. What some consider &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvg3gaZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Erotica&lt;/a&gt; others may consider &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rv_qQOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PornographicMaterial&lt;/a&gt;.</rdfs:comment>
  </owl:Thing>

  <owl:ObjectProperty rdf:about="Mx4rBVVEokNxEdaAAACgydogAg">
    <cycAnnot:label xml:lang="en">quotedIsa</cycAnnot:label>
    <rdfs:comment xml:lang="en">A binary &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rDeDIGEW0EdaAAACgydogAg&quot; class=&quot;cyc_term&quot;&gt;MetaLanguagePredicate&lt;/a&gt; (q.v.) that relates CycL expressions to the &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4raOoTci9qEdma4AACs1uxFw&quot; class=&quot;cyc_term&quot;&gt;SubLExpressionType&lt;/a&gt;s (q.v.) of which they are instances.  &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg&quot; class=&quot;cyc_term&quot;&gt;quotedIsa&lt;/a&gt; is thus like a restricted version of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;isa&lt;/a&gt; (q.v.), but with one important difference: the first argument-place of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg&quot; class=&quot;cyc_term&quot;&gt;quotedIsa&lt;/a&gt; is &amp;quot;implicitly quoted&amp;quot; (see &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwHb_bZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;quotedArgument&lt;/a&gt;).  So a ground atomic sentence of the form &lt;code&gt;(&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg&quot; class=&quot;cyc_term&quot;&gt;quotedIsa&lt;/a&gt; &lt;b&gt;THING&lt;/b&gt; &lt;b&gt;EXPR-TYPE&lt;/b&gt;)&lt;/code&gt; does &lt;i&gt;not&lt;/i&gt; mean that &lt;code&gt;&lt;b&gt;THING&lt;/b&gt;&lt;/code&gt; itself is an instance of &lt;code&gt;&lt;b&gt;EXPR-TYPE&lt;/b&gt;&lt;/code&gt;.  Rather, such a sentence is partly self-referential, and means that the particular &lt;i&gt;CycL expression&lt;/i&gt; appearing in the sentence&apos;s own first argument-position is an instance of &lt;code&gt;&lt;b&gt;EXPR-TYPE&lt;/b&gt;&lt;/code&gt;.  Thus, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg&quot; class=&quot;cyc_term&quot;&gt;quotedIsa&lt;/a&gt; provides a convenient shorthand for stating certain things that would otherwise require explicit quotation (or some other device for naming expressions).
&lt;p/&gt;
This is better illustrated with a specific example.  Suppose we wish to state that the CycL constant &lt;code&gt;&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;IndianOcean&lt;/a&gt;&lt;/code&gt; is an instance of the CycL expression type &lt;font color=&quot;#ff0000&quot;&gt;#$PublicConstant&lt;/font&gt;.  We cannot express this with the straightforward &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;isa&lt;/a&gt; sentence &lt;code&gt;(&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;isa&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;IndianOcean&lt;/a&gt; &lt;font color=&quot;#ff0000&quot;&gt;#$PublicConstant&lt;/font&gt;)&lt;/code&gt;, as that states the falsehood that the IndianOcean itself -- which is &lt;i&gt;not&lt;/i&gt; a constant but a body of water -- is a public constant.  But we can express precisely what we want like this:
&lt;pre&gt;
  (&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg&quot; class=&quot;cyc_term&quot;&gt;quotedIsa&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;IndianOcean&lt;/a&gt; &lt;font color=&quot;#ff0000&quot;&gt;#$PublicConstant&lt;/font&gt;) .
&lt;/pre&gt;  
Now &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg&quot; class=&quot;cyc_term&quot;&gt;quotedIsa&lt;/a&gt; is a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rv4oJWZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MacroRelation&lt;/a&gt; (q.v.), and by its &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjg7JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;expansion&lt;/a&gt; any given &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg&quot; class=&quot;cyc_term&quot;&gt;quotedIsa&lt;/a&gt; sentence is equivalent to some &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;isa&lt;/a&gt; sentence with an &lt;i&gt;explicitly&lt;/i&gt; quoted first argument.  The sentence displayed above turns out to be equivalent to: 
&lt;pre&gt;
  (&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;isa&lt;/a&gt; (&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rgGBbEkNuEdaAAACgydogAg&quot; class=&quot;cyc_term&quot;&gt;Quote&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;IndianOcean&lt;/a&gt;) &lt;font color=&quot;#ff0000&quot;&gt;#$PublicConstant&lt;/font&gt;).
&lt;/pre&gt; 
But the &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg&quot; class=&quot;cyc_term&quot;&gt;quotedIsa&lt;/a&gt; version has two related practical advantages over the &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;isa&lt;/a&gt; version.  First, the former is syntactically simpler than the latter.  Second, the simpler syntax of the former makes it easier to browse in the Knowedge Base: while the &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg&quot; class=&quot;cyc_term&quot;&gt;quotedIsa&lt;/a&gt; version is conveniently indexed under the KB Browser page for the constant &lt;code&gt;&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;IndianOcean&lt;/a&gt;&lt;/code&gt;, the &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;isa&lt;/a&gt; version would apparently be indexed under a separate, brand new page for the term &lt;code&gt;(&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rgGBbEkNuEdaAAACgydogAg&quot; class=&quot;cyc_term&quot;&gt;Quote&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;IndianOcean&lt;/a&gt;)&lt;/code&gt;. Generalizing the point, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg&quot; class=&quot;cyc_term&quot;&gt;quotedIsa&lt;/a&gt; lets us avoid having potentially to double the number of pages currently in the browser.
&lt;p/&gt;
For the semantically more complicated (but rarely encountered) case in which &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg&quot; class=&quot;cyc_term&quot;&gt;quotedIsa&lt;/a&gt;&apos;s first argument-place is filled with an &lt;i&gt;open&lt;/i&gt; expression, see the accompanying &lt;font color=&quot;#ff0000&quot;&gt;#$cyclistNotes&lt;/font&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">Quoted Isa</rdfs:label>
  </owl:ObjectProperty>

  <owl:Class rdf:about="Mx4r3CdT8HS7EdaAAACgyZzFrg">
    <cycAnnot:label xml:lang="en">PotentiallyPornRelated</cycAnnot:label>
    <rdfs:label xml:lang="en">potentially related to porn thing</rdfs:label>
    <rdfs:comment xml:lang="en">A FORT&apos;s having the attribute &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4r3CdT8HS7EdaAAACgyZzFrg&quot; class=&quot;cyc_term&quot;&gt;PotentiallyPornRelated&lt;/a&gt; indicates that any
query string that parses to it, whether vulgar or not, is such that we
think it might be after pornographic material. For technical reasons, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4r3CdT8HS7EdaAAACgyZzFrg&quot; class=&quot;cyc_term&quot;&gt;PotentiallyPornRelated&lt;/a&gt;
will apply to any FORT that is &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rF_RUpnS7EdaAAACgyZzFrg&quot; class=&quot;cyc_term&quot;&gt;PresumedPornRelated&lt;/a&gt;, so the former means that
the FORT is at least potentially porn-related rather than only potentially
porn-related. For queries that parse to FORTs with the former but not the latter
attribute (FORTs which are only potentially porn-related)
we should not immediately offer any /Adult OD nodes but should instead offer a generic
euphemistic concept followup through which any pornographic nodes and followups
can be offered.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvu__KJwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">InformationStore</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwBObNJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PartiallyIntangibleIndividual&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvu__KJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;InformationStore&lt;/a&gt; is a tangible or intangible, concrete or abstract repository of information.  The information stored in an information store is stored there as a consequence of the actions of one or more agents.  Wholly intangible instances of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvu__KJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;InformationStore&lt;/a&gt; include instances of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvf9sZJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AspatialInformationStore&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViAqJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PropositionalInformationThing&lt;/a&gt;.  Some instances of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvu__KJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;InformationStore&lt;/a&gt; -- namely, instances of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj2rJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;InformationBearingObject&lt;/a&gt;, such as copies of a newspaper at a newsstand -- are only partially intangible.</rdfs:comment>
    <rdfs:label xml:lang="en">store of information</rdfs:label>
  </owl:Class>

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

</rdf:RDF>
