]> 2009/04/07 OpenCyc Knowledge Base Copyright© 2001-2009 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. Mappings between OpenCyc terms and Wikipedia article names provided by Olena Medelyan and Catherine Legg, University of Waikato, NZ under a Creative Commons Attribution 3.0 license. 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. WebSite website A subset of <a href="http://sw.opencyc.org/concept/Mx4rwBcktpwpEbGdrcN5Y29ycA" class="cyc_term">DynamicIndexedInfoSource</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rJtdTVoJNQdeOqaFkQvl7dw" class="cyc_term">WebSite</a> is composed of a homepage and zero or more additional instances of <a href="http://sw.opencyc.org/concept/Mx4rvXJevZwpEbGdrcN5Y29ycA" class="cyc_term">WebPage_CW</a> connected by hyperlinks to the site's homepage. A <a href="http://sw.opencyc.org/concept/Mx4rJtdTVoJNQdeOqaFkQvl7dw" class="cyc_term">WebSite</a> is maintained by a single webmaster or group of webmasters, and is thematically unified in some way, on a single computer, an intranet or on the <a href="http://sw.opencyc.org/concept/Mx4rvWQvpJwpEbGdrcN5Y29ycA" class="cyc_term">WorldWideWeb_DynamicIndexedInfoSource</a> (in which case the more specific term, <a href="http://sw.opencyc.org/concept/Mx4rvz7_25wpEbGdrcN5Y29ycA" class="cyc_term">WorldWideWebSite</a>, should be used. A <a href="http://sw.opencyc.org/concept/Mx4rJtdTVoJNQdeOqaFkQvl7dw" class="cyc_term">WebSite</a> is normally designed with the intention that a visitor will enter the site via its homepage, and navigate to other pages in the site via hyperlinks. web site web sites sites site websites

Website

http://en.wikipedia.org/wiki/Website A specialization of <a href="http://sw.opencyc.org/concept/Mx4rJtdTVoJNQdeOqaFkQvl7dw" class="cyc_term">WebSite</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rW5BJaP00EdmAAAACs6M1uw" class="cyc_term">Weblog</a> is a website containing periodic, chronologically ordered posts. These posts typically share a theme, and are typically made either by a single author, or a small group of authors. Weblog posts are often comments on material found elsewhere on the web, and usually contain hyperlinks to such material. Weblogs often allow visitors to the sites to comment on the various posts. blog Weblog online news series OnlineNewsSeries A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvaipZJwpEbGdrcN5Y29ycA" class="cyc_term">PeriodicalSeries</a> and <a href="http://sw.opencyc.org/concept/Mx4rJtdTVoJNQdeOqaFkQvl7dw" class="cyc_term">WebSite</a>. Each instance of this collection is an online source of news. This collection includes those news sources that are found only online as well as those sources provided also by newpaper and such. Commercial site The collection of all Commercial sites. A type of <a href="http://sw.opencyc.org/concept/Mx4rJtdTVoJNQdeOqaFkQvl7dw" class="cyc_term">WebSite</a>. CommercialWebSite DLA website DLAWebsite reference web site The collection of all <a href="http://sw.opencyc.org/concept/Mx4rvz7_25wpEbGdrcN5Y29ycA" class="cyc_term">WorldWideWebSite</a>s that provide a more or less non-speculative, "fact-oriented," comprehensive description of some knowledge domain. ReferenceWebSite porn website PornographicWebSite The specialization of <a href="http://sw.opencyc.org/concept/Mx4rvz7_25wpEbGdrcN5Y29ycA" class="cyc_term">WorldWideWebSite</a> whose instances have <a href="http://sw.opencyc.org/concept/Mx4rv_qQOJwpEbGdrcN5Y29ycA" class="cyc_term">PornographicMaterial</a> as their main content. <a href="http://sw.opencyc.org/concept/Mx4rvz7_25wpEbGdrcN5Y29ycA" class="cyc_term">WorldWideWebSite</a> is the subset of <a href="http://sw.opencyc.org/concept/Mx4rJtdTVoJNQdeOqaFkQvl7dw" class="cyc_term">WebSite</a>s accessible from the <a href="http://sw.opencyc.org/concept/Mx4rvWQvpJwpEbGdrcN5Y29ycA" class="cyc_term">WorldWideWeb_DynamicIndexedInfoSource</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvz7_25wpEbGdrcN5Y29ycA" class="cyc_term">WorldWideWebSite</a> is composed of a homepage and zero or more additional instances of <a href="http://sw.opencyc.org/concept/Mx4rvXJevZwpEbGdrcN5Y29ycA" class="cyc_term">WebPage_CW</a> connected by hyperlinks to the site's homepage. A <a href="http://sw.opencyc.org/concept/Mx4rvz7_25wpEbGdrcN5Y29ycA" class="cyc_term">WorldWideWebSite</a> is maintained by a single webmaster or group of webmasters, and is thematically unified in some way, often as an individual's or corporation's 'presence' on the <a href="http://sw.opencyc.org/concept/Mx4rvWQvpJwpEbGdrcN5Y29ycA" class="cyc_term">WorldWideWeb_DynamicIndexedInfoSource</a>. A <a href="http://sw.opencyc.org/concept/Mx4rvz7_25wpEbGdrcN5Y29ycA" class="cyc_term">WorldWideWebSite</a> is designed with the intention that a visitor will enter the site via its homepage, and navigate to other pages in the site via hyperlinks. WorldWideWebSite web site online casino The collection of <a href="http://sw.opencyc.org/concept/Mx4rvz7_25wpEbGdrcN5Y29ycA" class="cyc_term">WorldWideWebSite</a>s that feature opportunities to gamble. OnlineCasino ChildrensWebSite kids' web site The collection of <a href="http://sw.opencyc.org/concept/Mx4rvz7_25wpEbGdrcN5Y29ycA" class="cyc_term">WorldWideWebSite</a>s that have content which is geared toward children. Adult Check site The specialization of <a href="http://sw.opencyc.org/concept/Mx4rvz7_25wpEbGdrcN5Y29ycA" class="cyc_term">WorldWideWebSite</a> whose instances use <a href="http://sw.opencyc.org/concept/Mx4rv4FKxZwpEbGdrcN5Y29ycA" class="cyc_term">AdultCheck</a> to verify that visitors are of legal age. AdultCheckWebSite <a href="http://sw.opencyc.org/concept/Mx4rVqgzG40DQA6335ROhECIlA" class="cyc_term">GovTrack_CW</a> is an online source of information about the <a href="http://sw.opencyc.org/concept/Mx4rwP1W2JwpEbGdrcN5Y29ycA" class="cyc_term">USCongress</a>. GovTrack-CW GovTrack the Project Gutenberg Catalog <a href="http://sw.opencyc.org/concept/Mx4r3xfjSTjVS8C9uMNw3tI3YA" class="cyc_term">ProjectGutenbergCatalog_CW</a> is an online source of information about <a href="http://sw.opencyc.org/concept/Mx4rvVjmq5wpEbGdrcN5Y29ycA" class="cyc_term">Book_CW</a>s, especially ones in the public domain. ProjectGutenbergCatalog-CW An instance of <a href="http://sw.opencyc.org/concept/Mx4rJtdTVoJNQdeOqaFkQvl7dw" class="cyc_term">WebSite</a>. BBC Online BBCOnline DB pedia OWL class DBPediaOWLClass A collection of collections. Each instance of this collection is a collection that corresponds to one of the classes in the DBPedia ontology. Pretty String (<a href="http://sw.opencyc.org/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/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 quotedIsa A binary <a href="http://sw.opencyc.org/concept/Mx4rDeDIGEW0EdaAAACgydogAg" class="cyc_term">MetaLanguagePredicate</a> (q.v.) that relates CycL expressions to the <a href="http://sw.opencyc.org/concept/Mx4raOoTci9qEdma4AACs1uxFw" class="cyc_term">SubLExpressionType</a>s (q.v.) of which they are instances. <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> is thus like a restricted version of <a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> (q.v.), but with one important difference: the first argument-place of <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> is "implicitly quoted" (see <a href="http://sw.opencyc.org/concept/Mx4rwHb_bZwpEbGdrcN5Y29ycA" class="cyc_term">quotedArgument</a>). So a ground atomic sentence of the form <code>(<a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> THING EXPR-TYPE)</code> does not mean that <code>THING</code> itself is an instance of <code>EXPR-TYPE</code>. Rather, such a sentence is partly self-referential, and means that the particular CycL expression appearing in the sentence's own first argument-position is an instance of <code>EXPR-TYPE</code>. Thus, <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> provides a convenient shorthand for stating certain things that would otherwise require explicit quotation (or some other device for naming expressions). This is better illustrated with a specific example. Suppose we wish to state that the CycL constant <code><a href="http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA" class="cyc_term">IndianOcean</a></code> is an instance of the CycL expression type #$PublicConstant. We cannot express this with the straightforward <a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> sentence <code>(<a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> <a href="http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA" class="cyc_term">IndianOcean</a> #$PublicConstant)</code>, as that states the falsehood that the IndianOcean itself -- which is not a constant but a body of water -- is a public constant. But we can express precisely what we want like this: <pre> (<a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> <a href="http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA" class="cyc_term">IndianOcean</a> #$PublicConstant) . </pre> Now <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> is a <a href="http://sw.opencyc.org/concept/Mx4rv4oJWZwpEbGdrcN5Y29ycA" class="cyc_term">MacroRelation</a> (q.v.), and by its <a href="http://sw.opencyc.org/concept/Mx4rvVjg7JwpEbGdrcN5Y29ycA" class="cyc_term">expansion</a> any given <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> sentence is equivalent to some <a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> sentence with an explicitly quoted first argument. The sentence displayed above turns out to be equivalent to: <pre> (<a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> (<a href="http://sw.opencyc.org/concept/Mx4rgGBbEkNuEdaAAACgydogAg" class="cyc_term">Quote</a> <a href="http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA" class="cyc_term">IndianOcean</a>) #$PublicConstant). </pre> But the <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> version has two related practical advantages over the <a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> version. First, the former is syntactically simpler than the latter. Second, the simpler syntax of the former makes it easier to browse in the Knowedge Base: while the <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> version is conveniently indexed under the KB Browser page for the constant <code><a href="http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA" class="cyc_term">IndianOcean</a></code>, the <a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> version would apparently be indexed under a separate, brand new page for the term <code>(<a href="http://sw.opencyc.org/concept/Mx4rgGBbEkNuEdaAAACgydogAg" class="cyc_term">Quote</a> <a href="http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA" class="cyc_term">IndianOcean</a>)</code>. Generalizing the point, <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> lets us avoid having potentially to double the number of pages currently in the browser. For the semantically more complicated (but rarely encountered) case in which <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a>'s first argument-place is filled with an open expression, see the accompanying #$cyclistNotes. Quoted Isa website WebSite A subset of <a href="http://sw.opencyc.org/concept/Mx4rwBcktpwpEbGdrcN5Y29ycA" class="cyc_term">DynamicIndexedInfoSource</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rJtdTVoJNQdeOqaFkQvl7dw" class="cyc_term">WebSite</a> is composed of a homepage and zero or more additional instances of <a href="http://sw.opencyc.org/concept/Mx4rvXJevZwpEbGdrcN5Y29ycA" class="cyc_term">WebPage_CW</a> connected by hyperlinks to the site's homepage. A <a href="http://sw.opencyc.org/concept/Mx4rJtdTVoJNQdeOqaFkQvl7dw" class="cyc_term">WebSite</a> is maintained by a single webmaster or group of webmasters, and is thematically unified in some way, on a single computer, an intranet or on the <a href="http://sw.opencyc.org/concept/Mx4rvWQvpJwpEbGdrcN5Y29ycA" class="cyc_term">WorldWideWeb_DynamicIndexedInfoSource</a> (in which case the more specific term, <a href="http://sw.opencyc.org/concept/Mx4rvz7_25wpEbGdrcN5Y29ycA" class="cyc_term">WorldWideWebSite</a>, should be used. A <a href="http://sw.opencyc.org/concept/Mx4rJtdTVoJNQdeOqaFkQvl7dw" class="cyc_term">WebSite</a> is normally designed with the intention that a visitor will enter the site via its homepage, and navigate to other pages in the site via hyperlinks. website WebSite A subset of <a href="http://sw.opencyc.org/concept/Mx4rwBcktpwpEbGdrcN5Y29ycA" class="cyc_term">DynamicIndexedInfoSource</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rJtdTVoJNQdeOqaFkQvl7dw" class="cyc_term">WebSite</a> is composed of a homepage and zero or more additional instances of <a href="http://sw.opencyc.org/concept/Mx4rvXJevZwpEbGdrcN5Y29ycA" class="cyc_term">WebPage_CW</a> connected by hyperlinks to the site's homepage. A <a href="http://sw.opencyc.org/concept/Mx4rJtdTVoJNQdeOqaFkQvl7dw" class="cyc_term">WebSite</a> is maintained by a single webmaster or group of webmasters, and is thematically unified in some way, on a single computer, an intranet or on the <a href="http://sw.opencyc.org/concept/Mx4rvWQvpJwpEbGdrcN5Y29ycA" class="cyc_term">WorldWideWeb_DynamicIndexedInfoSource</a> (in which case the more specific term, <a href="http://sw.opencyc.org/concept/Mx4rvz7_25wpEbGdrcN5Y29ycA" class="cyc_term">WorldWideWebSite</a>, should be used. A <a href="http://sw.opencyc.org/concept/Mx4rJtdTVoJNQdeOqaFkQvl7dw" class="cyc_term">WebSite</a> is normally designed with the intention that a visitor will enter the site via its homepage, and navigate to other pages in the site via hyperlinks. website WebSite A subset of <a href="http://sw.opencyc.org/concept/Mx4rwBcktpwpEbGdrcN5Y29ycA" class="cyc_term">DynamicIndexedInfoSource</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rJtdTVoJNQdeOqaFkQvl7dw" class="cyc_term">WebSite</a> is composed of a homepage and zero or more additional instances of <a href="http://sw.opencyc.org/concept/Mx4rvXJevZwpEbGdrcN5Y29ycA" class="cyc_term">WebPage_CW</a> connected by hyperlinks to the site's homepage. A <a href="http://sw.opencyc.org/concept/Mx4rJtdTVoJNQdeOqaFkQvl7dw" class="cyc_term">WebSite</a> is maintained by a single webmaster or group of webmasters, and is thematically unified in some way, on a single computer, an intranet or on the <a href="http://sw.opencyc.org/concept/Mx4rvWQvpJwpEbGdrcN5Y29ycA" class="cyc_term">WorldWideWeb_DynamicIndexedInfoSource</a> (in which case the more specific term, <a href="http://sw.opencyc.org/concept/Mx4rvz7_25wpEbGdrcN5Y29ycA" class="cyc_term">WorldWideWebSite</a>, should be used. A <a href="http://sw.opencyc.org/concept/Mx4rJtdTVoJNQdeOqaFkQvl7dw" class="cyc_term">WebSite</a> is normally designed with the intention that a visitor will enter the site via its homepage, and navigate to other pages in the site via hyperlinks. dynamic indexed info source DynamicIndexedInfoSource The collection of <a href="http://sw.opencyc.org/concept/Mx4rwD_r7ZwpEbGdrcN5Y29ycA" class="cyc_term">IndexedInformationSource</a>s for which the associated indexing may change over time. For each <a href="http://sw.opencyc.org/concept/Mx4rwD_r7ZwpEbGdrcN5Y29ycA" class="cyc_term">IndexedInformationSource</a>, and for each time, there is a characteristic function associating index terms with the pieces of information indexed by that <a href="http://sw.opencyc.org/concept/Mx4rwD_r7ZwpEbGdrcN5Y29ycA" class="cyc_term">IndexedInformationSource</a> (see <a href="http://sw.opencyc.org/concept/Mx4rvViBCZwpEbGdrcN5Y29ycA" class="cyc_term">comment</a> on <a href="http://sw.opencyc.org/concept/Mx4rwD_r7ZwpEbGdrcN5Y29ycA" class="cyc_term">IndexedInformationSource</a>). For any <a href="http://sw.opencyc.org/concept/Mx4rwBcktpwpEbGdrcN5Y29ycA" class="cyc_term">DynamicIndexedInfoSource</a>, the indexing of information may change over time. Each <a href="http://sw.opencyc.org/concept/Mx4rwBcktpwpEbGdrcN5Y29ycA" class="cyc_term">DynamicIndexedInfoSource</a> is such that it may have various characteristic functions over the course of its existence. This can happen in several ways: New information is added to the source and is indexed by some new terms; the index terms and information in the source remain the same, but the indexing changes; information or terms are removed from the source. The OED, considered as a single work that has been modified over time, is an example of an <a href="http://sw.opencyc.org/concept/Mx4rwBcktpwpEbGdrcN5Y29ycA" class="cyc_term">DynamicIndexedInfoSource</a> -- the amount of information (the number of definintions) in this source has increased, and the number of index terms (the number of words defined) has also increased. Another example is the <a href="http://sw.opencyc.org/concept/Mx4rvWQvpJwpEbGdrcN5Y29ycA" class="cyc_term">WorldWideWeb_DynamicIndexedInfoSource</a>. This <a href="http://sw.opencyc.org/concept/Mx4rwBcktpwpEbGdrcN5Y29ycA" class="cyc_term">DynamicIndexedInfoSource</a> associates, at a given time, certain peices of information (web pages) with certain addresses (URLs). At a later time it may associate a new web page with a previously unused URL, or it may associate an existing web page with a URL previously used for a different web page. website WebSite A subset of <a href="http://sw.opencyc.org/concept/Mx4rwBcktpwpEbGdrcN5Y29ycA" class="cyc_term">DynamicIndexedInfoSource</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rJtdTVoJNQdeOqaFkQvl7dw" class="cyc_term">WebSite</a> is composed of a homepage and zero or more additional instances of <a href="http://sw.opencyc.org/concept/Mx4rvXJevZwpEbGdrcN5Y29ycA" class="cyc_term">WebPage_CW</a> connected by hyperlinks to the site's homepage. A <a href="http://sw.opencyc.org/concept/Mx4rJtdTVoJNQdeOqaFkQvl7dw" class="cyc_term">WebSite</a> is maintained by a single webmaster or group of webmasters, and is thematically unified in some way, on a single computer, an intranet or on the <a href="http://sw.opencyc.org/concept/Mx4rvWQvpJwpEbGdrcN5Y29ycA" class="cyc_term">WorldWideWeb_DynamicIndexedInfoSource</a> (in which case the more specific term, <a href="http://sw.opencyc.org/concept/Mx4rvz7_25wpEbGdrcN5Y29ycA" class="cyc_term">WorldWideWebSite</a>, should be used. A <a href="http://sw.opencyc.org/concept/Mx4rJtdTVoJNQdeOqaFkQvl7dw" class="cyc_term">WebSite</a> is normally designed with the intention that a visitor will enter the site via its homepage, and navigate to other pages in the site via hyperlinks. A specialization of <a href="http://sw.opencyc.org/concept/Mx4rtM0npht0QdiUF94Dipp7Pg" class="cyc_term">TemporallyExistingThing</a> whose instances are more or less static, as compared (e.g.) to the more dynamic instances of <a href="http://sw.opencyc.org/concept/Mx4rvViADZwpEbGdrcN5Y29ycA" class="cyc_term">Event</a>. The clearest examples of <a href="http://sw.opencyc.org/concept/Mx4rvVi255wpEbGdrcN5Y29ycA" class="cyc_term">SomethingExisting</a>s are tangible things, such as people, lakes, stars, and the Earth's ionosphere. But <a href="http://sw.opencyc.org/concept/Mx4rvVi255wpEbGdrcN5Y29ycA" class="cyc_term">SomethingExisting</a> also includes certain intangible temporal things, such as <a href="http://sw.opencyc.org/concept/Mx4rvVivo5wpEbGdrcN5Y29ycA" class="cyc_term">Agreement</a>s and <a href="http://sw.opencyc.org/concept/Mx4rvVi_0JwpEbGdrcN5Y29ycA" class="cyc_term">Obligation</a>s, that remain relatively stable throughout their lifetimes. On the other hand, <a href="http://sw.opencyc.org/concept/Mx4rvVi255wpEbGdrcN5Y29ycA" class="cyc_term">SomethingExisting</a> excludes "purely temporal" intangibles such as <a href="http://sw.opencyc.org/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a>s. thing existing stably in time SomethingExisting website WebSite A subset of <a href="http://sw.opencyc.org/concept/Mx4rwBcktpwpEbGdrcN5Y29ycA" class="cyc_term">DynamicIndexedInfoSource</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rJtdTVoJNQdeOqaFkQvl7dw" class="cyc_term">WebSite</a> is composed of a homepage and zero or more additional instances of <a href="http://sw.opencyc.org/concept/Mx4rvXJevZwpEbGdrcN5Y29ycA" class="cyc_term">WebPage_CW</a> connected by hyperlinks to the site's homepage. A <a href="http://sw.opencyc.org/concept/Mx4rJtdTVoJNQdeOqaFkQvl7dw" class="cyc_term">WebSite</a> is maintained by a single webmaster or group of webmasters, and is thematically unified in some way, on a single computer, an intranet or on the <a href="http://sw.opencyc.org/concept/Mx4rvWQvpJwpEbGdrcN5Y29ycA" class="cyc_term">WorldWideWeb_DynamicIndexedInfoSource</a> (in which case the more specific term, <a href="http://sw.opencyc.org/concept/Mx4rvz7_25wpEbGdrcN5Y29ycA" class="cyc_term">WorldWideWebSite</a>, should be used. A <a href="http://sw.opencyc.org/concept/Mx4rJtdTVoJNQdeOqaFkQvl7dw" class="cyc_term">WebSite</a> is normally designed with the intention that a visitor will enter the site via its homepage, and navigate to other pages in the site via hyperlinks. clarifying collection type ClarifyingCollectionType A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a>. Instances are collections that are usefully invoked for purposes of resolving ambiguity and confusion that arise from the use of non-perspicuous languages. Suppose a human or other intelligent agent uses a language, such as a natural language, that is rife with ambiguity, and uses a word WORD of that language whose intended reference is unclear: in the context WORD might refer to THING1 or to THING2, but not both. One strategy for resolving this ambiguity is to find properties of THING1 and THING2, say P1 and P2, that distinguish them from one another, and ask the speaker whether by "WORD," s/he intended to refer to something with P1, or to something with P2. For example, the speaker might use the word "bank," and in response one might ask whether a financial institution or a piece of shoreline was meant. Clearly, what values of P1 and P2 are chosen cannot be arbitrary; asking whether the speaker meant to refer to a multi-individual agent versus a non-agentive place is not as effective as asking the speaker to choose between the "financial institution" and "shoreline" interpretations described above. Instances of <a href="http://sw.opencyc.org/concept/Mx4r_4bScKNtQdiVw7XtX-HN0Q" class="cyc_term">ClarifyingCollectionType</a> just are those collections -- such as the collection of financial institutions -- that might plausibly be invoked to resolve cases of ambiguity of the kind described here. In particular, suppose TYPE1 is an instance of <a href="http://sw.opencyc.org/concept/Mx4r_4bScKNtQdiVw7XtX-HN0Q" class="cyc_term">ClarifyingCollectionType</a> and TYPE2 is not, and THING is an instance of both TYPE1 and TYPE2. The fact that (<a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> TYPE1 <a href="http://sw.opencyc.org/concept/Mx4r_4bScKNtQdiVw7XtX-HN0Q" class="cyc_term">ClarifyingCollectionType</a>) is a reason to prefer TYPE1 over TYPE2 when calculating possible clarifying properties for THING. ObjectType type of object 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/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/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/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/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/concept/Mx4rwgfukKs8QdePzLB9nLNpTw" class="cyc_term">properParts</a> (see <a href="http://sw.opencyc.org/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/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>. Here are two examples. Consider <a href="http://sw.opencyc.org/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/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/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/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA" class="cyc_term">Automobile</a> is an <a href="http://sw.opencyc.org/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>. Consider <a href="http://sw.opencyc.org/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarYear</a>. No proper <a href="http://sw.opencyc.org/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA" class="cyc_term">timeSlices</a> of a year is itself a year. So <a href="http://sw.opencyc.org/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarYear</a> is an <a href="http://sw.opencyc.org/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>. See <a href="http://sw.opencyc.org/concept/Mx4rvVir35wpEbGdrcN5Y29ycA" class="cyc_term">StuffType</a> for the contrasting (though not disjoint) notion of being stuff-like. wikipediaArticleName (<a href="http://sw.opencyc.org/concept/Mx4rTv-jk9SPTXa991kk5mAvHg" class="cyc_term">wikipediaArticleName</a> THING NAME) means that in <a href="http://sw.opencyc.org/concept/Mx4rtqXA6OC8QdiWC72DuLJdUw" class="cyc_term">Wikipedia_WebSite</a> THING is described by an article with the title NAME Wikipedia Article Name Wikipedia Article URL (<a href="http://sw.opencyc.org/concept/Mx4rNv0nbm4TTjOp7yhmnzOyqg" class="cyc_term">wikipediaArticleURL</a> THING URL) means that in <a href="http://sw.opencyc.org/concept/Mx4rtqXA6OC8QdiWC72DuLJdUw" class="cyc_term">Wikipedia_WebSite</a> THING is described by an article located at URL wikipediaArticleURL extracted by noun learner from motley fool UK corpus ExtractedByNounLearnerFromMotleyFoolUKCorpus