]> 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 specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkzeeJwpEbGdrcN5Y29ycA" class="cyc_term">DevisedStructuredActivity</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a> is an abstraction of a game that is played according to a semi-rigid set of rules. Each instance includes both the rules (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwF89YpwpEbGdrcN5Y29ycA" class="cyc_term">GameRulesFn</a>) and a specification of any physical components required for play (instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjN5JwpEbGdrcN5Y29ycA" class="cyc_term">GameBoard</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjqGZwpEbGdrcN5Y29ycA" class="cyc_term">Ball</a>, etc.). Neither <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViADZwpEbGdrcN5Y29ycA" class="cyc_term">Event</a>s of playing games (instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjrZ5wpEbGdrcN5Y29ycA" class="cyc_term">PlayingAGame</a>) nor any physical components required for play (e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjN5JwpEbGdrcN5Y29ycA" class="cyc_term">GameBoard</a>s) are instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a>. game Game http://en.wikipedia.org/wiki/Game games All instances of games played with playing cards CardGame card game The collection of all games [<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a>], equipment for which is sold as a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvom2E5wpEbGdrcN5Y29ycA" class="cyc_term">ProductTypeByBrand</a>. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv2jleZwpEbGdrcN5Y29ycA" class="cyc_term">Scrabble</a> brand name game BrandNameGame game of chance The collection of all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a> whose performance involve bets of money [<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjEcJwpEbGdrcN5Y29ycA" class="cyc_term">TenderObject</a>] or property that are based on the outcome of the game [see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv2cAh5wpEbGdrcN5Y29ycA" class="cyc_term">GameOfChance_Event</a>]. GameOfChance The collection of all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a> typically played by more than two <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi3D5wpEbGdrcN5Y29ycA" class="cyc_term">competingAgents</a> (either <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> or <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvZowY5wpEbGdrcN5Y29ycA" class="cyc_term">Team</a>). The game rules may not specify a limit, although after some point having more participants is less practical. game for more than two people MultiPartyGame A collection of events. Each instance includes the entirety of playing a role playing game event. RolePlayingGame role-playing game non-team game The collection of all <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a>s played by individual competitors instead of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvZowY5wpEbGdrcN5Y29ycA" class="cyc_term">Team</a>s. NonTeamGame The collection of all memory games. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a>. memory game MemoryGame team game TeamGame The collection of all instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a> whose <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi3D5wpEbGdrcN5Y29ycA" class="cyc_term">competingAgents</a> are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvZowY5wpEbGdrcN5Y29ycA" class="cyc_term">Team</a>s instead of individual <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a>s. NonCompetitiveGame non-competitive game A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rhZ8fQk4ZQdmJXbYChhpttQ" class="cyc_term">NonCompetitiveGame</a> is a specification of the rules and equipment required for playing a non-competitive game (such as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvX6B_pwpEbGdrcN5Y29ycA" class="cyc_term">RingARosy</a>). CoinOperatedGame coin-operated game The collection of all coin-operated games. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a>. ElectronicGame electronic game The collection of all electronic games. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a>. GuessingGame guessing game The collection of games in which participants compete to identify some obscurely indicated thing; includes <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwC76jpwpEbGdrcN5Y29ycA" class="cyc_term">Charades</a>, twenty questions, I spy, and others outdoor game OutdoorGame The collection of all outdoor games. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a>. A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a>. All instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwATRDpwpEbGdrcN5Y29ycA" class="cyc_term">BoardGame</a> are specifications of the rules and equipment required for playing certain games using specially designed boards. board game BoardGame PartyGame All instances of games designed for playing at parties or with large groups of people. party game All instances of any game involving the formation or alteration or discovery of words word game WordGame TriviaGame trivia game The collection of all trivia games. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a>. FantasySportsGame fantasy sports The collection of all fantasy sports. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a>. The collection of all games [<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a>] whose performances are typically played by children [<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjPMJwpEbGdrcN5Y29ycA" class="cyc_term">HumanChild</a>] child's game ChildsGame The collection of all sports (instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPySLpwpEbGdrcN5Y29ycA" class="cyc_term">Sport</a>) which are also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a>s. See <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjzBJwpEbGdrcN5Y29ycA" class="cyc_term">SportsEvent</a> for events of playing whole units of such games and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgH-XZwpEbGdrcN5Y29ycA" class="cyc_term">AthleticActivity</a> for activity of the type engaged in while performing sports. sports game SportsGame puzzle game Puzzle The collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkzeeJwpEbGdrcN5Y29ycA" class="cyc_term">DevisedStructuredActivity</a> that test one's ingenuity. See <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWHek5wpEbGdrcN5Y29ycA" class="cyc_term">Puzzle_Generic</a> for a broader sense of 'puzzle' and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv2SQuZwpEbGdrcN5Y29ycA" class="cyc_term">Puzzle_TangibleProduct</a> for physicalObjects. table game TableGame All instances of games that are played on a table, including <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvuIDVZwpEbGdrcN5Y29ycA" class="cyc_term">Billiards</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwBxUEZwpEbGdrcN5Y29ycA" class="cyc_term">DominoesGame</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi22ZwpEbGdrcN5Y29ycA" class="cyc_term">TableTennisGame</a>. dice game The collection of all dice games. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a>. DiceGame DartsGame An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a>. An abstract work which specifies how to play a game in which instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwRBfqJwpEbGdrcN5Y29ycA" class="cyc_term">Dart</a> are thrown at a dartboard. darts ducks and drakes All instances of a game in which a flat stone is bounced along the surface of calm water. For the non-game variety, see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwUvcNpwpEbGdrcN5Y29ycA" class="cyc_term">SkippingAStone</a>. DucksAndDrakes All instances of a form of pool played with 15 red balls and six balls of other colors and a cue ball Snooker snooker Crossword Puzzle Activity CrosswordPuzzleActivity-CW UltimateFrisbee ultimate frisbee All instances of any of various games played on a pool table having 6 pockets PoolGame pool All instances of a game of Japanese pinball played on a vertical board Pachinko pachinko Cricket-TheGame cricket The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a> of cricket. MiniatureGolf mini golf Mini golf: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a>. clarifying collection type ClarifyingCollectionType A specialization of <a href="http://sw.opencyc.org/2008/06/10/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/2008/06/10/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/2008/06/10/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/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> TYPE1 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r_4bScKNtQdiVw7XtX-HN0Q" class="cyc_term">ClarifyingCollectionType</a>) is a reason to prefer TYPE1 over TYPE2 when calculating possible clarifying properties for THING. A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkzeeJwpEbGdrcN5Y29ycA" class="cyc_term">DevisedStructuredActivity</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a> is an abstraction of a game that is played according to a semi-rigid set of rules. Each instance includes both the rules (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwF89YpwpEbGdrcN5Y29ycA" class="cyc_term">GameRulesFn</a>) and a specification of any physical components required for play (instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjN5JwpEbGdrcN5Y29ycA" class="cyc_term">GameBoard</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjqGZwpEbGdrcN5Y29ycA" class="cyc_term">Ball</a>, etc.). Neither <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViADZwpEbGdrcN5Y29ycA" class="cyc_term">Event</a>s of playing games (instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjrZ5wpEbGdrcN5Y29ycA" class="cyc_term">PlayingAGame</a>) nor any physical components required for play (e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjN5JwpEbGdrcN5Y29ycA" class="cyc_term">GameBoard</a>s) are instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a>. game Game A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkzeeJwpEbGdrcN5Y29ycA" class="cyc_term">DevisedStructuredActivity</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a> is an abstraction of a game that is played according to a semi-rigid set of rules. Each instance includes both the rules (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwF89YpwpEbGdrcN5Y29ycA" class="cyc_term">GameRulesFn</a>) and a specification of any physical components required for play (instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjN5JwpEbGdrcN5Y29ycA" class="cyc_term">GameBoard</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjqGZwpEbGdrcN5Y29ycA" class="cyc_term">Ball</a>, etc.). Neither <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViADZwpEbGdrcN5Y29ycA" class="cyc_term">Event</a>s of playing games (instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjrZ5wpEbGdrcN5Y29ycA" class="cyc_term">PlayingAGame</a>) nor any physical components required for play (e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjN5JwpEbGdrcN5Y29ycA" class="cyc_term">GameBoard</a>s) are instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a>. game Game 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 candidate KB completeness node CandidateKBCompletenessNode DevisedStructuredActivity devised structured activity A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv9p3wpwpEbGdrcN5Y29ycA" class="cyc_term">DevisedPracticeOrWork</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkzeeJwpEbGdrcN5Y29ycA" class="cyc_term">DevisedStructuredActivity</a> is an abstraction of a largely rule-governed activity. Major specializations of this collection include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPySLpwpEbGdrcN5Y29ycA" class="cyc_term">Sport</a> -- instances of these collections are abstractions of activities that are obviously rule-governed. A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkzeeJwpEbGdrcN5Y29ycA" class="cyc_term">DevisedStructuredActivity</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a> is an abstraction of a game that is played according to a semi-rigid set of rules. Each instance includes both the rules (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwF89YpwpEbGdrcN5Y29ycA" class="cyc_term">GameRulesFn</a>) and a specification of any physical components required for play (instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjN5JwpEbGdrcN5Y29ycA" class="cyc_term">GameBoard</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjqGZwpEbGdrcN5Y29ycA" class="cyc_term">Ball</a>, etc.). Neither <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViADZwpEbGdrcN5Y29ycA" class="cyc_term">Event</a>s of playing games (instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjrZ5wpEbGdrcN5Y29ycA" class="cyc_term">PlayingAGame</a>) nor any physical components required for play (e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjN5JwpEbGdrcN5Y29ycA" class="cyc_term">GameBoard</a>s) are instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a>. game 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 A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkzeeJwpEbGdrcN5Y29ycA" class="cyc_term">DevisedStructuredActivity</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a> is an abstraction of a game that is played according to a semi-rigid set of rules. Each instance includes both the rules (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwF89YpwpEbGdrcN5Y29ycA" class="cyc_term">GameRulesFn</a>) and a specification of any physical components required for play (instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjN5JwpEbGdrcN5Y29ycA" class="cyc_term">GameBoard</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjqGZwpEbGdrcN5Y29ycA" class="cyc_term">Ball</a>, etc.). Neither <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViADZwpEbGdrcN5Y29ycA" class="cyc_term">Event</a>s of playing games (instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjrZ5wpEbGdrcN5Y29ycA" class="cyc_term">PlayingAGame</a>) nor any physical components required for play (e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjN5JwpEbGdrcN5Y29ycA" class="cyc_term">GameBoard</a>s) are instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a>. game Game type of temporally stuff-like thing A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVir35wpEbGdrcN5Y29ycA" class="cyc_term">StuffType</a> (q.v.) whose instances are all and only those collections that are temporally stuff-like. A collection <code>COL</code> is temporally stuff-like just in case every purely temporal part (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 itself an instance of <code>COL</code>, unless it is a temporal part of a temporal granule of <code>COL</code> (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaJJwpEbGdrcN5Y29ycA" class="cyc_term">granuleOfTemporalStuff</a>). More precisely, for a collection <code>COL</code> to be an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitN5wpEbGdrcN5Y29ycA" class="cyc_term">TemporalStuffType</a> it is both a necessary and sufficient condition that for any <code>OBJ1</code> and <code>OBJ2</code> (with <code>OBJ2</code> at or above <code>COL</code>'s temporal granularity level), 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 <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> OBJ2 COL)</code>. Consider <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi0gpwpEbGdrcN5Y29ycA" class="cyc_term">WalkingOnTwoLegs</a>. Take an arbitrary instance <code>WALK</code> of this collection (say Miss America 2000's victory walk down the runway and back); and then take an arbitrary time-slice <code>SUBWALK</code> of <code>WALK</code> that subsumes at least one instance of (the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaJJwpEbGdrcN5Y29ycA" class="cyc_term">granuleOfTemporalStuff</a> for <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi0gpwpEbGdrcN5Y29ycA" class="cyc_term">WalkingOnTwoLegs</a>) <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViYBpwpEbGdrcN5Y29ycA" class="cyc_term">TakingAStep</a> (say her trip back from the end of the runway). <code>SUBWALK</code> is itself an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi0gpwpEbGdrcN5Y29ycA" class="cyc_term">WalkingOnTwoLegs</a>. So <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi0gpwpEbGdrcN5Y29ycA" class="cyc_term">WalkingOnTwoLegs</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitN5wpEbGdrcN5Y29ycA" class="cyc_term">TemporalStuffType</a>. See <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViq35wpEbGdrcN5Y29ycA" class="cyc_term">TemporalObjectType</a> for the disjoint notion of being temporally object-like. TemporalStuffType A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkzeeJwpEbGdrcN5Y29ycA" class="cyc_term">DevisedStructuredActivity</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a> is an abstraction of a game that is played according to a semi-rigid set of rules. Each instance includes both the rules (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwF89YpwpEbGdrcN5Y29ycA" class="cyc_term">GameRulesFn</a>) and a specification of any physical components required for play (instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjN5JwpEbGdrcN5Y29ycA" class="cyc_term">GameBoard</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjqGZwpEbGdrcN5Y29ycA" class="cyc_term">Ball</a>, etc.). Neither <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViADZwpEbGdrcN5Y29ycA" class="cyc_term">Event</a>s of playing games (instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjrZ5wpEbGdrcN5Y29ycA" class="cyc_term">PlayingAGame</a>) nor any physical components required for play (e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjN5JwpEbGdrcN5Y29ycA" class="cyc_term">GameBoard</a>s) are instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a>. game Game A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkzeeJwpEbGdrcN5Y29ycA" class="cyc_term">DevisedStructuredActivity</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a> is an abstraction of a game that is played according to a semi-rigid set of rules. Each instance includes both the rules (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwF89YpwpEbGdrcN5Y29ycA" class="cyc_term">GameRulesFn</a>) and a specification of any physical components required for play (instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjN5JwpEbGdrcN5Y29ycA" class="cyc_term">GameBoard</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjqGZwpEbGdrcN5Y29ycA" class="cyc_term">Ball</a>, etc.). Neither <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViADZwpEbGdrcN5Y29ycA" class="cyc_term">Event</a>s of playing games (instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjrZ5wpEbGdrcN5Y29ycA" class="cyc_term">PlayingAGame</a>) nor any physical components required for play (e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjN5JwpEbGdrcN5Y29ycA" class="cyc_term">GameBoard</a>s) are instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkS9GZwpEbGdrcN5Y29ycA" class="cyc_term">Game</a>. game Game