<?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="Mx4rvw00wJwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">A collection of collections.  &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/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/2008/06/10/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>
    <rdfs:subClassOf rdf:resource="Mx4rvVj6tZwpEbGdrcN5Y29ycA"/>
    <rdfs:subClassOf rdf:resource="Mx4rv1fLiZwpEbGdrcN5Y29ycA"/>
    <rdf:type rdf:resource="Mx4rvprlOZwpEbGdrcN5Y29ycA"/>
    <rdf:type rdf:resource="Mx4rHQdVmB_TEdaAAABQ2rksLw"/>
    <rdf:type rdf:resource="Mx4rvViA4pwpEbGdrcN5Y29ycA"/>
    <owl:sameAs rdf:resource="&cyc;Mx4rvw00wJwpEbGdrcN5Y29ycA"/>
    <owl:sameAs rdf:resource="&ocyc;Mx4rvw00wJwpEbGdrcN5Y29ycA"/>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">types of person classified by life stage</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
  </owl:Class>

  <Mx4rvw00wJwpEbGdrcN5Y29ycA rdf:about="Mx4rvViy-ZwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">HumanAdult</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Person&lt;/a&gt;, and an instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvw00wJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HumanTypeByLifeStageType&lt;/a&gt;. Each instance of this collection is a person old enough to participate as an independent, mature member of society. In most modern Western contexts it is assumed that anyone over 18 is an adult.  However, in many cultures, adulthood occurs when one reaches puberty.  Adulthood is &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVin4pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;contiguousAfter&lt;/a&gt; (q.v.) childhood. Notable specializations of this collection include &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViyfpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AdultMaleHuman&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVix8ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AdultFemaleHuman&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVibu5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MiddleAgedHuman&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjZtZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;OldHuman&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">human adult</rdfs:label>
  </Mx4rvw00wJwpEbGdrcN5Y29ycA>

  <Mx4rvw00wJwpEbGdrcN5Y29ycA rdf:about="Mx4rwQtqmpwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">NewbornBaby</cycAnnot:label>
    <rdfs:comment xml:lang="en">The stage of life from birth to a few weeks old, normally before a child interacts much with its environment.</rdfs:comment>
    <rdfs:label xml:lang="en">newborn baby</rdfs:label>
  </Mx4rvw00wJwpEbGdrcN5Y29ycA>

  <Mx4rvw00wJwpEbGdrcN5Y29ycA rdf:about="Mx4rwRySTJwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">The collection of people who are going through &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwlMZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Puberty&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">pubescent human</rdfs:label>
    <cycAnnot:label xml:lang="en">PubescentHuman</cycAnnot:label>
  </Mx4rvw00wJwpEbGdrcN5Y29ycA>

  <Mx4rvw00wJwpEbGdrcN5Y29ycA rdf:about="Mx4rv0tfwpwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">PrePubescentHuman</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of people who have not yet gone through &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwlMZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Puberty&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">prepubescent person</rdfs:label>
  </Mx4rvw00wJwpEbGdrcN5Y29ycA>

  <Mx4rvw00wJwpEbGdrcN5Y29ycA rdf:about="Mx4rvVjeZZwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">HumanSchoolageChild</cycAnnot:label>
    <rdfs:label xml:lang="en">school-age child</rdfs: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>
  </Mx4rvw00wJwpEbGdrcN5Y29ycA>

  <Mx4rvw00wJwpEbGdrcN5Y29ycA rdf:about="Mx4rvVjLpZwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">infant</rdfs:label>
    <cycAnnot:label xml:lang="en">HumanInfant</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w&quot; class=&quot;cyc_term&quot;&gt;HomoSapiens&lt;/a&gt;, and an instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvw00wJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HumanTypeByLifeStageType&lt;/a&gt;. Each instance of this collection is a human in the infant stage of life.  Functionally, this ends when the infant learns to walk (even just toddle) and/or talk (even a few words)... or, at latest, when the person&apos;s age greatly exceeds that at which most people develop those skills.  Generally, this means that it spans the period from birth to about 12 - 18 months old. A notable specialization of this collection is &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwQtqmpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;NewbornBaby&lt;/a&gt;.</rdfs:comment>
  </Mx4rvw00wJwpEbGdrcN5Y29ycA>

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

  <Mx4rvw00wJwpEbGdrcN5Y29ycA rdf:about="Mx4rwEcfF5wpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">legal aged teenager</rdfs:label>
    <cycAnnot:label xml:lang="en">HumanTeenager-LegallyAdult</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViQtJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HumanTeenager&lt;/a&gt;. This is the collection of all teenagers who are considered to be adult for legal purposes such as the right to vote, to fight wars, to buy cigarettes, to live outside parental control and to be depicted in pornography without sanction to the pornographer. The ages involved are usually 18 and 19.</rdfs:comment>
  </Mx4rvw00wJwpEbGdrcN5Y29ycA>

  <Mx4rvw00wJwpEbGdrcN5Y29ycA rdf:about="Mx4rvVjZtZwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">OldHuman</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w&quot; class=&quot;cyc_term&quot;&gt;HomoSapiens&lt;/a&gt;. Each instance of this collection is a person more than 60 years of age. This collection is disjoint with &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwQtmz5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;YoungHuman&lt;/a&gt; -- the collection of persons less than 35 years of age.</rdfs:comment>
    <rdfs:label xml:lang="en">senior citizen</rdfs:label>
  </Mx4rvw00wJwpEbGdrcN5Y29ycA>

  <Mx4rvw00wJwpEbGdrcN5Y29ycA rdf:about="Mx4rvVjiv5wpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">toddler</rdfs:label>
    <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>
  </Mx4rvw00wJwpEbGdrcN5Y29ycA>

  <Mx4rvw00wJwpEbGdrcN5Y29ycA rdf:about="Mx4rvVibepwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">young adult</rdfs:label>
    <cycAnnot:label xml:lang="en">HumanYoungAdult</cycAnnot:label>
    <rdfs:comment xml:lang="en">Adults between 18 and 35 years of age.</rdfs:comment>
  </Mx4rvw00wJwpEbGdrcN5Y29ycA>

  <Mx4rvw00wJwpEbGdrcN5Y29ycA rdf:about="Mx8Ngh4rFtoVcqy4EdeWtwACs1uxFx4rIcwFloGUQdeMlsOWYLFB2w">
    <cycAnnot:label xml:lang="en">(NewbornFn HomoSapiens)</cycAnnot:label>
    <rdfs:label xml:lang="en">newborn baby</rdfs:label>
  </Mx4rvw00wJwpEbGdrcN5Y29ycA>

  <Mx4rvw00wJwpEbGdrcN5Y29ycA rdf:about="Mx4rv37zvJwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">preschooler</rdfs:label>
    <rdfs:comment xml:lang="en">Children of the proper age to be in preschool, but not yet old enough to be in school (more or less ages 3-5 years).</rdfs:comment>
    <cycAnnot:label xml:lang="en">HumanPreschooler</cycAnnot:label>
  </Mx4rvw00wJwpEbGdrcN5Y29ycA>

  <Mx4rvw00wJwpEbGdrcN5Y29ycA rdf:about="Mx4rvVibu5wpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">middle-aged person</rdfs:label>
    <rdfs:comment xml:lang="en">Adults between 35 and 60 years of age.</rdfs:comment>
    <cycAnnot:label xml:lang="en">MiddleAgedHuman</cycAnnot:label>
  </Mx4rvw00wJwpEbGdrcN5Y29ycA>

  <Mx4rvw00wJwpEbGdrcN5Y29ycA rdf:about="Mx4rvViQtJwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">teenager</rdfs:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwQtmz5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;YoungHuman&lt;/a&gt;. Each instance of this collection is a &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w&quot; class=&quot;cyc_term&quot;&gt;HomoSapiens&lt;/a&gt; whose age is greater than 12 years and less than 20 years. A notable specialization is &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwEcfF5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HumanTeenager_LegallyAdult&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">HumanTeenager</cycAnnot:label>
  </Mx4rvw00wJwpEbGdrcN5Y29ycA>

  <Mx4rvw00wJwpEbGdrcN5Y29ycA 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/2008/06/10/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/2008/06/10/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/2008/06/10/concept/Mx4rvVkMQJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MaleChild&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBVZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FemaleChild&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjiv5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HumanToddler&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjLpZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HumanInfant&lt;/a&gt;.</rdfs:comment>
  </Mx4rvw00wJwpEbGdrcN5Y29ycA>

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

  <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="Mx4rvViA4pwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">A &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rtGXkHpNaEdqAAAACs0uFOQ&quot; class=&quot;cyc_term&quot;&gt;KBDependentCollection&lt;/a&gt; of collections of  collections (and thus an instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rviPYH5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CollectionTypeType&lt;/a&gt; and a specialization of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CollectionType&lt;/a&gt;).  A sibling-disjoint collection type is such that its known  (i.e. KB-represented) instances are collections that -- save for any that are related to each other by  &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;genls&lt;/a&gt; and any that are explicitly asserted to be exceptions (see  &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwQtVmpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;siblingDisjointExceptions&lt;/a&gt;) -- are disjoint from each other. 
&lt;p/&gt;
More precisely, each instance &lt;code&gt;&lt;b&gt;SIB&lt;/b&gt;&lt;/code&gt; of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA4pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SiblingDisjointCollectionType&lt;/a&gt; is a collection of collections that has the following KB-dependent property: 
&lt;p/&gt;
For any two known instances &lt;code&gt;&lt;b&gt;COL1&lt;/b&gt;&lt;/code&gt; and &lt;code&gt;&lt;b&gt;COL2&lt;/b&gt;&lt;/code&gt; of   &lt;code&gt;&lt;b&gt;SIB&lt;/b&gt;&lt;/code&gt;, at least one of the following is known to hold: 
&lt;pre&gt;
  (a) (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;genls&lt;/a&gt; &lt;b&gt;COL1&lt;/b&gt; &lt;b&gt;COL2&lt;/b&gt;)
  (b) (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;genls&lt;/a&gt; &lt;b&gt;COL2&lt;/b&gt; &lt;b&gt;COL1&lt;/b&gt;)
  (c) (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwQtVmpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;siblingDisjointExceptions&lt;/a&gt; &lt;b&gt;COL1&lt;/b&gt; &lt;b&gt;COL2&lt;/b&gt;)
  (d) (&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;b&gt;COL1&lt;/b&gt; &lt;b&gt;COL2&lt;/b&gt;)
&lt;/pre&gt;  
Moreover, note that if &lt;code&gt;&lt;b&gt;MT&lt;/b&gt;&lt;/code&gt; is a context (see &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA1ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Microtheory&lt;/a&gt;) in which (i) both &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;COL1&lt;/b&gt; &lt;b&gt;SIB&lt;/b&gt;)&lt;/code&gt; and &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;COL2&lt;/b&gt; &lt;b&gt;SIB&lt;/b&gt;)&lt;/code&gt; hold and (ii)  neither &lt;code&gt;(&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;genls&lt;/a&gt; &lt;b&gt;COL1&lt;/b&gt; &lt;b&gt;COL2&lt;/b&gt;)&lt;/code&gt; nor &lt;code&gt;(&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;genls&lt;/a&gt; &lt;b&gt;COL2&lt;/b&gt; &lt;b&gt;COL1&lt;/b&gt;)&lt;/code&gt; nor &lt;code&gt;(&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwQtVmpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;siblingDisjointExceptions&lt;/a&gt; &lt;b&gt;COL1&lt;/b&gt; &lt;b&gt;COL2&lt;/b&gt;)&lt;/code&gt; is known to hold (see &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwP-JvpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;knownSentence&lt;/a&gt;), then 
&lt;code&gt;(&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;b&gt;COL1&lt;/b&gt; &lt;b&gt;COL2&lt;/b&gt;)&lt;/code&gt; holds by default in &lt;code&gt;&lt;b&gt;MT&lt;/b&gt;&lt;/code&gt;.   
&lt;p/&gt;
For example, in &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjakJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;BiologyMt&lt;/a&gt; both &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Person&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Dog&lt;/a&gt; are instances of the  sibling-disjoint collection type &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjK65wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;BiologicalSpecies&lt;/a&gt;, while neither  (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;genls&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Person&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Dog&lt;/a&gt;) nor (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;genls&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Dog&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Person&lt;/a&gt;) nor  (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwQtVmpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;siblingDisjointExceptions&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Person&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Dog&lt;/a&gt;) is known to hold in that  context; consequently, (&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/Mx4rvViAkpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Person&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Dog&lt;/a&gt;) holds by default  in &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjakJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;BiologyMt&lt;/a&gt;.  Instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA4pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SiblingDisjointCollectionType&lt;/a&gt; include  &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVji6JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;BiologicalTaxon&lt;/a&gt; (and its specializations), &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwKTnSJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;OrganismPartType&lt;/a&gt;, and &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwE01SZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;RelationshipTypeByArity&lt;/a&gt;.
&lt;p/&gt;
See the generalization &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rk8dxOFcGEdaLwgACs0uFOQ&quot; class=&quot;cyc_term&quot;&gt;SiblingDisjointSetOrCollectionType&lt;/a&gt;.  Also cf. the stronger notion of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvWPoRpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;DisjointCollectionType&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">sibling disjoint collection type</rdfs:label>
    <cycAnnot:label xml:lang="en">SiblingDisjointCollectionType</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="&ocyc;Mx4rvw00wJwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">A collection of collections.  &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/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/2008/06/10/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: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;Mx4rvw00wJwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">A collection of collections.  &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/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/2008/06/10/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="Mx4rvVj6tZwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">A collection of collections and a specialization of  &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ExistingObjectType&lt;/a&gt;. Each instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj6tZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;LifeStageType&lt;/a&gt; is a collection all of whose instances are organisms that share a specific variety and level of biological and/or social development.  For example, one instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj6tZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;LifeStageType&lt;/a&gt; is the collection &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjPMJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HumanChild&lt;/a&gt;, which has as its instances all human children.  Other instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj6tZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;LifeStageType&lt;/a&gt; include &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCBvZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Larva&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVipFpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FloweryPlant&lt;/a&gt;, and (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvqsYpJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;BacterialSporeFn&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwNDvQpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Anthrax_Bacterium&lt;/a&gt;).</rdfs:comment>
    <cycAnnot:label xml:lang="en">LifeStageType</cycAnnot:label>
    <rdfs:label xml:lang="en">type of life stage</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvprlOZwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">A collection of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CollectionType&lt;/a&gt;s. Each instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FacetingCollectionType&lt;/a&gt; is a collection-type that &amp;quot;facets&amp;quot; -- i.e. stands in the &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvjldVJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;facets_Generic&lt;/a&gt; (q.v.) relation to -- another collection. Examples include &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutomobileTypeByBrand&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rANFO8Ec-EdaEKABQ2sS97g&quot; class=&quot;cyc_term&quot;&gt;MusicTypeByGenre&lt;/a&gt;, which facet &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Automobile&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjOJpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Music&lt;/a&gt;, respectively.</rdfs:comment>
    <rdfs:label xml:lang="en">faceting collection type</rdfs:label>
    <cycAnnot:label xml:lang="en">FacetingCollectionType</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rv1fLiZwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">FacetInstanceCollection</cycAnnot:label>
    <rdfs:label xml:lang="en">facet collection</rdfs:label>
    <rdfs:comment xml:lang="en">A &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CollectionType&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rv1fLiZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FacetInstanceCollection&lt;/a&gt; is a collection that is an instance of a &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FacetingCollectionType&lt;/a&gt; (q.v.).  For example, the facet-instance-collection (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rBVDJsPLMQdiZD5jLVkyKUw&quot; class=&quot;cyc_term&quot;&gt;WineOfVintageFn&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; 1926)) is an instance of the faceting-collection-type &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rWdpZhPLLQdiKEtsuZMndzQ&quot; class=&quot;cyc_term&quot;&gt;WineTypeByVintage&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

</rdf:RDF>
