]> 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. versioned program A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwHnyS5wpEbGdrcN5Y29ycA" class="cyc_term">VersionedSoftwareObject</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 represent programs that are in the most literal sense bought, downloaded, and run on a machine. Positive examples: (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwRFdT5wpEbGdrcN5Y29ycA" class="cyc_term">SoftwareVersionFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvuGfGZwpEbGdrcN5Y29ycA" class="cyc_term">Linux_RedHat</a> "6.1") (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwRFdT5wpEbGdrcN5Y29ycA" class="cyc_term">SoftwareVersionFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvclthJwpEbGdrcN5Y29ycA" class="cyc_term">WU_FTPD_TheProgram</a> "2.5"). Negative examples: <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>. The latter are instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvi9EhJwpEbGdrcN5Y29ycA" class="cyc_term">UnversionedProgram</a>. VersionedProgram versioned programme versioned programs versioned programz the current version of OpenCyc OpenCyc-CurrentVersion The singleton collection consisting of the current version of OpenCyc as present in this instance of Cyc. Microsoft Windows 3.1, the first of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4riNGXwP2fQdaZXrfbbzQmow" class="cyc_term">MSWindows</a> product line to have a really large user base. MSWindows31 Windows 3.1 System 7 System7 (SoftwareVersionFn OracleDatabaseServer-TheProgram "9.0") Oracle Database Server version 9.0 OpenCyc 0.7 The copy of the version of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r14OB5JUcEdaAAAACs4kcHw" class="cyc_term">OpenCyc</a> that is most current. OpenCyc-Release07 the Cyc InterLocutor CycInterlocutor (SoftwareVersionFn MSWindows9x "98se") Microsoft Windows 98se MS-DOS-2-1 MS-DOS 2.1 Microsoft Windows 95 (SoftwareVersionFn MSWindows9x "95") OpenCyc 0.6 OpenCyc-Release06 The copy of the first version of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r14OB5JUcEdaAAAACs4kcHw" class="cyc_term">OpenCyc</a>. System7-5 System 7.5 MacOS8 Mac OS 8 (SoftwareVersionFn MSTransactionServer "2.0") Microsoft Transaction Server version 2.0 (SoftwareVersionFn MSInternetInformationServer "4.0") Microsoft IIS version 4.0 Microsoft Windows 98 (SoftwareVersionFn MSWindows9x "98") (SoftwareVersionFn MSInternetExplorer "5.5") Internet Explorer version 5.5 System7-5-2 System 7.52 Version 7.5.2 of the Apple operating system. (SoftwareVersionFn MSWindows9x "ME") Microsoft Windows ME System 7.6 System7-6 Version 7.6 of the Apple operating system. (SoftwareVersionFn MSInternetExplorer "6.0") Internet Explorer version 6.0 Version 7.5.1 of the Apple operating system. System 7.51 System7-5-1 Mac OS 9 MacOS9 ComputerProgram-CW computer program A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQC9Y5wpEbGdrcN5Y29ycA" class="cyc_term">ComputerFile_CW</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvcUMxZwpEbGdrcN5Y29ycA" class="cyc_term">SoftwareObject_Individual</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJxiRJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerProgram_CW</a> is a deliberately created abstract object composed of propositions that together constitute a list of instructions for computers to execute. Example instances include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjYUZwpEbGdrcN5Y29ycA" class="cyc_term">Emacs_TheProgram</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rviFn3pwpEbGdrcN5Y29ycA" class="cyc_term">LinuxKernel_TheProgram</a>. Instances of this collection are distinct from computer code and from both running and installed programs. The instructions that comprise an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJxiRJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerProgram_CW</a> can be expressed as abstract computer code (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIZO5pwpEbGdrcN5Y29ycA" class="cyc_term">ComputerCode</a>), but no list of instructions expressed in code constitutes an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJxiRJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerProgram_CW</a>. Rather, the code in which an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJxiRJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerProgram_CW</a> is expressed constitutes an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQGTzJwpEbGdrcN5Y29ycA" class="cyc_term">AbstractInformationStructure</a> that can be related to the program it expresses using the predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvu7HHpwpEbGdrcN5Y29ycA" class="cyc_term">programCode</a>. More than one instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIZO5pwpEbGdrcN5Y29ycA" class="cyc_term">ComputerCode</a> can express the same instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJxiRJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerProgram_CW</a>; for example, a single instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJxiRJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerProgram_CW</a> can be written in source code (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rva7pXZwpEbGdrcN5Y29ycA" class="cyc_term">ComputerCode_Source</a>) in several different computer languages, or it can be complied as a binary executable (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPrXepwpEbGdrcN5Y29ycA" class="cyc_term">ComputerCode_Binary</a>). A physical instantiation of a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJxiRJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerProgram_CW</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvwE_DpwpEbGdrcN5Y29ycA" class="cyc_term">ComputerProgramCopy</a> which is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkNufpwpEbGdrcN5Y29ycA" class="cyc_term">InformationBearingThing</a> and is related to its <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJxiRJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerProgram_CW</a> by the predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwSiusZwpEbGdrcN5Y29ycA" class="cyc_term">programCopies</a>. An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJxiRJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerProgram_CW</a> that is being executed is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj8AZwpEbGdrcN5Y29ycA" class="cyc_term">ComputerProcessRunning</a>, related to its <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJxiRJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerProgram_CW</a> by the predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvu_4wZwpEbGdrcN5Y29ycA" class="cyc_term">programOfProcess</a>. ObjectType The collection of all collections that are "object-like" in at least one respect. A collection <code>COL</code> is object-like just in case there is some sense of 'part' according to which any (or nearly any) given proper part of an instance of <code>COL</code> is not itself an instance of <code>COL</code>; when this happens <code>COL</code> is said to be object-like with respect to that sense of 'part'. More precisely, for a collection <code>COL</code> to be an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a> it is sufficient that there be some specialization <code>PARTPRED</code> of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwgfukKs8QdePzLB9nLNpTw" class="cyc_term">properParts</a> such that, for any <code>OBJ1</code> and <code>OBJ2</code>, if <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> OBJ1 COL)</code> and <code>(PARTPRED OBJ1 OBJ2)</code> both hold, then <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> OBJ2 COL)</code> does not hold. (Also sufficient for <code>COL</code>'s being an object-type is that there be some specialization <code>INVPARTPRED</code> of the inverse of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwgfukKs8QdePzLB9nLNpTw" class="cyc_term">properParts</a> (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWHsNJwpEbGdrcN5Y29ycA" class="cyc_term">genlInverse</a>) such that <code>(INVPARTPRED OBJ2 OBJ1)</code>, with everything else remaining the same as above.) Note that neither of the above sufficient conditions for <code>COL</code>'s being an object-type is strictly necessary: some exceptions are allowed. Thus as long as either one of the above conditionals holds in nearly all cases, <code>COL</code> should be considered an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>. Here are two examples. Consider <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA" class="cyc_term">Automobile</a>. Take an instance of that, say my car. Now consider one of the proper <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj5FpwpEbGdrcN5Y29ycA" class="cyc_term">physicalParts</a> of my car, say the steering wheel. The steering wheel is not an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA" class="cyc_term">Automobile</a>. And the same would be true for any proper physical part of any car. So <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA" class="cyc_term">Automobile</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>. Consider <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarYear</a>. No proper <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA" class="cyc_term">timeSlices</a> of a year is itself a year. So <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarYear</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>. See <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVir35wpEbGdrcN5Y29ycA" class="cyc_term">StuffType</a> for the contrasting (though not disjoint) notion of being stuff-like. type of object versioned program A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwHnyS5wpEbGdrcN5Y29ycA" class="cyc_term">VersionedSoftwareObject</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 represent programs that are in the most literal sense bought, downloaded, and run on a machine. Positive examples: (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwRFdT5wpEbGdrcN5Y29ycA" class="cyc_term">SoftwareVersionFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvuGfGZwpEbGdrcN5Y29ycA" class="cyc_term">Linux_RedHat</a> "6.1") (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwRFdT5wpEbGdrcN5Y29ycA" class="cyc_term">SoftwareVersionFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvclthJwpEbGdrcN5Y29ycA" class="cyc_term">WU_FTPD_TheProgram</a> "2.5"). Negative examples: <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>. The latter are instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvi9EhJwpEbGdrcN5Y29ycA" class="cyc_term">UnversionedProgram</a>. VersionedProgram 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 The collection of all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r_4bScKNtQdiVw7XtX-HN0Q" class="cyc_term">ClarifyingCollectionType</a> that are used by the #$KRAKEN application to resolve natural language ambiguities. KE clarifying collection type KEClarifyingCollectionType versioned program A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwHnyS5wpEbGdrcN5Y29ycA" class="cyc_term">VersionedSoftwareObject</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 represent programs that are in the most literal sense bought, downloaded, and run on a machine. Positive examples: (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwRFdT5wpEbGdrcN5Y29ycA" class="cyc_term">SoftwareVersionFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvuGfGZwpEbGdrcN5Y29ycA" class="cyc_term">Linux_RedHat</a> "6.1") (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwRFdT5wpEbGdrcN5Y29ycA" class="cyc_term">SoftwareVersionFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvclthJwpEbGdrcN5Y29ycA" class="cyc_term">WU_FTPD_TheProgram</a> "2.5"). Negative examples: <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>. The latter are instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvi9EhJwpEbGdrcN5Y29ycA" class="cyc_term">UnversionedProgram</a>. VersionedProgram type of temporally stuff-like thing A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVir35wpEbGdrcN5Y29ycA" class="cyc_term">StuffType</a> (q.v.) whose instances are all and only those collections that are temporally stuff-like. A collection <code>COL</code> is temporally stuff-like just in case every purely temporal part (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA" class="cyc_term">timeSlices</a>) of an instance of <code>COL</code> is itself an instance of <code>COL</code>, unless it is a temporal part of a temporal granule of <code>COL</code> (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaJJwpEbGdrcN5Y29ycA" class="cyc_term">granuleOfTemporalStuff</a>). More precisely, for a collection <code>COL</code> to be an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitN5wpEbGdrcN5Y29ycA" class="cyc_term">TemporalStuffType</a> it is both a necessary and sufficient condition that for any <code>OBJ1</code> and <code>OBJ2</code> (with <code>OBJ2</code> at or above <code>COL</code>'s temporal granularity level), if <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> OBJ1 COL)</code> and <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA" class="cyc_term">timeSlices</a> OBJ1 OBJ2)</code>, then <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> OBJ2 COL)</code>. Consider <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi0gpwpEbGdrcN5Y29ycA" class="cyc_term">WalkingOnTwoLegs</a>. Take an arbitrary instance <code>WALK</code> of this collection (say Miss America 2000's victory walk down the runway and back); and then take an arbitrary time-slice <code>SUBWALK</code> of <code>WALK</code> that subsumes at least one instance of (the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaJJwpEbGdrcN5Y29ycA" class="cyc_term">granuleOfTemporalStuff</a> for <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi0gpwpEbGdrcN5Y29ycA" class="cyc_term">WalkingOnTwoLegs</a>) <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViYBpwpEbGdrcN5Y29ycA" class="cyc_term">TakingAStep</a> (say her trip back from the end of the runway). <code>SUBWALK</code> is itself an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi0gpwpEbGdrcN5Y29ycA" class="cyc_term">WalkingOnTwoLegs</a>. So <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi0gpwpEbGdrcN5Y29ycA" class="cyc_term">WalkingOnTwoLegs</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitN5wpEbGdrcN5Y29ycA" class="cyc_term">TemporalStuffType</a>. See <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViq35wpEbGdrcN5Y29ycA" class="cyc_term">TemporalObjectType</a> for the disjoint notion of being temporally object-like. TemporalStuffType versioned software A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvcUMxZwpEbGdrcN5Y29ycA" class="cyc_term">SoftwareObject_Individual</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIlbF5wpEbGdrcN5Y29ycA" class="cyc_term">SoftwareObject</a> is a computer program, software package or library that is versioned. Positive examples include (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwRFdT5wpEbGdrcN5Y29ycA" class="cyc_term">SoftwareVersionFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvV_RB5wpEbGdrcN5Y29ycA" class="cyc_term">NetscapeNavigator</a> "5") and (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwRFdT5wpEbGdrcN5Y29ycA" class="cyc_term">SoftwareVersionFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rviB6LZwpEbGdrcN5Y29ycA" class="cyc_term">Libc_TheLibrary</a> "2.0"). Negative examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rviB6LZwpEbGdrcN5Y29ycA" class="cyc_term">Libc_TheLibrary</a> (which is unversioned) and (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgxuYpwpEbGdrcN5Y29ycA" class="cyc_term">VersionsInclusiveFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvV_RB5wpEbGdrcN5Y29ycA" class="cyc_term">NetscapeNavigator</a> "3" "6") (which is a version series, not an individual software object). <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwHnyS5wpEbGdrcN5Y29ycA" class="cyc_term">VersionedSoftwareObject</a> is disjoint with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvvhA5pwpEbGdrcN5Y29ycA" class="cyc_term">UnversionedSoftwareObject</a>, and these collections partition <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvcUMxZwpEbGdrcN5Y29ycA" class="cyc_term">SoftwareObject_Individual</a>. VersionedSoftwareObject