]> 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. MachineProtocolParticipantType machine protocol participant The types of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv6ZvwZwpEbGdrcN5Y29ycA" class="cyc_term">Artifact_Agentive</a>s participating in or employing a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rxo_VAfHDEdaO6gABAkLVdg" class="cyc_term">MachineProtocol</a>. A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvzmtx5wpEbGdrcN5Y29ycA" class="cyc_term">LocalProgram</a> and an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvrxE_ZwpEbGdrcN5Y29ycA" class="cyc_term">ComputerProgramTypeByFunction</a>. Copies of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWMjUJwpEbGdrcN5Y29ycA" class="cyc_term">ClientProgram</a> are run by computers on a network with connections to computers running copies of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvV6RRJwpEbGdrcN5Y29ycA" class="cyc_term">ServerProgram</a>. Copies of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWMjUJwpEbGdrcN5Y29ycA" class="cyc_term">ClientProgram</a> request information or processing services from the copies of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvV6RRJwpEbGdrcN5Y29ycA" class="cyc_term">ServerProgram</a>, which the server then provides to the client. See, for instance, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rP_gkjjX9EdaAAAABAxv-7A" class="cyc_term">DatabaseClientProgram</a>. For relating client to their server programs, see the predicate <font color="#ff0000">#$client-Software</font>. ClientProgram client program server program A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVtUyJwpEbGdrcN5Y29ycA" class="cyc_term">NetworkingProgram</a>. Each instance of this collection is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJxiRJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerProgram_CW</a> used to process requests that come in across a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirUZwpEbGdrcN5Y29ycA" class="cyc_term">ComputerNetwork</a>. It is thus to be contrasted with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvzmtx5wpEbGdrcN5Y29ycA" class="cyc_term">LocalProgram</a>. More technically, the defining characteristic of a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvV6RRJwpEbGdrcN5Y29ycA" class="cyc_term">ServerProgram</a> is that it listens on a port. ServerProgram MachineProtocolParticipantType machine protocol participant The types of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv6ZvwZwpEbGdrcN5Y29ycA" class="cyc_term">Artifact_Agentive</a>s participating in or employing a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rxo_VAfHDEdaO6gABAkLVdg" class="cyc_term">MachineProtocol</a>. MachineProtocolParticipantType machine protocol participant The types of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv6ZvwZwpEbGdrcN5Y29ycA" class="cyc_term">Artifact_Agentive</a>s participating in or employing a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rxo_VAfHDEdaO6gABAkLVdg" class="cyc_term">MachineProtocol</a>. 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 <font color="#ff0000">#$KRAKEN</font> application to resolve natural language ambiguities. KE clarifying collection type KEClarifyingCollectionType A collection of collections of collections. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a> is the collection of all (and only) types of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a>s. More precisely, a thing COLLTYPE is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a> if and only if COLLTYPE is a non-empty collection all of whose instances are collections. Example: <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzQbJwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByCulture</a>, each of whose instances is the collection of all persons who participate in some particular human culture, is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a>. Important specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWPoRpwpEbGdrcN5Y29ycA" class="cyc_term">DisjointCollectionType</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA4pwpEbGdrcN5Y29ycA" class="cyc_term">SiblingDisjointCollectionType</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rviPYH5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionTypeType</a>. CollectionType type of collection first-order collection An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rNooX_CChEdaAAABQ2rksLw" class="cyc_term">FixedOrderCollection</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a> is the collection of all specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a> (q.v.) Notable specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViq35wpEbGdrcN5Y29ycA" class="cyc_term">TemporalObjectType</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVny6pwpEbGdrcN5Y29ycA" class="cyc_term">ExistingStuffType</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a>. FirstOrderCollection