<?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="Mx4rwP1rlJwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">headache</rdfs:label>
    <cycAnnot:label xml:lang="en">Headache</cycAnnot:label>
    <rdfs:comment xml:lang="en">The condition of having a headache, the internal pain which may be generalized or somewhat localized, but does not include, for example, the pain associated with a cut on your forehead.</rdfs:comment>
    <rdfs:subClassOf rdf:resource="Mx4r3KNpNCbWQdmYwZ4adQQdQA"/>
    <rdf:type rdf:resource="Mx8Ngh4rUPJlcIBAQdmLpsh1vCqmAh4ra5xvKpVOEd2AAADggVbxzQ"/>
    <owl:sameAs rdf:resource="http://umbel.org/umbel/sc/Headache"/>
    <owl:sameAs rdf:resource="http://dbpedia.org/resource/Headache"/>
    <owl:sameAs rdf:resource="&cyc;Mx4rwP1rlJwpEbGdrcN5Y29ycA"/>
    <Mx4rwTvAxJwpEbGdrcN5Y29ycA rdf:resource="Mx8Ngh4r4UOLBCbWQdmBWewWD64UMx4rvVi6YJwpEbGdrcN5Y29ycA"/>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">headaches</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rTv-jk9SPTXa991kk5mAvHg>Headache</Mx4rTv-jk9SPTXa991kk5mAvHg>
    <Mx4rNv0nbm4TTjOp7yhmnzOyqg>http://en.wikipedia.org/wiki/Headache</Mx4rNv0nbm4TTjOp7yhmnzOyqg>
    <Mx4riWVFR6HJSpaEaHrcWS3MSA>http://www.w3.org/2006/03/wn/wn20/instances/synset-headache-noun-2</Mx4riWVFR6HJSpaEaHrcWS3MSA>
  </owl:Class>

  <owl:Class rdf:about="Mx4rwP3qO5wpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rwP1rlJwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">Migraine</cycAnnot:label>
    <rdfs:label xml:lang="en">migraine headache</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of all migraine headaches. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwP1rlJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Headache&lt;/a&gt;. &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwP3qO5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Migraine&lt;/a&gt; is a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwQwW_pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PhysiologicalConditionType&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4r3KNpNCbWQdmYwZ4adQQdQA">
    <rdfs:comment xml:lang="en">An instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwQwW_pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PhysiologicalConditionType&lt;/a&gt; and a specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwQwYVpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AilmentCondition&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4r3KNpNCbWQdmYwZ4adQQdQA&quot; class=&quot;cyc_term&quot;&gt;Ache_AilmentCondition&lt;/a&gt; is the condition of experiencing a generalized pain in a particular part of the body, not as the direct result of an injury.  Specializations include &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwP1rlJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Headache&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwP1FxZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Stomachache&lt;/a&gt;.  See also &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4r4UOLBCbWQdmBWewWD64UMw&quot; class=&quot;cyc_term&quot;&gt;AcheInBodyPartFn&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">Ache-AilmentCondition</cycAnnot:label>
    <rdfs:label xml:lang="en">ache ailment condition</rdfs:label>
  </owl:Class>

  <owl:ObjectProperty rdf:about="Mx4rwLSVCpwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">Pretty String</rdfs:label>
    <rdfs:comment xml:lang="en">(&lt;a href=&quot;http://sw.opencyc.org/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: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:Class rdf:about="Mx8Ngh4r4UOLBCbWQdmBWewWD64UMx4rvVi6YJwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">headache</rdfs:label>
    <cycAnnot:label xml:lang="en">(AcheInBodyPartFn Head-AnimalBodyPart)</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx8Ngh4rUPJlcIBAQdmLpsh1vCqmAh4ra5xvKpVOEd2AAADggVbxzQ">
    <rdfs:label xml:lang="en">side effect of nesiritide</rdfs:label>
    <cycAnnot:label xml:lang="en">(SideEffectsOfUsingDrugTypeFn Nesiritide)</cycAnnot:label>
  </owl:Class>

  <owl:ObjectProperty rdf:about="Mx4rwTvAxJwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViAyZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;equals&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvWKHbpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CycLReformulatorConstant&lt;/a&gt; that relates pairs of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwE2kWpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CycLClosedDenotationalTerm&lt;/a&gt;s.   &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwTvAxJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;rewriteOf&lt;/a&gt; is, in a sense, a &amp;quot;directional&amp;quot; version of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViAyZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;equals&lt;/a&gt;.  &lt;code&gt;(&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwTvAxJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;rewriteOf&lt;/a&gt; &lt;b&gt;FAVORED-TERM&lt;/b&gt; &lt;b&gt;DISFAVORED-TERM&lt;/b&gt;)&lt;/code&gt; means that (1) &lt;code&gt;&lt;b&gt;FAVORED-TERM&lt;/b&gt;&lt;/code&gt; and &lt;code&gt;&lt;b&gt;DISFAVORED-TERM&lt;/b&gt;&lt;/code&gt; denote the same thing, and (2) &lt;code&gt;&lt;b&gt;FAVORED-TERM&lt;/b&gt;&lt;/code&gt; is deemed worthy of being privileged over &lt;code&gt;&lt;b&gt;DISFAVORED-TERM&lt;/b&gt;&lt;/code&gt; in the following senses: assertions made on &lt;code&gt;&lt;b&gt;DISFAVORED-TERM&lt;/b&gt;&lt;/code&gt; will be propagated to &lt;code&gt;&lt;b&gt;FAVORED-TERM&lt;/b&gt;&lt;/code&gt;, and whenever possible attempts to reason about  &lt;code&gt;&lt;b&gt;DISFAVORED-TERM&lt;/b&gt;&lt;/code&gt; will be transformed into attempts to reason about &lt;code&gt;&lt;b&gt;FAVORED-TERM&lt;/b&gt;&lt;/code&gt;.  The propagated assertions will differ from the original assertions only in that the propagated assertions will be the result of substituting &lt;code&gt;&lt;b&gt;FAVORED-TERM&lt;/b&gt;&lt;/code&gt; for &lt;code&gt;&lt;b&gt;DISFAVORED-TERM&lt;/b&gt;&lt;/code&gt; wherever &lt;code&gt;&lt;b&gt;DISFAVORED-TERM&lt;/b&gt;&lt;/code&gt; occurs in the original assertions.  Note that substitution does not happen in the opposite direction.  That is, assertions containing &lt;code&gt;&lt;b&gt;FAVORED-TERM&lt;/b&gt;&lt;/code&gt; will not propagate to &lt;code&gt;&lt;b&gt;DISFAVORED-TERM&lt;/b&gt;&lt;/code&gt;.
&lt;p/&gt;
One common use of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwTvAxJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;rewriteOf&lt;/a&gt; is that in which &lt;code&gt;&lt;b&gt;FAVORED-TERM&lt;/b&gt;&lt;/code&gt; is a syntactically simpler term than &lt;code&gt;&lt;b&gt;DISFAVORED-TERM&lt;/b&gt;&lt;/code&gt;.  For example, &lt;code&gt;&lt;b&gt;FAVORED-TERM&lt;/b&gt;&lt;/code&gt; may contain fewer nested terms that denote &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVxAsJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Function_Denotational&lt;/a&gt;s than does &lt;code&gt;&lt;b&gt;DISFAVORED-TERM&lt;/b&gt;&lt;/code&gt;.  (&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwTvAxJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;rewriteOf&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjxdJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;UnitedStatesNavy&lt;/a&gt; (&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwGGrfpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;NavyFn&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVikKpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;UnitedStatesOfAmerica&lt;/a&gt;)) is a good example of this common sort of use.
&lt;p/&gt;
Note that &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwTvAxJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;rewriteOf&lt;/a&gt; expresses a strictly conventional notion of &amp;quot;directional&amp;quot; equality. Pragmatic considerations, not ontology, will dictate which term is chosen to occur as the privileged (left-hand side) term in a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwTvAxJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;rewriteOf&lt;/a&gt; assertion.  Thus, in the example the fact that simpler terms are generally easier to use (remember, manipulate, etc.) dictates that &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjxdJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;UnitedStatesNavy&lt;/a&gt; should be a rewrite of (&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwGGrfpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;NavyFn&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVikKpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;UnitedStatesOfAmerica&lt;/a&gt;), and not vice versa.</rdfs:comment>
    <rdfs:label xml:lang="en">Rewrite Of</rdfs:label>
    <cycAnnot:label xml:lang="en">rewriteOf</cycAnnot:label>
  </owl:ObjectProperty>

  <owl:Thing rdf:about="http://dbpedia.org/resource/Headache">
    <rdfs:label xml:lang="en">headache</rdfs:label>
    <cycAnnot:label xml:lang="en">Headache</cycAnnot:label>
    <rdfs:comment xml:lang="en">The condition of having a headache, the internal pain which may be generalized or somewhat localized, but does not include, for example, the pain associated with a cut on your forehead.</rdfs:comment>
  </owl:Thing>

  <owl:Class rdf:about="&cyc;Mx4rwP1rlJwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">headache</rdfs:label>
    <cycAnnot:label xml:lang="en">Headache</cycAnnot:label>
    <rdfs:comment xml:lang="en">The condition of having a headache, the internal pain which may be generalized or somewhat localized, but does not include, for example, the pain associated with a cut on your forehead.</rdfs:comment>
  </owl:Class>

  <owl:Thing rdf:about="http://umbel.org/umbel/sc/Headache">
    <rdfs:label xml:lang="en">headache</rdfs:label>
    <cycAnnot:label xml:lang="en">Headache</cycAnnot:label>
    <rdfs:comment xml:lang="en">The condition of having a headache, the internal pain which may be generalized or somewhat localized, but does not include, for example, the pain associated with a cut on your forehead.</rdfs:comment>
  </owl:Thing>

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