]> 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. Mx4rvtEvQZwpEbGdrcN5Y29ycA (<a href="http://sw.opencyc.org/2008/06/10/concept/en/containsInfoPropositional_IBT" class="cyc_term">containsInfoPropositional_IBT</a> IBT PIT) means that the <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationBearingThing" class="cyc_term">InformationBearingThing</a>, IBT, contains (at least) the propositional information in the <a href="http://sw.opencyc.org/2008/06/10/concept/en/PropositionalInformationThing" class="cyc_term">PropositionalInformationThing</a>, PIT. containsInfoPropositional-IBT contains info propositional ibt PropositionalInformationThing A specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationStore" class="cyc_term">InformationStore</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Microtheory" class="cyc_term">Microtheory</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PropositionalInformationThing" class="cyc_term">PropositionalInformationThing</a> (or &quot;PIT&quot;) is an abstract object -- a chunk of information consisting of one or more propositions. The propositional content of a PIT is not essentially encoded in any particular language, and it may be representable in many languages. PITs are used to represent the informational contents of <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationBearingThing" class="cyc_term">InformationBearingThing</a>s. Objects or events which are instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationBearingThing" class="cyc_term">InformationBearingThing</a> are linked to the abstract PIT contents they embody using the predicate <a href="http://sw.opencyc.org/2008/06/10/concept/en/containsInformation" class="cyc_term">containsInformation</a> (see also the function <a href="http://sw.opencyc.org/2008/06/10/concept/en/PITOfIBTFn" class="cyc_term">PITOfIBTFn</a>). An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PropositionalInformationThing" class="cyc_term">PropositionalInformationThing</a> may be something as simple as the information content of a command to stop one's vehicle, expressed in a road sign or in a traffic officer's gesture, or it may be something as complex as the entire contemporary knowledge of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Mathematics" class="cyc_term">Mathematics</a>, embodied in many and various sources. pit (<a href="http://sw.opencyc.org/2008/06/10/concept/en/containsInfoPropositional_IBT" class="cyc_term">containsInfoPropositional_IBT</a> IBT PIT) means that the <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationBearingThing" class="cyc_term">InformationBearingThing</a>, IBT, contains (at least) the propositional information in the <a href="http://sw.opencyc.org/2008/06/10/concept/en/PropositionalInformationThing" class="cyc_term">PropositionalInformationThing</a>, PIT. contains info propositional ibt containsInfoPropositional-IBT information-bearing thing InformationBearingThing 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/en/InformationBearingThing" 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/en/CycProgram" 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/en/PropositionalInformationThing" 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/en/ArtObject" class="cyc_term">ArtObject</a>). An important specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationBearingThing" class="cyc_term">InformationBearingThing</a> is <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationBearingObject" 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/en/PartiallyTangible" 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/en/InformationBearingThing" class="cyc_term">InformationBearingThing</a> from those of <a href="http://sw.opencyc.org/2008/06/10/concept/en/AspatialInformationStore" 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/en/instantiationOfAIT" class="cyc_term">instantiationOfAIT</a>) and from those of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ConceptualWork" 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/en/instantiationOfWork" class="cyc_term">instantiationOfWork</a>). <p/> For instance, <a href="http://sw.opencyc.org/2008/06/10/concept/en/TextString" class="cyc_term">TextString</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/AspatialInformationStore" class="cyc_term">AspatialInformationStore</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/TextualMaterial" class="cyc_term">TextualMaterial</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationBearingThing" class="cyc_term">InformationBearingThing</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/TextualPCW" class="cyc_term">TextualPCW</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ConceptualWork" 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/en/InformationTransferEvent" class="cyc_term">InformationTransferEvent</a>) are not considered instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationBearingThing" 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/en/actors" class="cyc_term">actors</a>) some instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationBearingThing" 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/en/SoundInformationBearingThing" class="cyc_term">SoundInformationBearingThing</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/VisualInformationBearingThing" class="cyc_term">VisualInformationBearingThing</a>. (<a href="http://sw.opencyc.org/2008/06/10/concept/en/containsInfoPropositional_IBT" class="cyc_term">containsInfoPropositional_IBT</a> IBT PIT) means that the <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationBearingThing" class="cyc_term">InformationBearingThing</a>, IBT, contains (at least) the propositional information in the <a href="http://sw.opencyc.org/2008/06/10/concept/en/PropositionalInformationThing" class="cyc_term">PropositionalInformationThing</a>, PIT. contains info propositional ibt containsInfoPropositional-IBT (<a href="http://sw.opencyc.org/2008/06/10/concept/en/containsInfoPropositional_IBT" class="cyc_term">containsInfoPropositional_IBT</a> IBT PIT) means that the <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationBearingThing" class="cyc_term">InformationBearingThing</a>, IBT, contains (at least) the propositional information in the <a href="http://sw.opencyc.org/2008/06/10/concept/en/PropositionalInformationThing" class="cyc_term">PropositionalInformationThing</a>, PIT. contains info propositional ibt containsInfoPropositional-IBT