]> 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. CycProgramModule-CW The collection of submodules of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjbE5wpEbGdrcN5Y29ycA" class="cyc_term">CycProgram</a>. Cyc Program Module CycHLModule HL module The collection of all Cyc's HL modules, which are used to perform certain types of inference efficiently. Cyc HL support module A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIjnxZwpEbGdrcN5Y29ycA" class="cyc_term">CycProgramModule_CW</a> each instance of which is a code module within the Cyc system such that, for a certain type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r8M7oBoocEdaAAACQJ5T1Bg" class="cyc_term">CycHLSupportDatastructure</a> (q.v.) claiming that some <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAoJwpEbGdrcN5Y29ycA" class="cyc_term">CycLSentence</a> has some truth value in some <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA1ZwpEbGdrcN5Y29ycA" class="cyc_term">Microtheory</a>, the code module can verify the validity of that support and generate a justification for it. CycHLSupportModule cyc term rank module The term rank module generates a term connectivity graph wherein edges join terms that are inferentially related. This graph is then passed to a randomized graph algorithm which computes an eigenvector for graph matrix. This vector represents the probability that an idealized inference engine, on a random walk of the graph will be focused on each respective term. This corresponds roughly to the importance or relevance of each term, especially with regard to a given weight vector that represents our a priori expectations of term relevance. CycTermRankModule RLModule The collection of RL Modules, which are submodules of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5UqfZwpEbGdrcN5Y29ycA" class="cyc_term">CycLReformulator</a>, each optimized to perform a specific kind of reformulation efficiently. RL Modules are similar in many ways to HL Modules. RL module CycBrowserBrowserOptionsModule Cyc Browser Browser Options Module Cyc Browsers Scenario Generation Tool Module CycBrowsersScenarioGenerationToolModule CycBrowserLDSCQueryToolModule Cyc Browser LDSC Query Tool Module Cyc Browser Query Module CycBrowserQueryModule CycBrowserLocalTranscriptsViewerModule Cyc Browser Local Transcripts Viewer Module 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. CycBrowserNounLearnerModule Cyc Browser Noun Learner Module Cyc Browser Partition Load Module CycBrowserPartitionLoadModule A testing framework which runs instances of #$KBContentTest-FullySpecified, which are tests that specify a CycL query and some expectation about the results of the query. the KB Content Test framework CycKBContentTestFramework 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 #$ELSentence-Assertibles 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 Cyc Browser Compose Module CycBrowserComposeModule Cyc Browser Templatebased OE Module CycBrowserTemplate-basedOEModule Fact Entry Tool CycBrowserFactEntryToolModule Cyc Browser KE File Module CycBrowserKE-FileModule CycBrowserQueryLibraryToolModule the Cyc query library 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 CycBrowserTermIndexOverlapModule Cyc Browser Term Index Overlap Module Cyc Browser Lexification Assistant Module CycBrowserLexificationAssistantModule CycTaskScheduler Cyc Task Scheduler A module of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjbE5wpEbGdrcN5Y29ycA" class="cyc_term">CycProgram</a> that enables one to schedule tasks through the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjqoZwpEbGdrcN5Y29ycA" class="cyc_term">CycKB</a> or directly in SubL code. The scheduling may be done so that the given task will be performed in a recurring fashion (e.g. every ten seconds, minutes, etc). Alternatively, one may schedule an operation to be performed at a certain time (e.g. 11:20pm every night or every weekday night or Thursday night, etc). See <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rNoRW9VuxEdaTMwACs0uEEQ" class="cyc_term">CycTaskSchedulerTask</a> for more on how to schedule tasks. 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>, #$genlAttributes, etc. SBHL 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 Cyc Browser Schema Modeling Tool Module CycBrowserSchemaModelingToolModule CycBrowserKEReviewModule Cyc Browser KE Review Module CycBrowserKBContentTestMonitorModule Cyc Browser KB Content Test Monitor Module CycBrowserCRSearchModule Cyc Browser CR Search Module Cyc Browser Create Term Module CycBrowserCreateTermModule CycBrowserForwardPropogateMtModule Cyc Browser Forward Propogate Mt Module 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 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 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 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv2mrxZwpEbGdrcN5Y29ycA" class="cyc_term">CycRelatedProgram</a> is the collection of computer programs including <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwBsP2pwpEbGdrcN5Y29ycA" class="cyc_term">CycEndUserApplication</a>s (such as #$ThesaurusApplication), components of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjbE5wpEbGdrcN5Y29ycA" class="cyc_term">CycProgram</a>s such as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvfVbYpwpEbGdrcN5Y29ycA" class="cyc_term">CycCanonicalizer</a>, as well as accessories to <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjbE5wpEbGdrcN5Y29ycA" class="cyc_term">CycProgram</a>s (such as #$CycorpWorkflowSystem). CycRelatedProgram Cyc-related program The subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJxiRJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerProgram_CW</a>s that are not intended to operate by themselves, but do contain procedures that can be utilized by other <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJxiRJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerProgram_CW</a>s. Positive examples: DLLs, the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvfVbYpwpEbGdrcN5Y29ycA" class="cyc_term">CycCanonicalizer</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvwjnmZwpEbGdrcN5Y29ycA" class="cyc_term">PlugInProgram</a>s. Negative examples: <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjqoZwpEbGdrcN5Y29ycA" class="cyc_term">CycKB</a>. ComputerProgramModule-CW module ObjectType The collection of all collections that are "object-like" in at least one respect. A collection <code>COL</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>COL</code> is not itself an instance of <code>COL</code>; when this happens <code>COL</code> is said to be object-like with respect to that sense of 'part'. More precisely, for a collection <code>COL</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>PARTPRED</code> of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwgfukKs8QdePzLB9nLNpTw" class="cyc_term">properParts</a> such that, for any <code>OBJ1</code> and <code>OBJ2</code>, if <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> OBJ1 COL)</code> and <code>(PARTPRED OBJ1 OBJ2)</code> both hold, then <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> OBJ2 COL)</code> does not hold. (Also sufficient for <code>COL</code>'s being an object-type is that there be some specialization <code>INVPARTPRED</code> of the inverse 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>(INVPARTPRED OBJ2 OBJ1)</code>, with everything else remaining the same as above.) Note that neither of the above sufficient conditions for <code>COL</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 nearly all cases, <code>COL</code> should be considered an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>. 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 not 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>. 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 CycProgramModule-CW Cyc Program Module The collection of submodules of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjbE5wpEbGdrcN5Y29ycA" class="cyc_term">CycProgram</a>. CycProgramModule-CW Cyc Program Module The collection of submodules of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjbE5wpEbGdrcN5Y29ycA" class="cyc_term">CycProgram</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 #$KRAKEN application to resolve natural language ambiguities. KE clarifying collection type KEClarifyingCollectionType A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIE23ZwpEbGdrcN5Y29ycA" class="cyc_term">TimeDependentCollection</a> (q.v.). This is the collection of all and only those collections <code>COL</code> such that any thing's being an instance of <code>COL</code> depends on the current state of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjqoZwpEbGdrcN5Y29ycA" class="cyc_term">CycKB</a>. Such a <code>COL</code> corresponds to a property defined (at least partly) in terms of the contents, features, or implementation of the Cyc Knowledge Base itself, as opposed to a property that "exists out there" in the KB-independent world. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvV281JwpEbGdrcN5Y29ycA" class="cyc_term">CycLAssertion</a> is a KB-dependent collection, membership in which requires of a given CycL sentence that it has in fact been asserted to the KB. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAoJwpEbGdrcN5Y29ycA" class="cyc_term">CycLSentence</a> is also KB-dependent, as being a CycL sentence requires being composed (ultimately) out of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvu6KTZwpEbGdrcN5Y29ycA" class="cyc_term">CycLReifiedDenotationalTerm</a>s (and perhaps variables) -- i.e. terms that are currently reified in the KB. Conversely, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5ddsJwpEbGdrcN5Y29ycA" class="cyc_term">Sentence</a> is not a KB-dependent collection. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvip9N5wpEbGdrcN5Y29ycA" class="cyc_term">KBDependentRelation</a>. KB dependent collection KBDependentCollection