]> 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. textually specific work TextuallySpecificWork A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvrGTP5wpEbGdrcN5Y29ycA" class="cyc_term">LiteraryWork_CW</a> with which a single complete text can be associated (via <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwMYVyZwpEbGdrcN5Y29ycA" class="cyc_term">TextOfTextuallySpecificWorkFn</a>). This is not generally true of a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvrGTP5wpEbGdrcN5Y29ycA" class="cyc_term">LiteraryWork_CW</a>, such as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjJe5wpEbGdrcN5Y29ycA" class="cyc_term">MobyDickNovel</a> (a work which has no specific text associated with it -- see the comment on <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvrGTP5wpEbGdrcN5Y29ycA" class="cyc_term">LiteraryWork_CW</a>). textually specific works Quotation The collection of all <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwHc9UZwpEbGdrcN5Y29ycA" class="cyc_term">TextuallySpecificWork</a>s consisting of a small number of sentences that are attributed to a specific individual. Although many utterance or written <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWIKZpwpEbGdrcN5Y29ycA" class="cyc_term">Statement</a> by a person may instantiate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwClAZJwpEbGdrcN5Y29ycA" class="cyc_term">ConceptualWork</a>s that may be used as a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv0p9e5wpEbGdrcN5Y29ycA" class="cyc_term">Quotation</a> of that person, unless and until such a work is recorded and so attributed it is not an instance of the collection, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv0p9e5wpEbGdrcN5Y29ycA" class="cyc_term">Quotation</a>. Every <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv0p9e5wpEbGdrcN5Y29ycA" class="cyc_term">Quotation</a> has a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv65Pt5wpEbGdrcN5Y29ycA" class="cyc_term">TextString</a> as an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rviN1rpwpEbGdrcN5Y29ycA" class="cyc_term">infoStructureOfCW</a>. The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv0p9e5wpEbGdrcN5Y29ycA" class="cyc_term">Quotation</a> is neither the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv65Pt5wpEbGdrcN5Y29ycA" class="cyc_term">TextString</a> nor the initially generated <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkNufpwpEbGdrcN5Y29ycA" class="cyc_term">InformationBearingThing</a> (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkMJJwpEbGdrcN5Y29ycA" class="cyc_term">AnimalUtterance_IBT</a> or <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWIKZpwpEbGdrcN5Y29ycA" class="cyc_term">Statement</a>), but is the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwClAZJwpEbGdrcN5Y29ycA" class="cyc_term">ConceptualWork</a> instantiated by that IBT. quotation excerpt PCW Excerpt-PCW A sub-collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rYHgktM3rEdmAAAACs6hRjg" class="cyc_term">Passage_Chapter_PCW</a>. Each instance is a passage selected from a larger conceptual work. L2R-TheBridgeCollapsedInJuly-TestParagraph00001 L 2 R The Bridge Collapsed In July Test Paragraph 00001 CycBrowserBrowserOptionsModule Cyc Browser Browser Options Module Cyc Browser Query Module CycBrowserQueryModule CycBrowserLDSCQueryToolModule Cyc Browser LDSC Query Tool Module Cyc Browsers Scenario Generation Tool Module CycBrowsersScenarioGenerationToolModule CycBrowserLocalTranscriptsViewerModule Cyc Browser Local Transcripts Viewer Module TheInsAndOutOfBeingAPigParent-Article An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvzHRG5wpEbGdrcN5Y29ycA" class="cyc_term">ExpositoryArticle</a>, about caring for the nutritional needs of your pet potbellied pig. 'The Ins and Out of Being a Pig Parent,' NAPPA (See http://www.petpigs.com/brochures/nutrition.html). DocumentDisambiguator A module of Cyc that performs word- sentence- and document-level disambiguations of text. Document Disambiguator CycBrowserLegacyAskModule Cyc Browser Legacy Ask Module An obsolete subcomponent of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rhf0KSHyKEdaAAACQJ5T1Bg" class="cyc_term">CycBrowser</a>. The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rmH7aenyKEdaAAACQJ5T1Bg" class="cyc_term">CycBrowserLegacyAskModule</a> enables a human user to use a web browser to issue queries to Cyc, and view the results and justifications. Cyc Browser Partition Load Module CycBrowserPartitionLoadModule CycBrowserNounLearnerModule Cyc Browser Noun Learner Module CycBrowserForwardInferenceBrowserModule Cyc Browser Forward Inference Browser Module CycBrowserHierarchyBrowserModule Cyc Browser Hierarchy Browser Module CycCanonicalizer The part of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjbE5wpEbGdrcN5Y29ycA" class="cyc_term">CycProgram</a> that canonicalizes <font color="#ff0000">#$ELSentence-Assertibles</font> before they become <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvV281JwpEbGdrcN5Y29ycA" class="cyc_term">CycLAssertion</a>s, tests for their well-formedness, and other similar functions. the canonicalizer A module of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvfVbYpwpEbGdrcN5Y29ycA" class="cyc_term">CycCanonicalizer</a> which simplifies EL formulas. the CycL Simplifier CycLSimplifier Cyc Browser When Module CycBrowserWhenModule 'Potbellied Pigs,' MVH (See http://www.mesavet.com/library/potbellied.htm) PotbelliedPigs-Article PeloponnesianWarHistoryByThucydides Peloponnesian War History By Thucydides Cyc Browser Compose Module CycBrowserComposeModule New York Times 2001 Text Corpus A text corpus, currently used by the noun learner. NewYorkTimes2001TextCorpus TheTwoTowers-Novel The Two Towers Cyc Browser Templatebased OE Module CycBrowserTemplate-basedOEModule Cyc Test And Query Saving And Editing Tool Interface for saving or editing instances of <font color="#ff0000">#$KBContentTest-FullySpecified</font> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZS6qVnyFEdaAAACQJ5T1Bg" class="cyc_term">CycLQuerySpecification</a>, and a component of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rhf0KSHyKEdaAAACQJ5T1Bg" class="cyc_term">CycBrowser</a>. CycTestAndQuerySavingAndEditingTool Fact Entry Tool CycBrowserFactEntryToolModule Gettysburg Address MS The manuscript of the Gettysburg Address, handwritten by Lincoln on an envelope. GettysburgAddress-MS CycBrowserQueryLibraryToolModule the Cyc query library Cyc Browser KE File Module CycBrowserKE-FileModule AdventuresOfHuckleberryFinn The Adventures Of Huckleberry Finn CycBrowserUIMMAObserverModule Cyc Browser UIMMA Observer Module the Cyc inference engine CycInferenceEngine Cyc's inference engine, parts of which include the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvfVbYpwpEbGdrcN5Y29ycA" class="cyc_term">CycCanonicalizer</a>, the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvu447ZwpEbGdrcN5Y29ycA" class="cyc_term">CycTheoremProver</a>, and all <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwOG_ZpwpEbGdrcN5Y29ycA" class="cyc_term">CycHLModule</a>s. Cyc Browser Similarity Tool Module CycBrowserSimilarityToolModule Cyc Browser KIF Utilities Module CycBrowserKIFUtilitiesModule CycBrowserSubLInteractorModule Cyc Browser Sub L Interactor Module The Lord of the Rings trilogy LordOfTheRings-Trilogy CycBrowserTermIndexOverlapModule Cyc Browser Term Index Overlap Module Cyc Browser Lexification Assistant Module CycBrowserLexificationAssistantModule SBHL SBHL stands for Subsumption-Based Heuristic Level. It is the module of Cyc's inference engine that handles reasoning about <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a>, <font color="#ff0000">#$genlAttributes</font>, etc. SBHL L 2 R The Party Happened In December Test Paragraph 00001 L2R-ThePartyHappenedInDecemberTestParagraph00001 CycBrowserTemplateParsingToolModule Cyc Browser Template Parsing Tool Module CycBrowserPhraseStructureParseModule Cyc Browser Phrase Structure Parse Module Cyc Browser Hypothesize Module CycBrowserHypothesizeModule Cyc Browser Wales Module CycBrowserWalesModule Cyc Browser History Module CycBrowserHistoryModule Cyc Browser Assert Module CycBrowserAssertModule CycBrowserPartitionSaveModule Cyc Browser Partition Save Module Cyc Browser Planner Module CycBrowserPlannerModule Cyc Browser Formula Template Editor Module CycBrowserFormulaTemplateEditorModule CycBrowserForwardingModule Cyc Browser Forwarding Module Cyc Browser One of the interfaces to the Cyc system. The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rhf0KSHyKEdaAAACQJ5T1Bg" class="cyc_term">CycBrowser</a> is an HTML-based interface which enables the user to view the contents of the Cyc KB, make changes to it, query it, and perform a whole host of other tasks. Currently the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rhf0KSHyKEdaAAACQJ5T1Bg" class="cyc_term">CycBrowser</a> is part of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjbE5wpEbGdrcN5Y29ycA" class="cyc_term">CycProgram</a>, but it is not a necessary part (i.e., it could conceivably be implemented as a separate application without sacrificing any of its functionality or of the core functionality of Cyc.) CycBrowser CycBrowserCycOntologyGrapherModule Cyc Browser Cyc Ontology Grapher Module Cyc Browser Halo Interface Module CycBrowserHaloInterfaceModule CycBrowserSKSManagerModule Cyc Browser SKS Manager Module Cyc Browser UIA Module CycBrowserUIAModule Cyc Browser Word Net Module CycBrowserWordNetModule CycUncanonicalizer The part of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjbE5wpEbGdrcN5Y29ycA" class="cyc_term">CycProgram</a> that takes HL expressions from the KB and transforms them into their canonical EL form. the uncanonicalizer CycBrowserKEReviewModule Cyc Browser KE Review Module Cyc Browser Schema Modeling Tool Module CycBrowserSchemaModelingToolModule CycBrowserKBContentTestMonitorModule Cyc Browser KB Content Test Monitor Module L 2 R NCR Utility Test Paragraph 00003 L2R-NCRUtilityTestParagraph00003 CycBrowserCRSearchModule Cyc Browser CR Search Module Cyc Browser Create Term Module CycBrowserCreateTermModule TheFellowshipOfTheRing-Novel The Fellowship of the Ring CycBrowserForwardPropogateMtModule Cyc Browser Forward Propogate Mt Module the Concept Summarizer The tool used to summarize KB information about a concept. CycConceptSummarizer Cyc Browser Sub LOOP Browser Module CycBrowserSubLOOPBrowserModule Cyc Browser Dictionary Assistant Module CycBrowserDictionaryAssistantModule Cyc Browser Typical Size Harvester Module CycBrowserTypicalSizeHarvesterModule Cyc Browser Template Matching Tool Module CycBrowserTemplateMatchingToolModule TheReturnOfTheKing-Novel The Return of the King VanityFair-TheBook Vanity Fair A module of Cyc which can be used as part of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvfVbYpwpEbGdrcN5Y29ycA" class="cyc_term">CycCanonicalizer</a> or as a stand-alone module. It reformulates EL formulas into other forms, either simpler, more terse, or more verbose, based on <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvY00RZwpEbGdrcN5Y29ycA" class="cyc_term">CycLReformulatorDirective</a>s in the KB. See <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvxcRIZwpEbGdrcN5Y29ycA" class="cyc_term">ReformulatorMode</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv9uO75wpEbGdrcN5Y29ycA" class="cyc_term">reformulationDirectionInMode</a> for more detail on what the reformulator determines to be simpler, more terse, or more verbose. the CycL Reformulator CycLReformulator CycBrowserAlphabeticalBrowser Cyc Browser Alphabetical Browser Cyc Browser Create Module CycBrowserCreateModule CycBrowserFindAssertionModule Cyc Browser Find Assertion Module CycBrowserCycNavigatorModule Cyc Browser Cyc Navigator Module TKBFactEntrySource-Book-Axis-of-Evil-Iran-Hizballah-and-the-Palestinian-Terror-the The Axis of Evil: Iran, Hizballah, and the Palestinian Terror The part of Cyc's inference engine which conducts a search through proof space to find answers to queries, using HL modules to aid its search. the Cyc theorem prover CycTheoremProver Cyc's behavior engine that interprets <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rLLv3PiQgQdiVm8JQeDtCVw" class="cyc_term">CycBehaviorLanguage</a> scripts. the Cyc behavior engine CycBehaviorEngine The part of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjbE5wpEbGdrcN5Y29ycA" class="cyc_term">CycProgram</a> that tests for well-formedness. the Cyc well-formedness checker CycWellFormednessChecker TextualPCW textual pcw A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwSZiGZwpEbGdrcN5Y29ycA" class="cyc_term">TextualPCW</a> is an abstract work whose propositional content is expressed, at least in substantial part, in text. Positive examples include instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViJb5wpEbGdrcN5Y29ycA" class="cyc_term">Novel_CW</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPkghJwpEbGdrcN5Y29ycA" class="cyc_term">Article_PCW</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjO-pwpEbGdrcN5Y29ycA" class="cyc_term">Resume</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjTypwpEbGdrcN5Y29ycA" class="cyc_term">RestaurantMenu</a>. Negative examples include episodes of an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvnewlpwpEbGdrcN5Y29ycA" class="cyc_term">TVShow_CW</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwSZiGZwpEbGdrcN5Y29ycA" class="cyc_term">TextualPCW</a>s may include non-textual components which expand on or otherwise contribute to the propositional content of the work, but the propositional content of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwSZiGZwpEbGdrcN5Y29ycA" class="cyc_term">TextualPCW</a> could, alternatively, be expressed entirely in text. ObjectType The collection of all collections that are &quot;object-like&quot; in at least one respect. A collection <code><b>COL</b></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><b>COL</b></code> is <i>not</i> itself an instance of <code><b>COL</b></code>; when this happens <code><b>COL</b></code> is said to be object-like with respect to that sense of 'part'. <p/> More precisely, for a collection <code><b>COL</b></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><b>PARTPRED</b></code> of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwgfukKs8QdePzLB9nLNpTw" class="cyc_term">properParts</a> such that, for any <code><b>OBJ1</b></code> and <code><b>OBJ2</b></code>, if <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> <b>OBJ1</b> <b>COL</b>)</code> and <code>(<b>PARTPRED</b> <b>OBJ1</b> <b>OBJ2</b>)</code> both hold, then <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> <b>OBJ2</b> <b>COL</b>)</code> does <i>not</i> hold. (Also sufficient for <code><b>COL</b></code>'s being an object-type is that there be some specialization <code><b>INVPARTPRED</b></code> of the <i>inverse</i> 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>(<b>INVPARTPRED</b> <b>OBJ2</b> <b>OBJ1</b>)</code>, with everything else remaining the same as above.) Note that neither of the above sufficient conditions for <code><b>COL</b></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 <i>nearly</i> all cases, <code><b>COL</b></code> should be considered an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>. <p/> 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 <i>not</i> 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>. <p/> 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 structurally specific work The collection of all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwClAZJwpEbGdrcN5Y29ycA" class="cyc_term">ConceptualWork</a> that are associated with a particular <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvntUR5wpEbGdrcN5Y29ycA" class="cyc_term">AbstractStructure</a>. For example, the original version of Alice In Wonderland, an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvfGrdpwpEbGdrcN5Y29ycA" class="cyc_term">StructurallySpecificWork</a>, contains a specific text, as well as a particular set of illustrations, which together comprise the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvntUR5wpEbGdrcN5Y29ycA" class="cyc_term">AbstractStructure</a> of that instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvfGrdpwpEbGdrcN5Y29ycA" class="cyc_term">StructurallySpecificWork</a>. See <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvzP-aJwpEbGdrcN5Y29ycA" class="cyc_term">containsStructure_CW</a>. StructurallySpecificWork textually specific work TextuallySpecificWork A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvrGTP5wpEbGdrcN5Y29ycA" class="cyc_term">LiteraryWork_CW</a> with which a single complete text can be associated (via <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwMYVyZwpEbGdrcN5Y29ycA" class="cyc_term">TextOfTextuallySpecificWorkFn</a>). This is not generally true of a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvrGTP5wpEbGdrcN5Y29ycA" class="cyc_term">LiteraryWork_CW</a>, such as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjJe5wpEbGdrcN5Y29ycA" class="cyc_term">MobyDickNovel</a> (a work which has no specific text associated with it -- see the comment on <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvrGTP5wpEbGdrcN5Y29ycA" class="cyc_term">LiteraryWork_CW</a>). 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 textually specific work TextuallySpecificWork A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvrGTP5wpEbGdrcN5Y29ycA" class="cyc_term">LiteraryWork_CW</a> with which a single complete text can be associated (via <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwMYVyZwpEbGdrcN5Y29ycA" class="cyc_term">TextOfTextuallySpecificWorkFn</a>). This is not generally true of a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvrGTP5wpEbGdrcN5Y29ycA" class="cyc_term">LiteraryWork_CW</a>, such as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjJe5wpEbGdrcN5Y29ycA" class="cyc_term">MobyDickNovel</a> (a work which has no specific text associated with it -- see the comment on <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvrGTP5wpEbGdrcN5Y29ycA" class="cyc_term">LiteraryWork_CW</a>).