]> 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. The international athletic competition held every four years. the Olympics OlympicGames more Olympic olympiads Olympic olympiad most Olympic the Olympic Games Olympic Games http://en.wikipedia.org/wiki/Olympic_Games http://www.w3.org/2006/03/wn/wn20/instances/synset-Olympic_Games-noun-1 The set of <a href="http://sw.opencyc.org/concept/Mx4rvVkA9pwpEbGdrcN5Y29ycA" class="cyc_term">OlympicGames</a> which occur in the summer. OlympicSummerGames the Summer Olympics the Winter Olympics OlympicWinterGames The set of <a href="http://sw.opencyc.org/concept/Mx4rvVkA9pwpEbGdrcN5Y29ycA" class="cyc_term">OlympicGames</a> which occur in the winter. The international athletic competition held every four years. the Olympics OlympicGames The international athletic competition held every four years. the Olympics OlympicGames either the Summer Olympics or the Winter Olympics (ThePartition OlympicSummerGames OlympicWinterGames) 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 seeAlsoURI <code>(<a href="http://sw.opencyc.org/concept/Mx4riWVFR6HJSpaEaHrcWS3MSA" class="cyc_term">seeAlsoURI</a> <b>THING</b> <b>URI</b>)</code> means that a description of the resource identified by URI is likely to contain information pertinent to THING. This predicate is roughly equivalent to rdfs:seeAlso. See Also URI Partitioned Into partitionedInto (<a href="http://sw.opencyc.org/concept/Mx4rvVj1MJwpEbGdrcN5Y29ycA" class="cyc_term">partitionedInto</a> SETORCOL PART) means that the mathematical set or collection PART is a partition of the mathematical set or collection SETORCOL; that is, the elements of PART are themselves mathematical sets or collections, and every element of SETORCOL is an element of exactly one element of PART, and every element of PART is a subset of SETORCOL. In other words, PART is a set or collection of pairwise disjoint sets or collections whose union is co-extensional with SETORCOL. Typically, the <a href="http://sw.opencyc.org/concept/Mx4rk8dxOVcGEdaLwgACs0uFOQ" class="cyc_term">DisjointSetOrCollectionType</a> that plays the role of PART in an assertion about partitioning will be a set specified by enumerating its elements, using the function <a href="http://sw.opencyc.org/concept/Mx4rvcUeB5wpEbGdrcN5Y29ycA" class="cyc_term">ThePartition</a>. A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVkAuZwpEbGdrcN5Y29ycA" class="cyc_term">RepeatedEventType</a> (q.v.). Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvVkAcpwpEbGdrcN5Y29ycA" class="cyc_term">RegularlyRepeatedEventType</a> is a collection of events whose instances typically occur along with other instances of the same event-type at more or less regular intervals. These regular occurrences might be the result of natural phenomena (e.g. the sunrise), human convention (e.g. the execution of a dance step within a given dancing event), or a combination of both (e.g. the annual celebration of Oktoberfest). <p/> Other examples of <a href="http://sw.opencyc.org/concept/Mx4rvVkAcpwpEbGdrcN5Y29ycA" class="cyc_term">RegularlyRepeatedEventType</a> are <a href="http://sw.opencyc.org/concept/Mx4rvVkA9pwpEbGdrcN5Y29ycA" class="cyc_term">OlympicGames</a>, <a href="http://sw.opencyc.org/concept/Mx4rEoWnqmC9QdiX4oI85208gA" class="cyc_term">AcademicTerm</a>, and <a href="http://sw.opencyc.org/concept/Mx4rvVjzhZwpEbGdrcN5Y29ycA" class="cyc_term">TakingABreath</a>. <p/> See also <a href="http://sw.opencyc.org/concept/Mx4rvfQN_5wpEbGdrcN5Y29ycA" class="cyc_term">IterativeEvent</a> and <a href="http://sw.opencyc.org/concept/Mx4rvtSe3pwpEbGdrcN5Y29ycA" class="cyc_term">IterativeEventType</a>. RegularlyRepeatedEventType periodic event 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. (CollectionUnionFn (TheSet SportsCompetition SportsEvent)) the union of { sports competition, sports event } The international athletic competition held every four years. the Olympics OlympicGames ScheduledAction scheduled activity A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVieP5wpEbGdrcN5Y29ycA" class="cyc_term">PurposefulAction</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4ru_wFahrUQdiEeecBs5LMBQ" class="cyc_term">ScheduledAction</a> is an event that is intended by some agent to occur at a certain (at least vaguely specified) time. For example, <a href="http://sw.opencyc.org/concept/Mx4rvVkA9pwpEbGdrcN5Y29ycA" class="cyc_term">OlympicGames</a> is a specialization of <a href="http://sw.opencyc.org/concept/Mx4ru_wFahrUQdiEeecBs5LMBQ" class="cyc_term">ScheduledAction</a> because a necessary condition for the occurrence of an instance of <a href="http://sw.opencyc.org/concept/Mx4rvVkA9pwpEbGdrcN5Y29ycA" class="cyc_term">OlympicGames</a> is that it be scheduled to occur. For a general script that encompasses waiting for the time of a scheduled event and its performance, see <a href="http://sw.opencyc.org/concept/Mx4rsbM_tBrfQdidb8sjUxN8bA" class="cyc_term">PerformingAScheduledAction</a>. 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 sport competition composed of multiple sports events MultiSportsEventSportsCompetition The collection of all <a href="http://sw.opencyc.org/concept/Mx4rvVi__ZwpEbGdrcN5Y29ycA" class="cyc_term">SportsCompetition</a>s which are themselves composed of multiple distinguishable <a href="http://sw.opencyc.org/concept/Mx4rvVjzBJwpEbGdrcN5Y29ycA" class="cyc_term">SportsEvent</a>s. Examplse include any particular instantiation of the Olympics, the Baseball World Series, etc. International sports competitions, including the Olympics, Wimbledon, World Figure Skating competitions, etc. InternationalSportsCompetition international competition The international athletic competition held every four years. the Olympics OlympicGames 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