]> 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. A sports event where the competitors attempt to travel as fast as possible over some distance. They are typically constrained in the mode of travel and the course to be traveled. RacingSportsEvent racing http://en.wikipedia.org/wiki/Racing_game has raced race have raced had raced races raced will race will have raced bobsledding The collection of bobsled competitions BobsledSportsEvent horse racing HorseRacingEvent The collection of all horse racing. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViTdZwpEbGdrcN5Y29ycA" class="cyc_term">RacingSportsEvent</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv6tMRpwpEbGdrcN5Y29ycA" class="cyc_term">HorseRacingEvent</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi6y5wpEbGdrcN5Y29ycA" class="cyc_term">SportsCategoryType</a>. A luge sled is raced down a bobsled run LugeSportsEvent luge sports event The collection of all motocross racing. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjLfpwpEbGdrcN5Y29ycA" class="cyc_term">LicenseRequiringActivity</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViTdZwpEbGdrcN5Y29ycA" class="cyc_term">RacingSportsEvent</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViTMpwpEbGdrcN5Y29ycA" class="cyc_term">OutdoorSportsEvent</a>. motocross racing MotoCrossRacing SledDogRacingEvent The collection of all sled dog racing. A type of riding a sled, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViTdZwpEbGdrcN5Y29ycA" class="cyc_term">RacingSportsEvent</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvftnMJwpEbGdrcN5Y29ycA" class="cyc_term">PullingAnObjectAlongWith</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvjppKpwpEbGdrcN5Y29ycA" class="cyc_term">SledDogRacingEvent</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi6y5wpEbGdrcN5Y29ycA" class="cyc_term">SportsCategoryType</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvm8XOpwpEbGdrcN5Y29ycA" class="cyc_term">LearnedActivityType</a>. sled dog racing Each <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvuW5spwpEbGdrcN5Y29ycA" class="cyc_term">TriathlonSportsEvent</a> is a sports competition with three segments in which each competitor competes. Very typically, the segments involve a foot race, a bicycle race, and a swimming race. triathlon TriathlonSportsEvent speed skating competition SpeedSkatingSportsEvent The collection of speed skating competitions GreyhoundRacingEvent The collection of all greyhound racing events. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViTdZwpEbGdrcN5Y29ycA" class="cyc_term">RacingSportsEvent</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJFsBJwpEbGdrcN5Y29ycA" class="cyc_term">GreyhoundRacingEvent</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi6y5wpEbGdrcN5Y29ycA" class="cyc_term">SportsCategoryType</a>. dog racing YachtingSportsEvent The collection of all sailing competitions yachting sports event The collection of all adventure racing. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvxi7yJwpEbGdrcN5Y29ycA" class="cyc_term">ExtremeSportsEvent</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjx_JwpEbGdrcN5Y29ycA" class="cyc_term">TeamSportsCompetition</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViTdZwpEbGdrcN5Y29ycA" class="cyc_term">RacingSportsEvent</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViTMpwpEbGdrcN5Y29ycA" class="cyc_term">OutdoorSportsEvent</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvaYqyZwpEbGdrcN5Y29ycA" class="cyc_term">AdventureRace_SportsEvent</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi6y5wpEbGdrcN5Y29ycA" class="cyc_term">SportsCategoryType</a>. adventure racing AdventureRace-SportsEvent swimming race SwimmingRaceEvent Swimming races (not syncronized swimming or water polo). rowing sports event RowingSportsEvent Rowing sports events, of the kind in the Olympic Games. In the Olympics, all the men's events are on a 2000-meter course and all the women's events are on a 1000-meter course. canoeing sports event CanoeingSportsEvent A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPjeXpwpEbGdrcN5Y29ycA" class="cyc_term">BoatingSportsEvent</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViTdZwpEbGdrcN5Y29ycA" class="cyc_term">RacingSportsEvent</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjxv5wpEbGdrcN5Y29ycA" class="cyc_term">EnduranceEvent</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjsw5wpEbGdrcN5Y29ycA" class="cyc_term">CanoeingSportsEvent</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi6y5wpEbGdrcN5Y29ycA" class="cyc_term">SportsCategoryType</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbVrl5wpEbGdrcN5Y29ycA" class="cyc_term">SkilledActivityType</a>. speed walking The collection of all speed walking. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv1-RmpwpEbGdrcN5Y29ycA" class="cyc_term">SportWalkingEvent</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViTdZwpEbGdrcN5Y29ycA" class="cyc_term">RacingSportsEvent</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvZiIApwpEbGdrcN5Y29ycA" class="cyc_term">RaceWalkingEvent</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi6y5wpEbGdrcN5Y29ycA" class="cyc_term">SportsCategoryType</a>. RaceWalkingEvent CarRacing The collection of all car racing events. A type of transportation by means of cars, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViTdZwpEbGdrcN5Y29ycA" class="cyc_term">RacingSportsEvent</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViTMpwpEbGdrcN5Y29ycA" class="cyc_term">OutdoorSportsEvent</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjLfpwpEbGdrcN5Y29ycA" class="cyc_term">LicenseRequiringActivity</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVizPpwpEbGdrcN5Y29ycA" class="cyc_term">CarRacing</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbVrl5wpEbGdrcN5Y29ycA" class="cyc_term">SkilledActivityType</a>. car racing cross country skiing sports event CrossCountrySkiingSportsEvent The NordicSkiingSportsEvents that are cross country ski races A race in which a team of athletes competes, taking turns performing, and their combined times are used to determine the team's standing. RelayRaceSportsEvent relay race The collection of all cycling events. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViTMpwpEbGdrcN5Y29ycA" class="cyc_term">OutdoorSportsEvent</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViTdZwpEbGdrcN5Y29ycA" class="cyc_term">RacingSportsEvent</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVil5JwpEbGdrcN5Y29ycA" class="cyc_term">CyclingSportsEvent</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi6y5wpEbGdrcN5Y29ycA" class="cyc_term">SportsCategoryType</a>. CyclingSportsEvent cycling event alpine skiing event The collection of downhill skiing sports competitions. AlpineSkiingSportsEvent WinstonCupRace winston cup race A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViTdZwpEbGdrcN5Y29ycA" class="cyc_term">RacingSportsEvent</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjz6JwpEbGdrcN5Y29ycA" class="cyc_term">TrackSportsEvent</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj1NJwpEbGdrcN5Y29ycA" class="cyc_term">RunningSportsEvent</a> is ann event in which the winning competitor is the individual or team who traverses a certain distance in a specific amount of time. running event RunningSportsEvent A sports event where the competitors attempt to travel as fast as possible over some distance. They are typically constrained in the mode of travel and the course to be traveled. RacingSportsEvent racing A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a> (q.v.) whose instances are all and only those collections that are temporally object-like. A collection <code>COL</code> is temporally object-like just in case it generally holds that any proper purely temporal parts (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA" class="cyc_term">timeSlices</a>) of an instance of <code>COL</code> is not itself an instance of <code>COL</code>. More precisely, a collection <code>COL</code> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViq35wpEbGdrcN5Y29ycA" class="cyc_term">TemporalObjectType</a> just in case it satisfies the following: For any distinct <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>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA" class="cyc_term">timeSlices</a> OBJ1 OBJ2)</code>, then not <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> OBJ2 COL)</code>. For example, none of the proper time-slices of a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarYear</a> is itself a calendar year. Likewise for <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViYBpwpEbGdrcN5Y29ycA" class="cyc_term">TakingAStep</a>. So <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarYear</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViYBpwpEbGdrcN5Y29ycA" class="cyc_term">TakingAStep</a> are both instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViq35wpEbGdrcN5Y29ycA" class="cyc_term">TemporalObjectType</a>. Conversely, a proper time-slice of a given <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVisWZwpEbGdrcN5Y29ycA" class="cyc_term">Date</a> might itself be a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVisWZwpEbGdrcN5Y29ycA" class="cyc_term">Date</a> (e.g. an hour has minutes and seconds as time-slices); so <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVisWZwpEbGdrcN5Y29ycA" class="cyc_term">Date</a> is not a temporal-object-type. See <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitN5wpEbGdrcN5Y29ycA" class="cyc_term">TemporalStuffType</a> for the disjoint notion of being temporally stuff-like. TemporalObjectType temporal object type <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw" class="cyc_term">broaderTerm</a> TERM1 TERM2)</code> means that <code>TERM2</code> is broader than <code>TERM1</code>, in an extremely general sense of "broader". For example, <code>TERM2</code> is, in the relevant sense, broader than <code>TERM1</code> if any of the following hold: <code>TERM2</code> is a collection that subsumes <code>TERM1</code>; <code>TERM2</code> is a collection that has <code>TERM1</code> as an instance; <code>TERM2</code> is a collection, instances of which have instances of the collection <code>TERM1</code> as parts; <code>TERM2</code> has <code>TERM1</code> as a part; This list of reasons for why <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw" class="cyc_term">broaderTerm</a> TERM1 TERM2)</code> could hold is not exhaustive, but it should give a good indication of how general the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw" class="cyc_term">broaderTerm</a> relation actually is. BT broaderTerm A sports event where the competitors attempt to travel as fast as possible over some distance. They are typically constrained in the mode of travel and the course to be traveled. RacingSportsEvent racing A sports event where the competitors attempt to travel as fast as possible over some distance. They are typically constrained in the mode of travel and the course to be traveled. RacingSportsEvent racing A sports event where the competitors attempt to travel as fast as possible over some distance. They are typically constrained in the mode of travel and the course to be traveled. RacingSportsEvent racing 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 Sports where the measurements of performance can be compared across competitions. Running, swimming, jumping, but not gymnastics or downhill skiing. Sports in which its meaningfull to have a world record, an olympic record, etc. AbsoluteSportsEvent absolute sports event A sports event where the competitors attempt to travel as fast as possible over some distance. They are typically constrained in the mode of travel and the course to be traveled. RacingSportsEvent racing A sports event where the competitors attempt to travel as fast as possible over some distance. They are typically constrained in the mode of travel and the course to be traveled. RacingSportsEvent racing