]> 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. SpecifiedGameType Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDkkwpwpEbGdrcN5Y29ycA" class="cyc_term">SpecifiedGameType</a> are types of games, specific as to the name and the rules used. Each instance is a collection, a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvZTe2JwpEbGdrcN5Y29ycA" class="cyc_term">GameEvent</a>, whose instances are particular events in which the game is played from beginning to end. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVis4ZwpEbGdrcN5Y29ycA" class="cyc_term">IndivPentathlonEvent</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDkkwpwpEbGdrcN5Y29ycA" class="cyc_term">SpecifiedGameType</a>, because all instances use the same set of rules, and consist of all the moves of a game until one of the players wins. Not every instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDkkwpwpEbGdrcN5Y29ycA" class="cyc_term">SpecifiedGameType</a> has to consist of instances where there is a winner, because there might be games that don't have winners; the important thing is that the instances are by default played to completion (whatever that means for the particular type of game). Also, not every spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvZTe2JwpEbGdrcN5Y29ycA" class="cyc_term">GameEvent</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDkkwpwpEbGdrcN5Y29ycA" class="cyc_term">SpecifiedGameType</a>. E.g., 'SolitaryGameEvent' (the class of games played by one person) would not be a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDkkwpwpEbGdrcN5Y29ycA" class="cyc_term">SpecifiedGameType</a> since that class isn't specific as to the name of the game and the rules used. type of game kind of game kinds of game types of game The collection of all stickball games. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjw95wpEbGdrcN5Y29ycA" class="cyc_term">CooperativeTeamSportsCompetition</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjwupwpEbGdrcN5Y29ycA" class="cyc_term">PedestrianSportsEvent</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjywpwpEbGdrcN5Y29ycA" class="cyc_term">StructuredSportsEvent</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rxQKHjPFiQdiG098BfZVX1A" class="cyc_term">StickballGame</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDkkwpwpEbGdrcN5Y29ycA" class="cyc_term">SpecifiedGameType</a> and an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rjjX5zJg3EdaAAACgycbQqA" class="cyc_term">IterativeSituationType</a>. StickballGame stickball game individual epee event The collection of all individual epee events. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkKCJwpEbGdrcN5Y29ycA" class="cyc_term">EpeeFencingSportsEvent</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAPZwpEbGdrcN5Y29ycA" class="cyc_term">IndividualSportsCompetition</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjgCpwpEbGdrcN5Y29ycA" class="cyc_term">IndivEpeeSportsEvent</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDkkwpwpEbGdrcN5Y29ycA" class="cyc_term">SpecifiedGameType</a>. IndivEpeeSportsEvent volleyball match VolleyballMatch The collection of volleyball matches. The team to win the best of 5 sets wins the match. TeamPentathlonEvent team pentathlon event The collection of all team pentathlon events. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjjkpwpEbGdrcN5Y29ycA" class="cyc_term">PentathlonSportsEvent</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjHS5wpEbGdrcN5Y29ycA" class="cyc_term">NonCoopTeamSportsCompetition</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjQnZwpEbGdrcN5Y29ycA" class="cyc_term">TeamPentathlonEvent</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDkkwpwpEbGdrcN5Y29ycA" class="cyc_term">SpecifiedGameType</a>. Games of Singles Table-Tennis, or PingPong. singles table tennis game SinglesTableTennisGame Games of Doubles Tennis. DoublesTennisMatch doubles tennis match FootballGame-American The collection of all American football games. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjxOZwpEbGdrcN5Y29ycA" class="cyc_term">BallAndGoalGame</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjwupwpEbGdrcN5Y29ycA" class="cyc_term">PedestrianSportsEvent</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjwcpwpEbGdrcN5Y29ycA" class="cyc_term">ContactSportsEvent</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjxeJwpEbGdrcN5Y29ycA" class="cyc_term">TimeLimitedSportsEvent</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjw95wpEbGdrcN5Y29ycA" class="cyc_term">CooperativeTeamSportsCompetition</a>. football game doubles table tennis Games of Doubles Table-Tennis, or PingPong. DoublesTableTennisGame CrosswordGameEvent All events of solving a puzzle in which words corresponding to numbered clues are to be found and written in to squares in the puzzle doing a crossword puzzle TableTennisMatch The collection of table tennis matches. A match of table tennis is either won by winning one game, winning the best of three, or winning the best of five games. ping pong match A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjzBJwpEbGdrcN5Y29ycA" class="cyc_term">SportsEvent</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rceVtUpICEdeELAADR6QijQ" class="cyc_term">ModernWomensPentathlon</a> is a modern athletic contest in which each participant competes in five track and field events, usually the 200-meter and 1,500-meter runs, the long jump, and the discus and javelin throws. ModernWomensPentathlon women's pentathlon 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 StickballPitchSequence The collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvZTe2JwpEbGdrcN5Y29ycA" class="cyc_term">GameEvent</a>s in which people play stickball. stickball pitch sequence game BaseballGame baseball game The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvZTe2JwpEbGdrcN5Y29ycA" class="cyc_term">GameEvent</a> that are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvoHFF5wpEbGdrcN5Y29ycA" class="cyc_term">performanceOfWork</a>s of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv1T7_pwpEbGdrcN5Y29ycA" class="cyc_term">Baseball_TheGame</a>. Whichever team scores more baseball runs is the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi30JwpEbGdrcN5Y29ycA" class="cyc_term">winner_First</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVix1pwpEbGdrcN5Y29ycA" class="cyc_term">BaseballGame</a>s typically last 9 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVimspwpEbGdrcN5Y29ycA" class="cyc_term">BaseballInning</a>s, but if it would be a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5t8XpwpEbGdrcN5Y29ycA" class="cyc_term">TieGame</a>, enough extra <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVimspwpEbGdrcN5Y29ycA" class="cyc_term">BaseballInning</a>s are played to determine a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi30JwpEbGdrcN5Y29ycA" class="cyc_term">winner_First</a>. SabreFencingSportsEvent sabre fencing Competitive events of sabre fencing for sport, a kind of sword play. tennis set The collection of tennis sets. The first player to win six games wins the set, unless each player has won five sets, in which case play continues until one side is two games ahead. TennisSet online lottery This is the spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwKLFE5wpEbGdrcN5Y29ycA" class="cyc_term">Lottery</a> consisting of those lotteries which are operated through a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvz7_25wpEbGdrcN5Y29ycA" class="cyc_term">WorldWideWebSite</a>. OnlineLottery PentathlonSportsEvent The collection of pentathlon events. pentathlon The collection of all singles badminton events. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViloZwpEbGdrcN5Y29ycA" class="cyc_term">BadmintonSportsEvent</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAPZwpEbGdrcN5Y29ycA" class="cyc_term">IndividualSportsCompetition</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjh2ZwpEbGdrcN5Y29ycA" class="cyc_term">SinglesBadmintonSportsEvent</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDkkwpwpEbGdrcN5Y29ycA" class="cyc_term">SpecifiedGameType</a>. singles badminton event SinglesBadmintonSportsEvent laser game LaserGame The collection of all laser games. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjEOpwpEbGdrcN5Y29ycA" class="cyc_term">CombatSportsEvent</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjgzpwpEbGdrcN5Y29ycA" class="cyc_term">RecreationalActivity</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwE8a9ZwpEbGdrcN5Y29ycA" class="cyc_term">LaserGame</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDkkwpwpEbGdrcN5Y29ycA" class="cyc_term">SpecifiedGameType</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvm8XOpwpEbGdrcN5Y29ycA" class="cyc_term">LearnedActivityType</a>. individual pentathlon event IndivPentathlonEvent The collection of all individual pentathlon events. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjjkpwpEbGdrcN5Y29ycA" class="cyc_term">PentathlonSportsEvent</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAPZwpEbGdrcN5Y29ycA" class="cyc_term">IndividualSportsCompetition</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVis4ZwpEbGdrcN5Y29ycA" class="cyc_term">IndivPentathlonEvent</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDkkwpwpEbGdrcN5Y29ycA" class="cyc_term">SpecifiedGameType</a>. TeamFoilSportsEvent team foil event The collection of all team foil events. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjHlpwpEbGdrcN5Y29ycA" class="cyc_term">FoilFencingSportsEvent</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjHS5wpEbGdrcN5Y29ycA" class="cyc_term">NonCoopTeamSportsCompetition</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjHFJwpEbGdrcN5Y29ycA" class="cyc_term">TeamFoilSportsEvent</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDkkwpwpEbGdrcN5Y29ycA" class="cyc_term">SpecifiedGameType</a>. TeamEpeeSportsEvent The collection of all team epee sports events. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkKCJwpEbGdrcN5Y29ycA" class="cyc_term">EpeeFencingSportsEvent</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjHS5wpEbGdrcN5Y29ycA" class="cyc_term">NonCoopTeamSportsCompetition</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViIipwpEbGdrcN5Y29ycA" class="cyc_term">TeamEpeeSportsEvent</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDkkwpwpEbGdrcN5Y29ycA" class="cyc_term">SpecifiedGameType</a>. team epee sports event TableTennisGame Games of Table-Tennis, or PingPong. ping-pong game individual foil event IndivFoilSportsEvent The collection of all individual foil events. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjHlpwpEbGdrcN5Y29ycA" class="cyc_term">FoilFencingSportsEvent</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAPZwpEbGdrcN5Y29ycA" class="cyc_term">IndividualSportsCompetition</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjto5wpEbGdrcN5Y29ycA" class="cyc_term">IndivFoilSportsEvent</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDkkwpwpEbGdrcN5Y29ycA" class="cyc_term">SpecifiedGameType</a>. singles tennis match SinglesTennisMatch Games of Singles Tennis. tennis match TennisMatch The collection of tennis matches. Men need to win three sets to win a match. Women need to win two sets to win a match. The collection of all specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>, that is, of all collections of (first-order) collections, and an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHUFI8h_TEdaAAABQ2rksLw" class="cyc_term">ThirdOrderCollection</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> are collections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>s. Any instance of any instance of any instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a>. SecondOrderCollection second-order Cyc collection 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><b>COL</b></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><b>COL</b></code> is not itself an instance of <code><b>COL</b></code>. More precisely, a collection <code><b>COL</b></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><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>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA" class="cyc_term">timeSlices</a> <b>OBJ1</b> <b>OBJ2</b>)</code>, then <i>not</i> <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> <b>OBJ2</b> <b>COL</b>)</code>. <p/> 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 <i>not</i> a temporal-object-type. <p/> 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 A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rtGXkHpNaEdqAAAACs0uFOQ" class="cyc_term">KBDependentCollection</a> of collections of collections (and thus an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rviPYH5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionTypeType</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a>). A sibling-disjoint collection type is such that its known (i.e. KB-represented) instances are collections that -- save for any that are related to each other by <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> and any that are explicitly asserted to be exceptions (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQtVmpwpEbGdrcN5Y29ycA" class="cyc_term">siblingDisjointExceptions</a>) -- are disjoint from each other. <p/> More precisely, each instance <code><b>SIB</b></code> of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA4pwpEbGdrcN5Y29ycA" class="cyc_term">SiblingDisjointCollectionType</a> is a collection of collections that has the following KB-dependent property: <p/> For any two known instances <code><b>COL1</b></code> and <code><b>COL2</b></code> of <code><b>SIB</b></code>, at least one of the following is known to hold: <pre> (a) (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> <b>COL1</b> <b>COL2</b>) (b) (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> <b>COL2</b> <b>COL1</b>) (c) (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQtVmpwpEbGdrcN5Y29ycA" class="cyc_term">siblingDisjointExceptions</a> <b>COL1</b> <b>COL2</b>) (d) (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA45wpEbGdrcN5Y29ycA" class="cyc_term">disjointWith</a> <b>COL1</b> <b>COL2</b>) </pre> Moreover, note that if <code><b>MT</b></code> is a context (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA1ZwpEbGdrcN5Y29ycA" class="cyc_term">Microtheory</a>) in which (i) both <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> <b>COL1</b> <b>SIB</b>)</code> and <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> <b>COL2</b> <b>SIB</b>)</code> hold and (ii) neither <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> <b>COL1</b> <b>COL2</b>)</code> nor <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> <b>COL2</b> <b>COL1</b>)</code> nor <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQtVmpwpEbGdrcN5Y29ycA" class="cyc_term">siblingDisjointExceptions</a> <b>COL1</b> <b>COL2</b>)</code> is known to hold (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP-JvpwpEbGdrcN5Y29ycA" class="cyc_term">knownSentence</a>), then <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA45wpEbGdrcN5Y29ycA" class="cyc_term">disjointWith</a> <b>COL1</b> <b>COL2</b>)</code> holds by default in <code><b>MT</b></code>. <p/> For example, in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjakJwpEbGdrcN5Y29ycA" class="cyc_term">BiologyMt</a> both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a> are instances of the sibling-disjoint collection type <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjK65wpEbGdrcN5Y29ycA" class="cyc_term">BiologicalSpecies</a>, while neither (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a>) nor (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a>) nor (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQtVmpwpEbGdrcN5Y29ycA" class="cyc_term">siblingDisjointExceptions</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a>) is known to hold in that context; consequently, (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA45wpEbGdrcN5Y29ycA" class="cyc_term">disjointWith</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a>) holds by default in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjakJwpEbGdrcN5Y29ycA" class="cyc_term">BiologyMt</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA4pwpEbGdrcN5Y29ycA" class="cyc_term">SiblingDisjointCollectionType</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVji6JwpEbGdrcN5Y29ycA" class="cyc_term">BiologicalTaxon</a> (and its specializations), <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwKTnSJwpEbGdrcN5Y29ycA" class="cyc_term">OrganismPartType</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwE01SZwpEbGdrcN5Y29ycA" class="cyc_term">RelationshipTypeByArity</a>. <p/> See the generalization <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rk8dxOFcGEdaLwgACs0uFOQ" class="cyc_term">SiblingDisjointSetOrCollectionType</a>. Also cf. the stronger notion of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWPoRpwpEbGdrcN5Y29ycA" class="cyc_term">DisjointCollectionType</a>. sibling disjoint collection type SiblingDisjointCollectionType SpecifiedGameType Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDkkwpwpEbGdrcN5Y29ycA" class="cyc_term">SpecifiedGameType</a> are types of games, specific as to the name and the rules used. Each instance is a collection, a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvZTe2JwpEbGdrcN5Y29ycA" class="cyc_term">GameEvent</a>, whose instances are particular events in which the game is played from beginning to end. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVis4ZwpEbGdrcN5Y29ycA" class="cyc_term">IndivPentathlonEvent</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDkkwpwpEbGdrcN5Y29ycA" class="cyc_term">SpecifiedGameType</a>, because all instances use the same set of rules, and consist of all the moves of a game until one of the players wins. Not every instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDkkwpwpEbGdrcN5Y29ycA" class="cyc_term">SpecifiedGameType</a> has to consist of instances where there is a winner, because there might be games that don't have winners; the important thing is that the instances are by default played to completion (whatever that means for the particular type of game). Also, not every spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvZTe2JwpEbGdrcN5Y29ycA" class="cyc_term">GameEvent</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDkkwpwpEbGdrcN5Y29ycA" class="cyc_term">SpecifiedGameType</a>. E.g., 'SolitaryGameEvent' (the class of games played by one person) would not be a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDkkwpwpEbGdrcN5Y29ycA" class="cyc_term">SpecifiedGameType</a> since that class isn't specific as to the name of the game and the rules used. type of game SpecifiedGameType Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDkkwpwpEbGdrcN5Y29ycA" class="cyc_term">SpecifiedGameType</a> are types of games, specific as to the name and the rules used. Each instance is a collection, a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvZTe2JwpEbGdrcN5Y29ycA" class="cyc_term">GameEvent</a>, whose instances are particular events in which the game is played from beginning to end. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVis4ZwpEbGdrcN5Y29ycA" class="cyc_term">IndivPentathlonEvent</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDkkwpwpEbGdrcN5Y29ycA" class="cyc_term">SpecifiedGameType</a>, because all instances use the same set of rules, and consist of all the moves of a game until one of the players wins. Not every instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDkkwpwpEbGdrcN5Y29ycA" class="cyc_term">SpecifiedGameType</a> has to consist of instances where there is a winner, because there might be games that don't have winners; the important thing is that the instances are by default played to completion (whatever that means for the particular type of game). Also, not every spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvZTe2JwpEbGdrcN5Y29ycA" class="cyc_term">GameEvent</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDkkwpwpEbGdrcN5Y29ycA" class="cyc_term">SpecifiedGameType</a>. E.g., 'SolitaryGameEvent' (the class of games played by one person) would not be a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDkkwpwpEbGdrcN5Y29ycA" class="cyc_term">SpecifiedGameType</a> since that class isn't specific as to the name of the game and the rules used. type of game 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