<?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="Mx4rvVjPMJwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">child</rdfs:label>
    <cycAnnot:label xml:lang="en">HumanChild</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwQtmz5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;YoungHuman&lt;/a&gt;, and an instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvw00wJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HumanTypeByLifeStageType&lt;/a&gt;. Each instance of this collection is a human in the childhood stage of life.  Functionally, this life stage ends when the child begins to take responsibility for themselves, work, have children of their own (or, at latest, when the person&apos;s age greatly exceeds that at which most people reach those milestones).  Generally, this means that it spans the period from birth to teenage years. Notable specializations of this collection include &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVkMQJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MaleChild&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViBVZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FemaleChild&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjiv5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HumanToddler&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjLpZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HumanInfant&lt;/a&gt;.</rdfs:comment>
    <rdfs:subClassOf rdf:resource="Mx4rC5KBWupOQdiTk9hzkgQqVQ"/>
    <rdfs:subClassOf rdf:resource="Mx4rwQtmz5wpEbGdrcN5Y29ycA"/>
    <rdfs:subClassOf rdf:resource="Mx8Ngh4rwQwgBJwpEbGdrcN5Y29ycB4rIcwFloGUQdeMlsOWYLFB2w"/>
    <rdf:type rdf:resource="Mx4rvw00wJwpEbGdrcN5Y29ycA"/>
    <rdf:type rdf:resource="Mx4r_3mf2qedQdmNjeDW39lDKA"/>
    <rdf:type rdf:resource="Mx4r7h_qBGJsQdiC1qmXVoac9Q"/>
    <owl:sameAs rdf:resource="http://dbpedia.org/resource/Child"/>
    <owl:sameAs rdf:resource="&cyc;Mx4rvVjPMJwpEbGdrcN5Y29ycA"/>
    <owl:sameAs rdf:resource="http://umbel.org/umbel/sc/HumanChild"/>
    <Mx4rBVVEokNxEdaAAACgydogAg rdf:resource="Mx4r3CdT8HS7EdaAAACgyZzFrg"/>
    <Mx4rvjldVJwpEbGdrcN5Y29ycA rdf:resource="Mx4rpdNLBHSuEdaAAACgyZzFrg"/>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">kid</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">youngsters</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">little kids</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">little kid</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">youngster</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">kiddy</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">minors</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">minor</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">kiddies</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">underage</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">kids</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">children</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">more underage</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">tyke</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">most underage</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">tike</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">tykes</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">tikes</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rTv-jk9SPTXa991kk5mAvHg>Child</Mx4rTv-jk9SPTXa991kk5mAvHg>
    <Mx4rNv0nbm4TTjOp7yhmnzOyqg>http://en.wikipedia.org/wiki/Child</Mx4rNv0nbm4TTjOp7yhmnzOyqg>
    <Mx4riWVFR6HJSpaEaHrcWS3MSA>http://www.w3.org/2006/03/wn/wn20/instances/synset-child-noun-1</Mx4riWVFR6HJSpaEaHrcWS3MSA>
    <Mx4riWVFR6HJSpaEaHrcWS3MSA>http://www.w3.org/2006/03/wn/wn20/instances/synset-child-noun-2</Mx4riWVFR6HJSpaEaHrcWS3MSA>
  </owl:Class>

  <owl:Class rdf:about="Mx8Ngx4rwEcGC5wpEbGdrcN5Y29ycB4rvViNGpwpEbGdrcN5Y29ycB4rvVjPMJwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvVjPMJwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">school child</rdfs:label>
    <cycAnnot:label xml:lang="en">(CollectionIntersection2Fn Student HumanChild)</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of all school children. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjPMJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HumanChild&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViNGpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Student&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVjG8JwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvVjPMJwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">preschool-age child</rdfs:label>
    <cycAnnot:label xml:lang="en">HumanPreSchoolageChild</cycAnnot:label>
    <rdfs:comment xml:lang="en">Kids who aren&apos;t old enough to start school yet (under 5 years of age).</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVjiv5wpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvVjPMJwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">HumanToddler</cycAnnot:label>
    <rdfs:comment xml:lang="en">The toddler stage begins at about 1 year of age, when a child begins to walk and talk, and ends at about 3-1/2 when the child is probably toilet trained and has a number of advanced physical skills, like running and climbing with coordination.</rdfs:comment>
    <rdfs:label xml:lang="en">toddler</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvViBVZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvVjPMJwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">The collection of female children, female kids about 12 years of age or less.</rdfs:comment>
    <cycAnnot:label xml:lang="en">FemaleChild</cycAnnot:label>
    <rdfs:label xml:lang="en">girl</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx8NhB4rvcD6KJwpEbGdrcN5Y29ycB4rvVjPMJwpEbGdrcN5Y29ycB4rvV8Ow5wpEbGdrcN5Y29ycB4rvVkBbJwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvVjPMJwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">(SubcollectionOfWithRelationFromTypeFn HumanChild victim AnimalAbuse)</cycAnnot:label>
    <rdfs:label xml:lang="en">child who is a victim in some animal cruelty</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx8Ngh4rwQwX_pwpEbGdrcN5Y29ycB4rvVjPMJwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvVjPMJwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">The collection of all girls. A type of female young human and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjPMJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HumanChild&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">(FemaleFn HumanChild)</cycAnnot:label>
    <rdfs:label xml:lang="en">girl</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVkMQJwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvVjPMJwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">The collection of male children, male kids about 12 years of age or less.</rdfs:comment>
    <rdfs:label xml:lang="en">boy</rdfs:label>
    <cycAnnot:label xml:lang="en">MaleChild</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVjeZZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvVjPMJwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">school-age child</rdfs:label>
    <cycAnnot:label xml:lang="en">HumanSchoolageChild</cycAnnot:label>
    <rdfs:comment xml:lang="en">Kids that are of the age to go to school and are younger than teenagers (between the ages of 5 and 12).</rdfs:comment>
  </owl:Class>

  <Mx4rvVjPMJwpEbGdrcN5Y29ycA rdf:about="Mx4rv3uB1JwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">Anu-FictionalCharacter</cycAnnot:label>
    <rdfs:label xml:lang="en">Anu Nahasapeemapetilon</rdfs:label>
  </Mx4rvVjPMJwpEbGdrcN5Y29ycA>

  <Mx4rvVjPMJwpEbGdrcN5Y29ycA rdf:about="Mx4rwEwbmJwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">Poonam Nahasapeemapetilon</rdfs:label>
    <cycAnnot:label xml:lang="en">Poonam-FictionalCharacter</cycAnnot:label>
  </Mx4rvVjPMJwpEbGdrcN5Y29ycA>

  <owl:Class rdf:about="Mx4rwQtmz5wpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">YoungHuman</cycAnnot:label>
    <rdfs:label xml:lang="en">young human</rdfs:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w&quot; class=&quot;cyc_term&quot;&gt;HomoSapiens&lt;/a&gt;. Each instance of this collection is a human less than 35 years of age. This collection is disjoint with &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjZtZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;OldHuman&lt;/a&gt; -- the collection of humans more than 60 years of age. Notable specializations of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwQtmz5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;YoungHuman&lt;/a&gt; include &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjPMJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HumanChild&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViQtJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HumanTeenager&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVibepwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HumanYoungAdult&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

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

  <owl:Class rdf:about="Mx8Ngh4rwQwgBJwpEbGdrcN5Y29ycB4rIcwFloGUQdeMlsOWYLFB2w">
    <rdfs:comment xml:lang="en">The collection of all juveniles. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwQwgqJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;JuvenileAnimal&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Person&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">(JuvenileFn HomoSapiens)</cycAnnot:label>
    <rdfs:label xml:lang="en">juvenile</rdfs:label>
  </owl:Class>

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

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

  <owl:Thing rdf:about="http://umbel.org/umbel/sc/HumanChild">
    <rdfs:label xml:lang="en">child</rdfs:label>
    <cycAnnot:label xml:lang="en">HumanChild</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwQtmz5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;YoungHuman&lt;/a&gt;, and an instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvw00wJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HumanTypeByLifeStageType&lt;/a&gt;. Each instance of this collection is a human in the childhood stage of life.  Functionally, this life stage ends when the child begins to take responsibility for themselves, work, have children of their own (or, at latest, when the person&apos;s age greatly exceeds that at which most people reach those milestones).  Generally, this means that it spans the period from birth to teenage years. Notable specializations of this collection include &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVkMQJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MaleChild&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViBVZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FemaleChild&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjiv5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HumanToddler&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjLpZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HumanInfant&lt;/a&gt;.</rdfs:comment>
  </owl:Thing>

  <owl:Class rdf:about="Mx4r_3mf2qedQdmNjeDW39lDKA">
    <cycAnnot:label xml:lang="en">NonEmptyCollection</cycAnnot:label>
    <rdfs:label xml:lang="en">non empty collection</rdfs:label>
    <rdfs:comment xml:lang="en">A collection of collections and a specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rVwwqbE7rQdmaWqcELb2oPw&quot; class=&quot;cyc_term&quot;&gt;NonEmptySetOrCollection&lt;/a&gt;.  A collection is an instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4r_3mf2qedQdmNjeDW39lDKA&quot; class=&quot;cyc_term&quot;&gt;NonEmptyCollection&lt;/a&gt; if and only if it has at least one instance.  
&lt;p/&gt;
Some collections, aguably, are by their very nature necessarily non-empty; e.g. &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvl2en5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Set_Mathematical&lt;/a&gt;.  Conversely, some collections are non-empty in some contexts and empty in others; e.g. &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwQBg3ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Horse&lt;/a&gt; is non-empty in the context of the present-day actual world but empty in certain counterfactual contexts in which horses never existed.  Similarly, a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwIE23ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TimeDependentCollection&lt;/a&gt; might be empty at certain times and non-empty at certain other times; e.g. the collection of female US presidents is currently empty but will hopefully become non-empty some time in the near future.  This last example demonstrates that &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4r_3mf2qedQdmNjeDW39lDKA&quot; class=&quot;cyc_term&quot;&gt;NonEmptyCollection&lt;/a&gt; is itself a time-dependent collection.
&lt;p/&gt;
Note that each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4r_3mf2qedQdmNjeDW39lDKA&quot; class=&quot;cyc_term&quot;&gt;NonEmptyCollection&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rlyZyQm22EdaAAACgydogAg&quot; class=&quot;cyc_term&quot;&gt;intersectsWith&lt;/a&gt; (q.v.) &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViA9JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Thing&lt;/a&gt;.
&lt;p/&gt;
Cf. &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rDKZQEKVnQdmACrINeAfsGw&quot; class=&quot;cyc_term&quot;&gt;EmptyCollection&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvw00wJwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">A collection of collections.  &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvw00wJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HumanTypeByLifeStageType&lt;/a&gt; is the collection of specializations of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w&quot; class=&quot;cyc_term&quot;&gt;HomoSapiens&lt;/a&gt; that are each collections of humans of a single age group.  This collection exists to make it easier to refer specifically to that dimension or facet of a human being&apos;s behavior, attitudes, and beliefs (culture) which derives from, or is influenced by, its life stage.</rdfs:comment>
    <rdfs:label xml:lang="en">type of person classified by life stage</rdfs:label>
    <cycAnnot:label xml:lang="en">HumanTypeByLifeStageType</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rC5KBWupOQdiTk9hzkgQqVQ">
    <rdfs:label xml:lang="en">unmarried thing</rdfs:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Person&lt;/a&gt;.  Each instance of this collection is a person that is not married.  This may be because the person is considered too young for marriage in a particular context, like &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rv37zvJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HumanPreschooler&lt;/a&gt; in &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjRPZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;UnitedStatesSocialLifeMt&lt;/a&gt;; or because the person is ineligible for marriage, like &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwQBwwpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CatholicPriest&lt;/a&gt;; or the person may be &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvzAfSHS7EdaAAACgyZzFrg&quot; class=&quot;cyc_term&quot;&gt;Single&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">Unmarried</cycAnnot:label>
  </owl:Class>

  <owl:Thing rdf:about="http://dbpedia.org/resource/Child">
    <rdfs:label xml:lang="en">child</rdfs:label>
    <cycAnnot:label xml:lang="en">HumanChild</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwQtmz5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;YoungHuman&lt;/a&gt;, and an instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvw00wJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HumanTypeByLifeStageType&lt;/a&gt;. Each instance of this collection is a human in the childhood stage of life.  Functionally, this life stage ends when the child begins to take responsibility for themselves, work, have children of their own (or, at latest, when the person&apos;s age greatly exceeds that at which most people reach those milestones).  Generally, this means that it spans the period from birth to teenage years. Notable specializations of this collection include &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVkMQJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MaleChild&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViBVZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FemaleChild&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjiv5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HumanToddler&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjLpZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HumanInfant&lt;/a&gt;.</rdfs:comment>
  </owl:Thing>

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

  <owl:Class rdf:about="&cyc;Mx4rvVjPMJwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">child</rdfs:label>
    <cycAnnot:label xml:lang="en">HumanChild</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwQtmz5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;YoungHuman&lt;/a&gt;, and an instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvw00wJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HumanTypeByLifeStageType&lt;/a&gt;. Each instance of this collection is a human in the childhood stage of life.  Functionally, this life stage ends when the child begins to take responsibility for themselves, work, have children of their own (or, at latest, when the person&apos;s age greatly exceeds that at which most people reach those milestones).  Generally, this means that it spans the period from birth to teenage years. Notable specializations of this collection include &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVkMQJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MaleChild&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViBVZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FemaleChild&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjiv5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HumanToddler&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjLpZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HumanInfant&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4r7h_qBGJsQdiC1qmXVoac9Q">
    <cycAnnot:label xml:lang="en">LifeStages-Social-Topic</cycAnnot:label>
    <rdfs:comment xml:lang="en">A &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rAmoSCGJbQdiSXZJvYiNhkQ&quot; class=&quot;cyc_term&quot;&gt;CycVocabularyTopic&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rtGXkHpNaEdqAAAACs0uFOQ&quot; class=&quot;cyc_term&quot;&gt;KBDependentCollection&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">life stages social topic</rdfs:label>
  </owl:Class>

  <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="Mx4rpdNLBHSuEdaAAACgyZzFrg">
    <rdfs:comment xml:lang="en">A collection of collections.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rpdNLBHSuEdaAAACgyZzFrg&quot; class=&quot;cyc_term&quot;&gt;HumanChildTypeByShoeSize&lt;/a&gt; is a collection of people whose shoe size is the same.  For instance. ChildrensShoeSize3 is the collection of all people who wear shoe size 3.</rdfs:comment>
    <rdfs:label xml:lang="en">children&apos;s shoe size</rdfs:label>
    <cycAnnot:label xml:lang="en">HumanChildTypeByShoeSize</cycAnnot:label>
  </owl:Class>

  <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: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>
