<?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="Mx4rvVj6k5wpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">artificial intelligence program</rdfs:label>
    <rdfs:comment xml:lang="en">Artificial intelligence programs are computer programs designed to perform extremely complex tasks such as common-sense reasoning, pattern recognition, natural language understanding, sophisticated game-playing, and medical diagnosis.</rdfs:comment>
    <cycAnnot:label xml:lang="en">ArtificialIntelligenceProgram</cycAnnot:label>
    <rdfs:subClassOf rdf:resource="Mx4rvyBIVpwpEbGdrcN5Y29ycA"/>
    <rdf:type rdf:resource="Mx4rvrxE_ZwpEbGdrcN5Y29ycA"/>
    <owl:sameAs rdf:resource="http://umbel.org/umbel/sc/ArtificialIntelligenceProgram"/>
    <owl:sameAs rdf:resource="&ocyc;Mx4rvVj6k5wpEbGdrcN5Y29ycA"/>
    <owl:sameAs rdf:resource="&cyc;Mx4rvVj6k5wpEbGdrcN5Y29ycA"/>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">artificial intelligence programz</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">artificial intelligence programme</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">artificial intelligence programs</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVim2pwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvVj6k5wpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">planner program</rdfs:label>
    <cycAnnot:label xml:lang="en">PlannerProgram</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rwJC8_pwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvVj6k5wpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">expert system</rdfs:label>
    <cycAnnot:label xml:lang="en">ExpertSystem</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of all &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwJxiRJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ComputerProgram_CW&lt;/a&gt;s based on logical rules and a set of narrow domain-specific knowledge to provide expertise for some task.  Instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwJC8_pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ExpertSystem&lt;/a&gt; may or may not have been written using an instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj6UJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ExpertSystemShell&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVj6UJwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvVj6k5wpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">expert system shell</rdfs:label>
    <rdfs:comment xml:lang="en">&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj6UJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ExpertSystemShell&lt;/a&gt; denotes the collection of programs that are designed to be used to generate expert systems (see &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwJC8_pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ExpertSystem&lt;/a&gt;).</rdfs:comment>
    <cycAnnot:label xml:lang="en">ExpertSystemShell</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvViJNZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvVj6k5wpEbGdrcN5Y29ycA"/>
    <rdfs:comment xml:lang="en">The collection of programs whose running copies can act as agents in a limited capacity.  They can be atomic or a collection of cooperating sub-programs, which may be loosely or tightly coupled.</rdfs:comment>
    <cycAnnot:label xml:lang="en">IntelligentComputerProgram</cycAnnot:label>
    <rdfs:label xml:lang="en">intelligent computer program</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rva_UWZwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvVj6k5wpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">NeuralNetwork</cycAnnot:label>
    <rdfs:comment xml:lang="en">A computer simulation of the way that biological nervous systems (such as the brain) process information.  A &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rva_UWZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;NeuralNetwork&lt;/a&gt; is composed of a large number of highly interconnected, simple processing elements working in parallel to solve specific problems.  Learning involves adjustments to the connections between these  elements.</rdfs:comment>
    <rdfs:label xml:lang="en">neural net</rdfs:label>
  </owl:Class>

  <Mx4rvVj6k5wpEbGdrcN5Y29ycA rdf:about="Mx4rvVjtHZwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">Eliza</rdfs:label>
    <cycAnnot:label xml:lang="en">Eliza-TheProgram</cycAnnot:label>
  </Mx4rvVj6k5wpEbGdrcN5Y29ycA>

  <Mx4rvVj6k5wpEbGdrcN5Y29ycA rdf:about="Mx4rjpqz-JeRQdea_53SFO0fvw">
    <rdfs:label xml:lang="en">the Cyc InterLocutor</rdfs:label>
    <cycAnnot:label xml:lang="en">CycInterlocutor</cycAnnot:label>
  </Mx4rvVj6k5wpEbGdrcN5Y29ycA>

  <Mx4rvVj6k5wpEbGdrcN5Y29ycA rdf:about="Mx4rvViDTpwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">A version of celluar automata proved turing complete by Gosper. Consists of a grid of cells which change by update rules.  A dynamic diagram would be much better here.</rdfs:comment>
    <cycAnnot:label xml:lang="en">Life-TheProgram</cycAnnot:label>
    <rdfs:label xml:lang="en">Life - The Program</rdfs:label>
  </Mx4rvVj6k5wpEbGdrcN5Y29ycA>

  <owl:Thing rdf:about="http://umbel.org/umbel/sc/ArtificialIntelligenceProgram">
    <rdfs:label xml:lang="en">artificial intelligence program</rdfs:label>
    <rdfs:comment xml:lang="en">Artificial intelligence programs are computer programs designed to perform extremely complex tasks such as common-sense reasoning, pattern recognition, natural language understanding, sophisticated game-playing, and medical diagnosis.</rdfs:comment>
    <cycAnnot:label xml:lang="en">ArtificialIntelligenceProgram</cycAnnot:label>
  </owl:Thing>

  <owl:Class rdf:about="&cyc;Mx4rvVj6k5wpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">artificial intelligence program</rdfs:label>
    <rdfs:comment xml:lang="en">Artificial intelligence programs are computer programs designed to perform extremely complex tasks such as common-sense reasoning, pattern recognition, natural language understanding, sophisticated game-playing, and medical diagnosis.</rdfs:comment>
    <cycAnnot:label xml:lang="en">ArtificialIntelligenceProgram</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvrxE_ZwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">type of computer program by function</rdfs:label>
    <rdfs:comment xml:lang="en">A collection of types of computer programs.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvrxE_ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ComputerProgramTypeByFunction&lt;/a&gt; is a collection of programs (see &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwJxiRJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ComputerProgram_CW&lt;/a&gt;) whose instances all serve a similar function and can be used for a similar purpose.  This purpose might be very specific (see e.g. &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rveW_XZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;AutoLoanCalculatorProgram&lt;/a&gt;) or more general (see e.g. &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwGM3oZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FinancialProgram&lt;/a&gt;).</rdfs:comment>
    <cycAnnot:label xml:lang="en">ComputerProgramTypeByFunction</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvyBIVpwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwJxiRJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ComputerProgram_CW&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvyBIVpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ApplicationProgram&lt;/a&gt; is a program whose running copies perform specific functions either directly for users or as background processes.  &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvyBIVpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ApplicationProgram&lt;/a&gt; is disjoint with &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViws5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;OperatingSystem&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwQ499ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;OperatingSystemKernel&lt;/a&gt;.  Together, these three collections partition &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwJxiRJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ComputerProgram_CW&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">application program</rdfs:label>
    <cycAnnot:label xml:lang="en">ApplicationProgram</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="&ocyc;Mx4rvVj6k5wpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">artificial intelligence program</rdfs:label>
    <rdfs:comment xml:lang="en">Artificial intelligence programs are computer programs designed to perform extremely complex tasks such as common-sense reasoning, pattern recognition, natural language understanding, sophisticated game-playing, and medical diagnosis.</rdfs:comment>
    <cycAnnot:label xml:lang="en">ArtificialIntelligenceProgram</cycAnnot:label>
  </owl:Class>

</rdf:RDF>
