]> 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. 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>). programming language implementations http://en.wikipedia.org/wiki/Programming_language_implementation planner program PlannerProgram TypesettingProgram Document preparation systems for high-quality typesetting. These programs interpret or compile files written in a typesetting language to produce professional-looking documents. typesetting program A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkKbZwpEbGdrcN5Y29ycA" class="cyc_term">ProgrammingLanguageImplementation</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjykZwpEbGdrcN5Y29ycA" class="cyc_term">Compiler</a> is a program that converts another program from some source language (or programming language) to machine language (object code). Some compilers output assembly language which is then converted to machine language by a separate assembler. Cf. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkJNpwpEbGdrcN5Y29ycA" class="cyc_term">Interpreter_Computers</a>. compiler Compiler Interpreter-Computers interpreter A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkKbZwpEbGdrcN5Y29ycA" class="cyc_term">ProgrammingLanguageImplementation</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkJNpwpEbGdrcN5Y29ycA" class="cyc_term">Interpreter_Computers</a> is a program that simultaneously runs and translates other programs. Note that instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkJNpwpEbGdrcN5Y29ycA" class="cyc_term">Interpreter_Computers</a> are distinct from instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjykZwpEbGdrcN5Y29ycA" class="cyc_term">Compiler</a> (q.v.) in that an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjykZwpEbGdrcN5Y29ycA" class="cyc_term">Compiler</a> will not execute its input program -- the &quot;source code&quot; -- but will simply translate it into executable &quot;machine code&quot; -- also called &quot;object code&quot; -- which is output to a file for later execution. FilterProgram filter program <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvcK7wpwpEbGdrcN5Y29ycA" class="cyc_term">JavaScriptImplementation</a> is a collection of helper applications for instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWN8eJwpEbGdrcN5Y29ycA" class="cyc_term">WorldWideWebClientProgram</a>. Its instances enable browsers to display features of web pages written in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwUFuH5wpEbGdrcN5Y29ycA" class="cyc_term">JavaScriptProgrammingLanguage</a>. java script implementation JavaScriptImplementation SymbolicsCommonLisp Lisp is this weird case where programs keep extending the language, so there isn't a clear distinction between operating system, programming language, window system, etc. So we call it a package. (But it still doesn't include the Document Examiner or DVI Previewer. Boundary is fuzzy.) Symbolics Common Lisp TI Common Lisp Every unit should have an english. TICommonLisp CMUCL-TheProgram CMU Common Lisp All the versions Lucid Common Lisp Lucid Common Lisp LucidCommonLisp Lymphocyte-TheProgram Lymphocyte All versions of the implementation of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvcRlyJwpEbGdrcN5Y29ycA" class="cyc_term">Lymphocyte_ProgrammingLanguage</a> Allegro Common Lisp AllegroCommonLisp CLISP CLISP-TheProgram 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>). type of computer program by function A collection of types of computer programs. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvrxE_ZwpEbGdrcN5Y29ycA" class="cyc_term">ComputerProgramTypeByFunction</a> is a collection of programs (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJxiRJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerProgram_CW</a>) whose instances all serve a similar function and can be used for a similar purpose. This purpose might be very specific (see e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rveW_XZwpEbGdrcN5Y29ycA" class="cyc_term">AutoLoanCalculatorProgram</a>) or more general (see e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwGM3oZwpEbGdrcN5Y29ycA" class="cyc_term">FinancialProgram</a>). ComputerProgramTypeByFunction 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/Mx4rvyBIVpwpEbGdrcN5Y29ycA" class="cyc_term">ApplicationProgram</a> is a program whose running copies perform specific functions either directly for users or as background processes. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvyBIVpwpEbGdrcN5Y29ycA" class="cyc_term">ApplicationProgram</a> is disjoint with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViws5wpEbGdrcN5Y29ycA" class="cyc_term">OperatingSystem</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQ499ZwpEbGdrcN5Y29ycA" class="cyc_term">OperatingSystemKernel</a>. Together, these three collections partition <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJxiRJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerProgram_CW</a>. application program ApplicationProgram Pretty String (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA" class="cyc_term">prettyString</a> TERM STRING) means that STRING is the English word or expression (sequence of words) commonly used to refer to TERM. The predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA" class="cyc_term">prettyString</a> is used by the code which generates CycL to English paraphrases, but its applicability is not restricted to this use. prettyString 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>). 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>).