]> 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. The collection of links in hypertext documents that, when the document is rendered by an appropriate program, such as a web browser, allow an end-user to open new files or view other parts of the original document. Hyperlink web link http://en.wikipedia.org/wiki/Hyperlink internet links links internet link web links link InformationBearingThing information-bearing thing A collection of spatially-localized individuals, including various actions and events as well as physical objects. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkNufpwpEbGdrcN5Y29ycA" class="cyc_term">InformationBearingThing</a> (or &quot;IBT&quot;) is an item that contains information (for an agent who knows how to interpret it). Examples: a copy of the novel <i>Moby Dick</i>; a signal buoy; a photograph; an elevator sign in Braille; a map; a US dollar bill; a resume; a musical score; copies of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjbE5wpEbGdrcN5Y29ycA" class="cyc_term">CycProgram</a>. <p/> For representations of the propositional content of information bearing things, see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAqJwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalInformationThing</a>; but note that not all IBTs have a propositional content (cf. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjHuJwpEbGdrcN5Y29ycA" class="cyc_term">ArtObject</a>). An important specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkNufpwpEbGdrcN5Y29ycA" class="cyc_term">InformationBearingThing</a> is <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj2rJwpEbGdrcN5Y29ycA" class="cyc_term">InformationBearingObject</a>, which comprises all of those IBTs that are also physical objects (i.e. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj27ZwpEbGdrcN5Y29ycA" class="cyc_term">PartiallyTangible</a>s). Though often a subtle task in particular contexts, it is important to distinguish the various specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkNufpwpEbGdrcN5Y29ycA" class="cyc_term">InformationBearingThing</a> from those of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvf9sZJwpEbGdrcN5Y29ycA" class="cyc_term">AspatialInformationStore</a> (whose instances are the chunks of information instantiated in particular IBTs; see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv8RaTpwpEbGdrcN5Y29ycA" class="cyc_term">instantiationOfAIT</a>) and from those of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwClAZJwpEbGdrcN5Y29ycA" class="cyc_term">ConceptualWork</a> (whose instances are the conceptual or artistic creations that are instantiated in particular IBTs; see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvYyDjpwpEbGdrcN5Y29ycA" class="cyc_term">instantiationOfWork</a>). <p/> For instance, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv65Pt5wpEbGdrcN5Y29ycA" class="cyc_term">TextString</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvf9sZJwpEbGdrcN5Y29ycA" class="cyc_term">AspatialInformationStore</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkEx5wpEbGdrcN5Y29ycA" class="cyc_term">TextualMaterial</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkNufpwpEbGdrcN5Y29ycA" class="cyc_term">InformationBearingThing</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwSZiGZwpEbGdrcN5Y29ycA" class="cyc_term">TextualPCW</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwClAZJwpEbGdrcN5Y29ycA" class="cyc_term">ConceptualWork</a>; to conflate any of these with another would be to make a &quot;category error&quot;. Also note that events in which information is transferred (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVifB5wpEbGdrcN5Y29ycA" class="cyc_term">InformationTransferEvent</a>) are not considered instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkNufpwpEbGdrcN5Y29ycA" class="cyc_term">InformationBearingThing</a>. Rather, such transfer events have as one of their participants (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjFpZwpEbGdrcN5Y29ycA" class="cyc_term">actors</a>) some instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkNufpwpEbGdrcN5Y29ycA" class="cyc_term">InformationBearingThing</a>; though in cases where IBTs are themselves events this will require distinguishing very finely between the event that encodes the information and the event that is the information transfer. See also the sense-modality-based specializations, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjIvpwpEbGdrcN5Y29ycA" class="cyc_term">SoundInformationBearingThing</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjPtpwpEbGdrcN5Y29ycA" class="cyc_term">VisualInformationBearingThing</a>. The collection of links in hypertext documents that, when the document is rendered by an appropriate program, such as a web browser, allow an end-user to open new files or view other parts of the original document. Hyperlink web link The collection of links in hypertext documents that, when the document is rendered by an appropriate program, such as a web browser, allow an end-user to open new files or view other parts of the original document. Hyperlink web link path that is not a loop An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwRCCC5wpEbGdrcN5Y29ycA" class="cyc_term">Path_Generic</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViOaZwpEbGdrcN5Y29ycA" class="cyc_term">Path_Simple</a> is a path with two distinct ends that do not &quot;overlap&quot; each other (in the case of spatial paths, the two ends are spatially disjoint). Since no instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViOaZwpEbGdrcN5Y29ycA" class="cyc_term">Path_Simple</a> has ends that join at one point, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViOaZwpEbGdrcN5Y29ycA" class="cyc_term">Path_Simple</a> is disjoint with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv6MSn5wpEbGdrcN5Y29ycA" class="cyc_term">Path_Cyclic</a>. Although instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViOaZwpEbGdrcN5Y29ycA" class="cyc_term">Path_Simple</a> have distinct ends, some instances may have more than two things that are its &quot;end-points&quot;. For example, a path between Austin and Pittsburgh can also be a path between Texas and Pennsylvania. Notable specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViOaZwpEbGdrcN5Y29ycA" class="cyc_term">Path_Simple</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViZ_ZwpEbGdrcN5Y29ycA" class="cyc_term">Pipe_GenericConduit</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP3lkpwpEbGdrcN5Y29ycA" class="cyc_term">Nerve</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkHdJwpEbGdrcN5Y29ycA" class="cyc_term">Stream</a>. Path-Simple A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj27ZwpEbGdrcN5Y29ycA" class="cyc_term">PartiallyTangible</a> (q.v.). Moreover, each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a> is a collection that is temporally stuff-like (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitN5wpEbGdrcN5Y29ycA" class="cyc_term">TemporalStuffType</a>) but physically-spatially object-like (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>) -- i.e. object-like with respect to some physical-spatial part-whole predicate (e.g. some specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r8a2smPXcQdiEoJhcx65EiQ" class="cyc_term">properPhysicalDecompositions</a>). <p/> Consider the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj27ZwpEbGdrcN5Y29ycA" class="cyc_term">PartiallyTangible</a>. Further, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is temporally stuff-like: any one of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA" class="cyc_term">timeSlices</a> of a given copy <code><b>COPY</b></code> of (say) &quot;Moby Dick&quot; is still a copy of &quot;Moby Dick&quot;. (Most collections of tangible objects are temporally stuff-like in this way.) But <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is spatially <i>object-like</i>: if we take a scalpel and slice <code><b>COPY</b></code> into ten pieces, each piece is not a copy of &quot;Moby Dick&quot;. So <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a>. <p/> See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVir35wpEbGdrcN5Y29ycA" class="cyc_term">StuffType</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVny6pwpEbGdrcN5Y29ycA" class="cyc_term">ExistingStuffType</a>. ExistingObjectType type of object The collection of links in hypertext documents that, when the document is rendered by an appropriate program, such as a web browser, allow an end-user to open new files or view other parts of the original document. Hyperlink web link The collection of links in hypertext documents that, when the document is rendered by an appropriate program, such as a web browser, allow an end-user to open new files or view other parts of the original document. Hyperlink web link system of devices SystemOfDevices This collection involves instances which are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjmoJwpEbGdrcN5Y29ycA" class="cyc_term">Group</a>s of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjHL5wpEbGdrcN5Y29ycA" class="cyc_term">PhysicalDevice</a>s which interact and are connected in some sort of network. Positive examples include a computer system, a telephone system, a plumbing system. Negative examples include instances of simple tools, such as a screwdriver or a hammer, which have discrete connected parts, but whose parts do not interact in any complicated way. Another negative example is a single instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjTBZwpEbGdrcN5Y29ycA" class="cyc_term">Telephone</a>. In a context of naive familiarity with the device, the telephone is not a system because its parts do not form an obvious network. 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 composite tangible and intangible thing CompositeTangibleAndIntangibleObject The collection of individuals that have both a tangible and an intangible component. Instances include people (who have bodies and minds), information bearing objects (which consist of intangible information encoded in a tangible object, such as the music on a CD or the text in a book), and many other things. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj3cZwpEbGdrcN5Y29ycA" class="cyc_term">CompositeTangibleAndIntangibleObject</a>, being partially tangible, exists in time (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a>). Although occasionally it can be useful to reify separately the tangible and intangible components of a composite object (e.g. to state certain things about Lenin's body as opposed to his mind), in most cases it is sufficient simply to reify the composite.