]> 2008/06/10 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. externalID 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. label 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. CMUCL-TheProgram CMU Common Lisp http://en.wikipedia.org/wiki/Lisp_%28programming_language%29 CMUCL-TheProgram CMU Common Lisp CMUCL-TheProgram CMU Common Lisp ProgrammingLanguageImplementation programming language implementation A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJxiRJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerProgram_CW</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkKbZwpEbGdrcN5Y29ycA" class="cyc_term">ProgrammingLanguageImplementation</a> is a program which takes source code written in an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjC6pwpEbGdrcN5Y29ycA" class="cyc_term">AbstractProgrammingLanguage</a> as input and generates either the behavior specified by the sdource code (if the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkKbZwpEbGdrcN5Y29ycA" class="cyc_term">ProgrammingLanguageImplementation</a> is an instance of the more specialized collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkJNpwpEbGdrcN5Y29ycA" class="cyc_term">Interpreter_Computers</a>) or another program with the same semantics as the source code (if the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkKbZwpEbGdrcN5Y29ycA" class="cyc_term">ProgrammingLanguageImplementation</a> is an instance of the more specialized collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjykZwpEbGdrcN5Y29ycA" class="cyc_term">Compiler</a>). local program LocalProgram A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvyBIVpwpEbGdrcN5Y29ycA" class="cyc_term">ApplicationProgram</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvzmtx5wpEbGdrcN5Y29ycA" class="cyc_term">LocalProgram</a> is a program that cannot be accessed remotely (i.e. across a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirUZwpEbGdrcN5Y29ycA" class="cyc_term">ComputerNetwork</a>). <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvzmtx5wpEbGdrcN5Y29ycA" class="cyc_term">LocalProgram</a> is dijoint with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvV6RRJwpEbGdrcN5Y29ycA" class="cyc_term">ServerProgram</a>, and the two form a partition of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJxiRJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerProgram_CW</a>. CMUCL-TheProgram CMU Common Lisp UnversionedProgram A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvvhA5pwpEbGdrcN5Y29ycA" class="cyc_term">UnversionedSoftwareObject</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJxiRJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerProgram_CW</a>. The collection of all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJxiRJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerProgram_CW</a> which are &quot;unversioned&quot; in the sense that, strictly speaking, not they, but versions of them, are downloaded, run on a machine, etc. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvi9EhJwpEbGdrcN5Y29ycA" class="cyc_term">UnversionedProgram</a> are thus highly abstract entities. Positive examples: <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rviFn3pwpEbGdrcN5Y29ycA" class="cyc_term">LinuxKernel_TheProgram</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvuGfGZwpEbGdrcN5Y29ycA" class="cyc_term">Linux_RedHat</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvclthJwpEbGdrcN5Y29ycA" class="cyc_term">WU_FTPD_TheProgram</a>. unversioned program