]> 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. information content A binary predicate that relates instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationStore" class="cyc_term">InformationStore</a> to instances 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/containsInformation" class="cyc_term">containsInformation</a> IS INFO) means that INFO is part of the information content of the <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationStore" class="cyc_term">InformationStore</a>, IS. See also <a href="http://sw.opencyc.org/2008/06/10/concept/en/containsInfoPropositional_IBT" class="cyc_term">containsInfoPropositional_IBT</a>. For assertions that a given IBT contains information about a given <a href="http://sw.opencyc.org/2008/06/10/concept/en/Thing" class="cyc_term">Thing</a>, see <a href="http://sw.opencyc.org/2008/06/10/concept/en/containsInformationAbout" class="cyc_term">containsInformationAbout</a> and its specializations. Mx4rvVjCQJwpEbGdrcN5Y29ycA containsInformation information contents instantiationOfAIS (<a href="http://sw.opencyc.org/2008/06/10/concept/en/instantiationOfAIS" class="cyc_term">instantiationOfAIS</a> IBT AIS) means that the <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationBearingThing" class="cyc_term">InformationBearingThing</a>, IBT, instantiates the <a href="http://sw.opencyc.org/2008/06/10/concept/en/AbstractInformationStructure" class="cyc_term">AbstractInformationStructure</a>, AIS. This is the relation between the text of a hard copy of Moby Dick and the instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TextString" class="cyc_term">TextString</a> (a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/en/AbstractInformationStructure" class="cyc_term">AbstractInformationStructure</a>) which is the text of that copy. Likewise, it is the relation of a physical piece of sheet music to the intangible piece of <a href="http://sw.opencyc.org/2008/06/10/concept/en/MusicalText" class="cyc_term">MusicalText</a> that is written on that sheet. Instantiation Of AIS structureContainsCIS Structure Contains CIS <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/structureContainsCIS" class="cyc_term">structureContainsCIS</a> STRUCTURE CIS)</code> means that the instance <code>STRUCTURE</code> of <a href="http://sw.opencyc.org/2008/06/10/concept/en/AbstractStructure" class="cyc_term">AbstractStructure</a> is a structure in which <code>CIS</code> is a contextualized sub-structure. See also <a href="http://sw.opencyc.org/2008/06/10/concept/en/ContextualizedInformationStructure" class="cyc_term">ContextualizedInformationStructure</a>. Expresses Algorithms A specialization of the predicate <a href="http://sw.opencyc.org/2008/06/10/concept/en/containsInformation" class="cyc_term">containsInformation</a> that relates an <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationBearingThing" class="cyc_term">InformationBearingThing</a> (q.v.) to an <a href="http://sw.opencyc.org/2008/06/10/concept/en/Algorithm" class="cyc_term">Algorithm</a> (q.v.) that it expresses or fully describes. <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/expressesAlgorithms" class="cyc_term">expressesAlgorithms</a> IBT ALGORITHM)</code> means that <code>IBT</code> unambiguously describes each operation in <code>ALGORITHM</code>. <code>IBT</code> might be a written or spoken set of directions, an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ComputerProgramCopy" class="cyc_term">ComputerProgramCopy</a>, or something else. Any agent or machine capable of interpreting <code>IBT</code> should be able, upon doing so, actually to carry out <code>ALGORITHM</code> on any allowable input (assuming that the agent or machine possesses the knowledge or abilities required to perform each operation in <code>ALGORITHM</code>). See also the specialization <a href="http://sw.opencyc.org/2008/06/10/concept/en/expressesMaxAlgorithm" class="cyc_term">expressesMaxAlgorithm</a>. expressesAlgorithms tokensString Tokens String This predicate is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/instantiationOfAIS" class="cyc_term">instantiationOfAIS</a> that relates an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CharacterStringToken" class="cyc_term">CharacterStringToken</a> to the instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CharacterString" class="cyc_term">CharacterString</a> it tokens. (<a href="http://sw.opencyc.org/2008/06/10/concept/en/tokensString" class="cyc_term">tokensString</a> TOKEN STRING) means that TOKEN is a physical token or representation or realization of the abstract STRING. By definition, any character-string token <a href="http://sw.opencyc.org/2008/06/10/concept/en/tokensString" class="cyc_term">tokensString</a> exactly one character-string; conversely, a given character-string might be tokened by various distinct character-string tokens. Character-string tokens, like instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CharacterToken" class="cyc_term">CharacterToken</a>, come in the form of inscriptions, sounds, or electromagnetic encodings; and they often, but not always, consist in spatial or temporal series of character tokens. See also <a href="http://sw.opencyc.org/2008/06/10/concept/en/tokensCharacter" class="cyc_term">tokensCharacter</a>. Instantiation Of GIS (<a href="http://sw.opencyc.org/2008/06/10/concept/en/instantiationOfGIS" class="cyc_term">instantiationOfGIS</a> CGIBT GIS) means that CGIBT is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ChemicalGeneticIBT" class="cyc_term">ChemicalGeneticIBT</a> which instantiates GIS, an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/GeneticInformationStructure" class="cyc_term">GeneticInformationStructure</a>. An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ChemicalObject" class="cyc_term">ChemicalObject</a> not only instantiates the structure of the whole object (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/completeGISOfChem" class="cyc_term">completeGISOfChem</a>) but also is said to instantiate (using this predicate) any <a href="http://sw.opencyc.org/2008/06/10/concept/en/subGIS" class="cyc_term">subGIS</a> of that <a href="http://sw.opencyc.org/2008/06/10/concept/en/GeneticInformationStructure" class="cyc_term">GeneticInformationStructure</a>. instantiationOfGIS A binary predicate which relates instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationBearingThing" class="cyc_term">InformationBearingThing</a> to instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PropositionalInformationThing" class="cyc_term">PropositionalInformationThing</a>. (<a href="http://sw.opencyc.org/2008/06/10/concept/en/pitOfIBT" class="cyc_term">pitOfIBT</a> IS INFO) means that the <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationStore" class="cyc_term">InformationStore</a> IS contains all and only the propositional information content of the <a href="http://sw.opencyc.org/2008/06/10/concept/en/PropositionalInformationThing" class="cyc_term">PropositionalInformationThing</a>, INFO . This predicate is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/containsInformation" class="cyc_term">containsInformation</a>, which relates instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationStore" class="cyc_term">InformationStore</a> to instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/AspatialInformationStore" class="cyc_term">AspatialInformationStore</a>. pitOfIBT Pit Of IBT (<a href="http://sw.opencyc.org/2008/06/10/concept/en/instantiationOfAIT" class="cyc_term">instantiationOfAIT</a> IBT AIT) means that the <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationBearingThing" class="cyc_term">InformationBearingThing</a> IBT is an instantiation, i.e. a concrete realization, of the <a href="http://sw.opencyc.org/2008/06/10/concept/en/AspatialInformationStore" class="cyc_term">AspatialInformationStore</a> AIT. Notable specializations include <a href="http://sw.opencyc.org/2008/06/10/concept/en/instantiationOfAIS" class="cyc_term">instantiationOfAIS</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/instantiationOfGIS" class="cyc_term">instantiationOfGIS</a>. See also <a href="http://sw.opencyc.org/2008/06/10/concept/en/instantiationOfWork" class="cyc_term">instantiationOfWork</a>. instantiationOfAIT Instantiation Of AIT (<a href="http://sw.opencyc.org/2008/06/10/concept/en/physicalLogicalTableMap" class="cyc_term">physicalLogicalTableMap</a> ?PT ?LT) means that the <a href="http://sw.opencyc.org/2008/06/10/concept/en/LogicalTable" class="cyc_term">LogicalTable</a> ?LT is the information content of the particular <a href="http://sw.opencyc.org/2008/06/10/concept/en/PhysicalDBTable" class="cyc_term">PhysicalDBTable</a>, ?PT. Physical Logical Table Map physicalLogicalTableMap A <a href="http://sw.opencyc.org/2008/06/10/concept/en/BinaryPredicate" class="cyc_term">BinaryPredicate</a> which relates instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationStore" class="cyc_term">InformationStore</a> to instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/DevisedPracticeOrWork" class="cyc_term">DevisedPracticeOrWork</a>. (<a href="http://sw.opencyc.org/2008/06/10/concept/en/instantiationOfWork" class="cyc_term">instantiationOfWork</a> IS WORK) means that IS is an instantiation of the <a href="http://sw.opencyc.org/2008/06/10/concept/en/DevisedPracticeOrWork" class="cyc_term">DevisedPracticeOrWork</a>, WORK. Roughly, this is the relation that holds between any event or object (for instance, a particular copy of the novel _Moby_Dick_) and any <a href="http://sw.opencyc.org/2008/06/10/concept/en/DevisedPracticeOrWork" class="cyc_term">DevisedPracticeOrWork</a> "embodied" in this event or object (for instance, the novel _Moby_Dick_ considered qua artistic creation and independently of any printed copy of it). Examples of pairs to which this predicate applies include; any <a href="http://sw.opencyc.org/2008/06/10/concept/en/BookCopy" class="cyc_term">BookCopy</a> and any <a href="http://sw.opencyc.org/2008/06/10/concept/en/Book_CW" class="cyc_term">Book_CW</a> of which it is a copy; any <a href="http://sw.opencyc.org/2008/06/10/concept/en/GameEvent" class="cyc_term">GameEvent</a> and any <a href="http://sw.opencyc.org/2008/06/10/concept/en/Game" class="cyc_term">Game</a> which the <a href="http://sw.opencyc.org/2008/06/10/concept/en/GameEvent" class="cyc_term">GameEvent</a> is the playing of; any <a href="http://sw.opencyc.org/2008/06/10/concept/en/Medal_Physical" class="cyc_term">Medal_Physical</a> and any <a href="http://sw.opencyc.org/2008/06/10/concept/en/AwardPractice" class="cyc_term">AwardPractice</a> (like an <a href="http://sw.opencyc.org/2008/06/10/concept/en/OlympicGoldMedal" class="cyc_term">OlympicGoldMedal</a>) which that <a href="http://sw.opencyc.org/2008/06/10/concept/en/Medal_Physical" class="cyc_term">Medal_Physical</a> embodies. See also <a href="http://sw.opencyc.org/2008/06/10/concept/en/instantiationOfAIT" class="cyc_term">instantiationOfAIT</a>. Instantiation Of Work instantiationOfWork Extracted Pegs extractedPegs (<a href="http://sw.opencyc.org/2008/06/10/concept/en/containsProposition_CW" class="cyc_term">containsProposition_CW</a> WORK PROPOSITION) means that PROPOSITION is part of the information content of the <a href="http://sw.opencyc.org/2008/06/10/concept/en/PropositionalConceptualWork" class="cyc_term">PropositionalConceptualWork</a>. An analogue of <a href="http://sw.opencyc.org/2008/06/10/concept/en/containsInfoPropositional_IBT" class="cyc_term">containsInfoPropositional_IBT</a>. The latter can be used to assert that a certain concrete instantiation of a <a href="http://sw.opencyc.org/2008/06/10/concept/en/PropositionalConceptualWork" class="cyc_term">PropositionalConceptualWork</a> contains a certain piece of information. For example we can assert that a certain copy of <a href="http://sw.opencyc.org/2008/06/10/concept/en/MobyDickNovel" class="cyc_term">MobyDickNovel</a> contains the information that Captain Ahab is a ship captain: (<a href="http://sw.opencyc.org/2008/06/10/concept/en/containsInfoPropositional_IBT" class="cyc_term">containsInfoPropositional_IBT</a> Copy787OfMobyDick (<a href="http://sw.opencyc.org/2008/06/10/concept/en/isa" class="cyc_term">isa</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/CaptainAhab" class="cyc_term">CaptainAhab</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/ShipCaptain" class="cyc_term">ShipCaptain</a>)), whereas <a href="http://sw.opencyc.org/2008/06/10/concept/en/containsProposition_CW" class="cyc_term">containsProposition_CW</a> can be used to assert that the abstract work -- <a href="http://sw.opencyc.org/2008/06/10/concept/en/MobyDickNovel" class="cyc_term">MobyDickNovel</a> -- which this copy instantiates, contains the same information: (<a href="http://sw.opencyc.org/2008/06/10/concept/en/containsProposition_CW" class="cyc_term">containsProposition_CW</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/MobyDickNovel" class="cyc_term">MobyDickNovel</a> (<a href="http://sw.opencyc.org/2008/06/10/concept/en/isa" class="cyc_term">isa</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/CaptainAhab" class="cyc_term">CaptainAhab</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/ShipCaptain" class="cyc_term">ShipCaptain</a>)). Note that we assert as a default rule that any information contained in <a href="http://sw.opencyc.org/2008/06/10/concept/en/PropositionalConceptualWork" class="cyc_term">PropositionalConceptualWork</a> is contained in any instantiation of that work. For an explanation of why this rule is not monotonic, and of why we do not assert the converse, see the note on <a href="http://sw.opencyc.org/2008/06/10/concept/en/ContextOfPCWFn" class="cyc_term">ContextOfPCWFn</a>. containsProposition-CW contains proposition File Copy Contents (<a href="http://sw.opencyc.org/2008/06/10/concept/en/fileCopyContents" class="cyc_term">fileCopyContents</a> FILECOPY INFO) means that INFO is an abstract piece of information (an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/AspatialInformationStore" class="cyc_term">AspatialInformationStore</a>) contained in the <a href="http://sw.opencyc.org/2008/06/10/concept/en/ComputerFileCopy" class="cyc_term">ComputerFileCopy</a> FILECOPY. fileCopyContents subInformation (<a href="http://sw.opencyc.org/2008/06/10/concept/en/subInformation" class="cyc_term">subInformation</a> INFO SUBINFO) means that the <a href="http://sw.opencyc.org/2008/06/10/concept/en/AspatialInformationStore" class="cyc_term">AspatialInformationStore</a> SUBINFO is somehow "contained within" the <a href="http://sw.opencyc.org/2008/06/10/concept/en/AspatialInformationStore" class="cyc_term">AspatialInformationStore</a> INFO. The containment may be direct, as in the case where INFO is a concatenation of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/AspatialInformationStore" class="cyc_term">AspatialInformationStore</a>, one of which is SUBINFO; or the containment may be indirect, as in the case where SUBINFO can be inferred from INFO. See also <a href="http://sw.opencyc.org/2008/06/10/concept/en/partOfIBT" class="cyc_term">partOfIBT</a>. Sub Information Stores Information Permanently (<a href="http://sw.opencyc.org/2008/06/10/concept/en/storesInformationPermanently" class="cyc_term">storesInformationPermanently</a> IBT INFO) means that the <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationBearingThing" class="cyc_term">InformationBearingThing</a> IBT stores permanently the <a href="http://sw.opencyc.org/2008/06/10/concept/en/AspatialInformationStore" class="cyc_term">AspatialInformationStore</a> INFO. In different contexts, what counts as storing permanently will vary. The information content of a book is stored permanently compared to the information content of a chalkboard. storesInformationPermanently Primarily Contains Info primarilyContainsInfo A binary predicate that relates an <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationBearingThing" class="cyc_term">InformationBearingThing</a> (q.v.) to the <a href="http://sw.opencyc.org/2008/06/10/concept/en/AspatialInformationStore" class="cyc_term">AspatialInformationStore</a> (q.v.) that is its primary information content. <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/primarilyContainsInfo" class="cyc_term">primarilyContainsInfo</a> IBT INFO)</code> means that <code>IBT</code> contains <code>INFO</code> as its main or primary content or meaning. <code>IBT</code> might also <a href="http://sw.opencyc.org/2008/06/10/concept/en/containsInformation" class="cyc_term">containsInformation</a> additional bits of information, but not primarily. Note that <code>IBT</code>'s primary information content is supposed to be "objective" in that it is unique and such that if somebody interpreted <code>IBT</code> as primarily containing some other piece of information instead of <code>INFO</code>, s/he would be misinterpreting or incompletely interpreting <code>IBT</code>. In this way the predicate differs from its generalization <a href="http://sw.opencyc.org/2008/06/10/concept/en/containsInformation" class="cyc_term">containsInformation</a>, by which a given <code>IBT</code> can simultaneously contain different -- even conflicting -- bits of information based on the fact that different people interpret it in different ways. The relation <a href="http://sw.opencyc.org/2008/06/10/concept/en/primarilyContainsInfo" class="cyc_term">primarilyContainsInfo</a> is often referred to in ordinary English by the phrase '(overtly) means', and it is most often applied to uses of language (e.g. a written sentence). It would be misleading, however, to think of <code>IBT</code>'s primary information content as its "intended meaning", as <code>IBT</code> need not have been created or used with a direct intention on the part of some agent that it convey <code>INFO</code>. An intentionless software agent or a mechanical device, for example, might create and send a meaningful message. Cis Contains AIS cisContainsAIS <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/cisContainsAIS" class="cyc_term">cisContainsAIS</a> CIS AIS)</code> means that the instance <code>CIS</code> of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ContextualizedInformationStructure" class="cyc_term">ContextualizedInformationStructure</a> is a contextualized occurrence of <code>AIS</code>, an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/AbstractInformationStructure" class="cyc_term">AbstractInformationStructure</a>. Kb Content Test Question Content A binary predicate that relates a given <a href="http://sw.opencyc.org/2008/06/10/concept/en/KBContentTest" class="cyc_term">KBContentTest</a> (q.v.) to the propositional or otherwise intensional content (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/Information_Content" class="cyc_term">Information_Content</a>) of the question that the test is asking. <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/kbContentTestQuestion_Content" class="cyc_term">kbContentTestQuestion_Content</a> TEST CONTENT)</code> means that TEST asks about CONTENT. If the question being asked in TEST is a "Yes/No" question, then CONTENT will be a <a href="http://sw.opencyc.org/2008/06/10/concept/en/Proposition" class="cyc_term">Proposition</a>. If the question being asked in TEST is a "what things are such that" question -- i.e. a question that asks for bindings for variables -- then CONTENT will be an intensional property or propositional function. If TEST has a specific CycL sentence SENT as its <a href="http://sw.opencyc.org/2008/06/10/concept/en/InferenceSentenceParameter" class="cyc_term">InferenceSentenceParameter</a> (q.v.) value, then CONTENT will be (<a href="http://sw.opencyc.org/2008/06/10/concept/en/IntensionOfQuerySentenceFn" class="cyc_term">IntensionOfQuerySentenceFn</a> SENT): the intensional meaning of SENT with respect to its potential use in a Cyc query. If TEST is a #$KBContentTest-QueryContentOnly, then any specialization SPECTEST of TEST (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/genlKBContentTests" class="cyc_term">genlKBContentTests</a>) must have CONTENT as its question-content as well; and if SPECTEST has SPECSENT as the value of its <a href="http://sw.opencyc.org/2008/06/10/concept/en/InferenceSentenceParameter" class="cyc_term">InferenceSentenceParameter</a>, then (<a href="http://sw.opencyc.org/2008/06/10/concept/en/IntensionOfQuerySentenceFn" class="cyc_term">IntensionOfQuerySentenceFn</a> SPECSENT) will be equal to CONTENT. kbContentTestQuestion-Content Sub Expressions A predicate used to relate an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/LinguisticExpressionPeg" class="cyc_term">LinguisticExpressionPeg</a> to instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/LinguisticExpressionPeg" class="cyc_term">LinguisticExpressionPeg</a> that are introduced in the dialogue model as part of its linguistic decomposition. For example, (<a href="http://sw.opencyc.org/2008/06/10/concept/en/subExpressions" class="cyc_term">subExpressions</a> Peg001-HowMuchShouldIFeedMyDog? Peg002-MyDog) says that the linguistic peg for a particular utterance of "how much should I feed my dog?" contains a linguistic peg for "my dog." subExpressions information content A binary predicate that relates instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationStore" class="cyc_term">InformationStore</a> to instances 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/containsInformation" class="cyc_term">containsInformation</a> IS INFO) means that INFO is part of the information content of the <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationStore" class="cyc_term">InformationStore</a>, IS. See also <a href="http://sw.opencyc.org/2008/06/10/concept/en/containsInfoPropositional_IBT" class="cyc_term">containsInfoPropositional_IBT</a>. For assertions that a given IBT contains information about a given <a href="http://sw.opencyc.org/2008/06/10/concept/en/Thing" class="cyc_term">Thing</a>, see <a href="http://sw.opencyc.org/2008/06/10/concept/en/containsInformationAbout" class="cyc_term">containsInformationAbout</a> and its specializations. containsInformation information content A binary predicate that relates instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationStore" class="cyc_term">InformationStore</a> to instances 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/containsInformation" class="cyc_term">containsInformation</a> IS INFO) means that INFO is part of the information content of the <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationStore" class="cyc_term">InformationStore</a>, IS. See also <a href="http://sw.opencyc.org/2008/06/10/concept/en/containsInfoPropositional_IBT" class="cyc_term">containsInfoPropositional_IBT</a>. For assertions that a given IBT contains information about a given <a href="http://sw.opencyc.org/2008/06/10/concept/en/Thing" class="cyc_term">Thing</a>, see <a href="http://sw.opencyc.org/2008/06/10/concept/en/containsInformationAbout" class="cyc_term">containsInformationAbout</a> and its specializations. containsInformation A collection of predicates. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/NonPhysicalPartPredicate" class="cyc_term">NonPhysicalPartPredicate</a> are used to describe the relationship between a <a href="http://sw.opencyc.org/2008/06/10/concept/en/PartiallyIntangible" class="cyc_term">PartiallyIntangible</a> and its non-physical parts. nonphysical part predicate NonPhysicalPartPredicate information content A binary predicate that relates instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationStore" class="cyc_term">InformationStore</a> to instances 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/containsInformation" class="cyc_term">containsInformation</a> IS INFO) means that INFO is part of the information content of the <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationStore" class="cyc_term">InformationStore</a>, IS. See also <a href="http://sw.opencyc.org/2008/06/10/concept/en/containsInfoPropositional_IBT" class="cyc_term">containsInfoPropositional_IBT</a>. For assertions that a given IBT contains information about a given <a href="http://sw.opencyc.org/2008/06/10/concept/en/Thing" class="cyc_term">Thing</a>, see <a href="http://sw.opencyc.org/2008/06/10/concept/en/containsInformationAbout" class="cyc_term">containsInformationAbout</a> and its specializations. containsInformation information and CWs topic InformationAndCWs-Topic InformationStore store of information A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PartiallyIntangibleIndividual" class="cyc_term">PartiallyIntangibleIndividual</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationStore" class="cyc_term">InformationStore</a> is a tangible or intangible, concrete or abstract repository of information. The information stored in an information store is stored there as a consequence of the actions of one or more agents. Wholly intangible instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationStore" class="cyc_term">InformationStore</a> include instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/AspatialInformationStore" class="cyc_term">AspatialInformationStore</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/PropositionalInformationThing" class="cyc_term">PropositionalInformationThing</a>. Some instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationStore" class="cyc_term">InformationStore</a> -- namely, instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationBearingObject" class="cyc_term">InformationBearingObject</a>, such as copies of a newspaper at a newsstand -- are only partially intangible. information content A binary predicate that relates instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationStore" class="cyc_term">InformationStore</a> to instances 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/containsInformation" class="cyc_term">containsInformation</a> IS INFO) means that INFO is part of the information content of the <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationStore" class="cyc_term">InformationStore</a>, IS. See also <a href="http://sw.opencyc.org/2008/06/10/concept/en/containsInfoPropositional_IBT" class="cyc_term">containsInfoPropositional_IBT</a>. For assertions that a given IBT contains information about a given <a href="http://sw.opencyc.org/2008/06/10/concept/en/Thing" class="cyc_term">Thing</a>, see <a href="http://sw.opencyc.org/2008/06/10/concept/en/containsInformationAbout" class="cyc_term">containsInformationAbout</a> and its specializations. containsInformation AspatialInformationStore A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/AspatialThing" class="cyc_term">AspatialThing</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/IntangibleIndividual" class="cyc_term">IntangibleIndividual</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationStore" class="cyc_term">InformationStore</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/en/AspatialInformationStore" class="cyc_term">AspatialInformationStore</a> is the collection of all information stores that have no spatial location. Specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/AspatialInformationStore" class="cyc_term">AspatialInformationStore</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/ConceptualWork" class="cyc_term">ConceptualWork</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Microtheory" class="cyc_term">Microtheory</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/AbstractInformationStructure" class="cyc_term">AbstractInformationStructure</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/FieldOfStudy" class="cyc_term">FieldOfStudy</a>. Although no instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/AspatialInformationStore" class="cyc_term">AspatialInformationStore</a> has a spatial location, some instances can have multiple spatio-temporal "embodiments". For example, an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PropositionalInformationThing" class="cyc_term">PropositionalInformationThing</a> may be the content of several concrete documents, such as several instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/BookCopy" class="cyc_term">BookCopy</a> (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/containsInfoPropositional_IBT" class="cyc_term">containsInfoPropositional_IBT</a>); and several distinct events, such as spoken utterances, may have a certain unique <a href="http://sw.opencyc.org/2008/06/10/concept/en/Proposition" class="cyc_term">Proposition</a> as their content (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/containsInformation" class="cyc_term">containsInformation</a>). information prettyString (<a href="http://sw.opencyc.org/2008/06/10/concept/en/prettyString" 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/en/prettyString" 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. Pretty String