<?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="Mx4rvViZKJwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">punishing</rdfs:label>
    <cycAnnot:label xml:lang="en">Punishing</cycAnnot:label>
    <rdfs:comment xml:lang="en">Elements of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViZKJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Punishing&lt;/a&gt; are events which one agent does to another agent in return for some offense.</rdfs:comment>
    <rdfs:subClassOf rdf:resource="Mx4rvViPO5wpEbGdrcN5Y29ycA"/>
    <rdfs:subClassOf rdf:resource="Mx4rvVieP5wpEbGdrcN5Y29ycA"/>
    <rdf:type rdf:resource="Mx4rX4HA9JmFEdqAAAACs2IKaQ"/>
    <rdf:type rdf:resource="Mx4rvViq35wpEbGdrcN5Y29ycA"/>
    <owl:sameAs rdf:resource="&ocyc;Mx4rvViZKJwpEbGdrcN5Y29ycA"/>
    <owl:sameAs rdf:resource="http://dbpedia.org/resource/Punishment"/>
    <owl:sameAs rdf:resource="http://www.w3.org/2006/03/wn/wn20/instances/synset-punish-verb-1"/>
    <owl:sameAs rdf:resource="&cyc;Mx4rvViZKJwpEbGdrcN5Y29ycA"/>
    <wikipediaArticleURL>http://en.wikipedia.org/wiki/Punishment</wikipediaArticleURL>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">will have penalized</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">punished</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">had penalized</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">penalized</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">had punished</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">punish</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">will have punished</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">will punish</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">penalizes</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">have penalized</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">penalizing</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">has punished</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">penalize</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">will penalize</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">punishes</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">reprisals</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">has penalized</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">reprisal</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">have punished</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
  </owl:Class>

  <owl:Class rdf:about="Mx4ry_UcWLjHEdmAAAACs6hRjg">
    <rdfs:subClassOf rdf:resource="Mx4rvViZKJwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">A collection of events; a subcollection of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViZKJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Punishing&lt;/a&gt;. In each &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4ry_UcWLjHEdmAAAACs6hRjg&quot; class=&quot;cyc_term&quot;&gt;AmercingSomeone&lt;/a&gt;, someone punishes someone else with an arbitrary penalty.</rdfs:comment>
    <cycAnnot:label xml:lang="en">AmercingSomeone</cycAnnot:label>
    <rdfs:label xml:lang="en">amercing</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rKbNFPLybEdmAAAACs6hRjg">
    <rdfs:subClassOf rdf:resource="Mx4rvViZKJwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">A collection of events; a subcollection of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4ry9BP9ryZEdmAAAACs6hRjg&quot; class=&quot;cyc_term&quot;&gt;BanishingSomeone&lt;/a&gt;. In each &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rKbNFPLybEdmAAAACs6hRjg&quot; class=&quot;cyc_term&quot;&gt;BanishingSomeoneFromAPlaceOfResidence&lt;/a&gt;, someone bans someone else from a place of residence, as for punishment.</rdfs:comment>
    <cycAnnot:label xml:lang="en">BanishingSomeoneFromAPlaceOfResidence</cycAnnot:label>
    <rdfs:label xml:lang="en">banishing</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rf4ANFLctEdmFRAACs6hRjg">
    <rdfs:subClassOf rdf:resource="Mx4rvViZKJwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">DiscipliningSomeone</cycAnnot:label>
    <rdfs:comment xml:lang="en">A collection of events; a subcollection of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViZKJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Punishing&lt;/a&gt;. In each &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rf4ANFLctEdmFRAACs6hRjg&quot; class=&quot;cyc_term&quot;&gt;DiscipliningSomeone&lt;/a&gt;, someone punishes someone else in order to gain control or enforce obedience.</rdfs:comment>
    <rdfs:label xml:lang="en">disciplining</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvlgftZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViZKJwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">Execution-Judicial</cycAnnot:label>
    <rdfs:label xml:lang="en">execution</rdfs:label>
    <rdfs:comment xml:lang="en">A specialization of (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVibrpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;KillingFn&lt;/a&gt; &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 &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViZKJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Punishing&lt;/a&gt;. Each element of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvlgftZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Execution_Judicial&lt;/a&gt; is a  judicially sanctioned action of putting a person to death as a punishment for some crime. Thus, it excludes Mafia &apos;hits&apos; and euthanasia, even if the euthanasia is sanctioned by some part of the judicial system.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rwXeO-rjHEdmAAAACs6hRjg">
    <rdfs:subClassOf rdf:resource="Mx4rvViZKJwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">castigating</rdfs:label>
    <cycAnnot:label xml:lang="en">CastigatingSomeone</cycAnnot:label>
    <rdfs:comment xml:lang="en">A collection of events; a subcollection of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViZKJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Punishing&lt;/a&gt;. In each &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwXeO-rjHEdmAAAACs6hRjg&quot; class=&quot;cyc_term&quot;&gt;CastigatingSomeone&lt;/a&gt;, someone inflicts severe punishment on someone.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rwMCh_pwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViZKJwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">Boycott-Economic</cycAnnot:label>
    <rdfs:label xml:lang="en">boycott</rdfs:label>
    <rdfs:comment xml:lang="en">A collection of actions, a subset of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rv7B1XJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;EconomicAction&lt;/a&gt;. In each instance, a group refuses to buy products or some type of product, e.g., grapes, or products originating from some area, e.g., &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkJaJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;RepublicOfSouthAfrica&lt;/a&gt;, or some agent, e.g., Nike, or some combination of the these, e.g., grapes from &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj295wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SouthernCalifornia&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4r6STfKrjHEdmAAAACs6hRjg">
    <rdfs:subClassOf rdf:resource="Mx4rvViZKJwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">A collection of events; a subcollection of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViZKJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Punishing&lt;/a&gt;. In each &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4r6STfKrjHEdmAAAACs6hRjg&quot; class=&quot;cyc_term&quot;&gt;ScourgingSomeone&lt;/a&gt;, someone punishes severely; excoriates.</rdfs:comment>
    <cycAnnot:label xml:lang="en">ScourgingSomeone</cycAnnot:label>
    <rdfs:label xml:lang="en">scourging</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvzQgo5wpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViZKJwpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">The collection of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvzQgo5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Caning&lt;/a&gt;s, which involve the hitting of a person with a cane, stick, or similar object.</rdfs:comment>
    <cycAnnot:label xml:lang="en">Caning</cycAnnot:label>
    <rdfs:label xml:lang="en">caning</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rwJkj85wpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViZKJwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">imposing sanctions</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of all impositions of sanctions, each imposition being performed by an &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAB5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Agent_PartiallyTangible&lt;/a&gt; upon another &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAB5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Agent_PartiallyTangible&lt;/a&gt; that has some formal relationship to the imposer.  In events of this type, the main &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViADZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Event&lt;/a&gt; is an official enactment by the imposer, calculated to lead to events that the recipient is presumed to dislike.  For example, an organization imposes a fine on one of its members, a judge imposes sanctions on an errant lawyer before the court, the Roman Catholic Church excommunicates a miscreant parishioner, or the United Nations declares an oil embargo against a member-state.  The purpose is either to punish the recipient for past disapproved behavior (as in criminal contempt of court, punishing rudeness or dishonesty) or to create an incentive for the recipient to improve future behavior (as in imprisonment for civil contempt of court, designed to force cooperation by a witness).  The imposing &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAB5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Agent_PartiallyTangible&lt;/a&gt; may or may not have any legitimate legal authority to impose the sanction, and may or may not have any power of enforcing the sanction.  An instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwJkj85wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ImposingSanctions&lt;/a&gt; is the formal enactment rather than any later acts of enforcement.  This concept is more specific than &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViZKJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Punishing&lt;/a&gt; which includes spanking a baby, pistol-whipping a crime suspect, or retaliation bombing.</rdfs:comment>
    <cycAnnot:label xml:lang="en">ImposingSanctions</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rGLMaNrjDEdmAAAACs6hRjg">
    <rdfs:subClassOf rdf:resource="Mx4rvViZKJwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">PilloryingSomeone</cycAnnot:label>
    <rdfs:label xml:lang="en">pillorying</rdfs:label>
    <rdfs:comment xml:lang="en">A collection of events; a subcollection of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViZKJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Punishing&lt;/a&gt;. In each &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rGLMaNrjDEdmAAAACs6hRjg&quot; class=&quot;cyc_term&quot;&gt;PilloryingSomeone&lt;/a&gt;, someone punishes someone else by putting them in a pillory.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4r3ktw5rjHEdmAAAACs6hRjg">
    <rdfs:subClassOf rdf:resource="Mx4rvViZKJwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">VictimizingSomeone-Punishing</cycAnnot:label>
    <rdfs:comment xml:lang="en">A collection of events; a subcollection of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViZKJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Punishing&lt;/a&gt;. In each &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4r3ktw5rjHEdmAAAACs6hRjg&quot; class=&quot;cyc_term&quot;&gt;VictimizingSomeone_Punishing&lt;/a&gt;, someone punishes someone else unjustly.</rdfs:comment>
    <rdfs:label xml:lang="en">victimizing</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvViBPJwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViZKJwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">DischargeWithPrejudice</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of events in which employees are fired as a result of perceived incompetence or having a defective personality.</rdfs:comment>
    <rdfs:label xml:lang="en">firing</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rwRdCg5wpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvViZKJwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">Censuring-CommunicationAct</cycAnnot:label>
    <rdfs:label xml:lang="en">censuring</rdfs:label>
    <rdfs:comment xml:lang="en">To harshly criticize, rebuke, or otherwise punish verbally or in writing.--BillJ, Feb. 5, 1998</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvViq35wpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ObjectType&lt;/a&gt; (q.v.) whose instances are all and only those collections that are temporally object-like. A collection &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt; is temporally object-like just in case it generally holds that any proper purely temporal parts (see &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;timeSlices&lt;/a&gt;) of an instance of &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt; is not itself an instance of &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt;.  More precisely, a collection &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt; is an instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViq35wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TemporalObjectType&lt;/a&gt; just in case it satisfies the following: For any distinct &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/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;isa&lt;/a&gt; &lt;b&gt;OBJ1&lt;/b&gt; &lt;b&gt;COL&lt;/b&gt;)&lt;/code&gt; and &lt;code&gt;(&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;timeSlices&lt;/a&gt; &lt;b&gt;OBJ1&lt;/b&gt; &lt;b&gt;OBJ2&lt;/b&gt;)&lt;/code&gt;, then &lt;i&gt;not&lt;/i&gt; &lt;code&gt;(&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;isa&lt;/a&gt; &lt;b&gt;OBJ2&lt;/b&gt; &lt;b&gt;COL&lt;/b&gt;)&lt;/code&gt;.
&lt;p/&gt;
For example, none of the proper time-slices of a &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CalendarYear&lt;/a&gt; is itself a calendar year.  Likewise for &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViYBpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TakingAStep&lt;/a&gt;.  So &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CalendarYear&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViYBpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TakingAStep&lt;/a&gt; are both instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViq35wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TemporalObjectType&lt;/a&gt;. Conversely, a proper time-slice of a given &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVisWZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Date&lt;/a&gt; might itself be a &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVisWZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Date&lt;/a&gt; (e.g. an hour has minutes and seconds as time-slices); so &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVisWZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Date&lt;/a&gt; is &lt;i&gt;not&lt;/i&gt; a temporal-object-type.
&lt;p/&gt;
See &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitN5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TemporalStuffType&lt;/a&gt; for the disjoint notion of being temporally stuff-like.</rdfs:comment>
    <cycAnnot:label xml:lang="en">TemporalObjectType</cycAnnot:label>
    <rdfs:label xml:lang="en">temporal object type</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rX4HA9JmFEdqAAAACs2IKaQ">
    <rdfs:label xml:lang="en">typical human activity type at least once</rdfs:label>
    <cycAnnot:label xml:lang="en">TypicalHumanActivityType-AtLeastOnce</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of specializations of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViN65wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HumanActivity&lt;/a&gt; such that persons typically are involved in (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjFpZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;actors&lt;/a&gt;) at least one instance of the activity type in their lifetime.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVieP5wpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">A specialization of both &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVioQZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Action&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViGFZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AtLeastPartiallyMentalEvent&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieP5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PurposefulAction&lt;/a&gt; is an action consciously, volitionally, and purposefully done by (see &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVipYpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;performedBy&lt;/a&gt;) at least one actor.</rdfs:comment>
    <rdfs:label xml:lang="en">intentional action</rdfs:label>
    <cycAnnot:label xml:lang="en">PurposefulAction</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="&ocyc;Mx4rvViZKJwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">Punishing</cycAnnot:label>
    <rdfs:label xml:lang="en">punishing</rdfs:label>
    <rdfs:comment xml:lang="en">Elements of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViZKJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Punishing&lt;/a&gt; are events which one agent does to another agent in return for some offense.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="&cyc;Mx4rvViZKJwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">Punishing</cycAnnot:label>
    <rdfs:label xml:lang="en">punishing</rdfs:label>
    <rdfs:comment xml:lang="en">Elements of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViZKJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Punishing&lt;/a&gt; are events which one agent does to another agent in return for some offense.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvViPO5wpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">social event</rdfs:label>
    <rdfs:comment xml:lang="en">A specialization of both &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieP5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PurposefulAction&lt;/a&gt;  and &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViNJ5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CompositePhysicalAndMentalEvent&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViPO5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SocialOccurrence&lt;/a&gt;  is an action in which two or more agents take part.  In many cases,  &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViPO5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SocialOccurrence&lt;/a&gt;s involve communication among the participating agents.   Some instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViPO5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SocialOccurrence&lt;/a&gt; have very elaborate role structures  (e.g. a typical lawsuit), while others have fairly simple role structures  (e.g. greeting a colleague at work).</rdfs:comment>
    <cycAnnot:label xml:lang="en">SocialOccurrence</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:DataProperty rdf:about="wikipediaArticleURL">
  </owl:DataProperty>

  <owl:Thing rdf:about="http://dbpedia.org/resource/Punishment">
    <cycAnnot:label xml:lang="en">Punishing</cycAnnot:label>
    <rdfs:label xml:lang="en">punishing</rdfs:label>
    <rdfs:comment xml:lang="en">Elements of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViZKJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Punishing&lt;/a&gt; are events which one agent does to another agent in return for some offense.</rdfs:comment>
  </owl:Thing>

  <owl:Thing rdf:about="http://www.w3.org/2006/03/wn/wn20/instances/synset-punish-verb-1">
    <cycAnnot:label xml:lang="en">Punishing</cycAnnot:label>
    <rdfs:label xml:lang="en">punishing</rdfs:label>
    <rdfs:comment xml:lang="en">Elements of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViZKJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Punishing&lt;/a&gt; are events which one agent does to another agent in return for some offense.</rdfs:comment>
  </owl:Thing>

</rdf:RDF>
