]> 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. RetailOutletCategoryType type of retail outlet category A collection of collections. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjV6JwpEbGdrcN5Y29ycA" class="cyc_term">RetailOutletCategoryType</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi__5wpEbGdrcN5Y29ycA" class="cyc_term">RetailStore</a>s which all sell products in the same market category. The collections <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjDcpwpEbGdrcN5Y29ycA" class="cyc_term">GroceryStore</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkGHJwpEbGdrcN5Y29ycA" class="cyc_term">RecordedMusicStore</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjzyZwpEbGdrcN5Y29ycA" class="cyc_term">Bookstore</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViy_JwpEbGdrcN5Y29ycA" class="cyc_term">SportingGoodsStore</a> are elements of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjV6JwpEbGdrcN5Y29ycA" class="cyc_term">RetailOutletCategoryType</a>. types of retail outlet category BakeryStore bakery A retail store which includes a bakery. It is often also allIO restaurant - there is some place to eat pastries and have coffee. car stereo store AutoSoundStore The collection of all car stereo stores. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjlP5wpEbGdrcN5Y29ycA" class="cyc_term">ServiceRepairStore</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjk_JwpEbGdrcN5Y29ycA" class="cyc_term">AutoSoundStore</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjV6JwpEbGdrcN5Y29ycA" class="cyc_term">RetailOutletCategoryType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjk_JwpEbGdrcN5Y29ycA" class="cyc_term">AutoSoundStore</a> is a store that specializes in selling and installing stereos, speakers, and stereo systems for automobiles. A store that sells products pertaining to recreational tobacco use. This may be the actual tobacco products (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv2RM1JwpEbGdrcN5Y29ycA" class="cyc_term">SnuffTobacco</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzxnJwpEbGdrcN5Y29ycA" class="cyc_term">Cigarette</a>s, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjIKpwpEbGdrcN5Y29ycA" class="cyc_term">Cigar</a>s) or tools that enable tobacco use such as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzyCJwpEbGdrcN5Y29ycA" class="cyc_term">Pipe_SmokingDevice</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViwJ5wpEbGdrcN5Y29ycA" class="cyc_term">CigaretteLighter</a>s, and so on. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkMa5wpEbGdrcN5Y29ycA" class="cyc_term">Smoking</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzxjZwpEbGdrcN5Y29ycA" class="cyc_term">SmokingDevice</a>. tobacco supply store Tobacconist The collection of all appliance stores, which are stores that sell appliances, such as refrigerators and washing machines. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi__5wpEbGdrcN5Y29ycA" class="cyc_term">RetailStore</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjmJpwpEbGdrcN5Y29ycA" class="cyc_term">ApplianceStore</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjV6JwpEbGdrcN5Y29ycA" class="cyc_term">RetailOutletCategoryType</a>. ApplianceStore appliance store auto parts store AutoPartsStore Each instance is a local organization (located at one site) that sells parts for automobiles and other motorized road vehicles. art supply store ArtSupplyStore The collection of all art supply stores. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi__5wpEbGdrcN5Y29ycA" class="cyc_term">RetailStore</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitXZwpEbGdrcN5Y29ycA" class="cyc_term">ArtSupplyStore</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjV6JwpEbGdrcN5Y29ycA" class="cyc_term">RetailOutletCategoryType</a>. office supply store OfficeSupplyStore The collection of office supply stores, such as individual BizMarts and OfficeDepots. SportingGoodsStore sporting goods store The collection of stores that sell primarily sporting goods, such as Rooster Andrews or Oshman's convenience store ConvenienceStore The collection of establishments that sell a tiny subset of the things found in a good supermarket for twice the price. Sometimes they also sell gasoline. A favorite target for robbers and people addicted to automatic teller machines. The collection of establishments that sell furniture as their main product. FurnitureStore furniture store A shop that serves doughnuts and coffee to customers and also sells fresh doughnuts by the dozen for take-out. doughnut shop DoughnutShop clothing store ClothingStore The collection of establishments that sell exclusively clothing AudioVideoStore audio visual store Stores that sell audio and video electronic devices. They also often sell supplies for these things, but seldom sell recorded sound or video products. The collection of establishments that sell a variety of household and other items. This can include clothing. Think of JCPenney or Target or Foleys or Sacks. department store DepartmentStore RecordedMusicStore An establishment that sells records, cassettes, and CDs --some with music or speech on them, and some blank (probably only blank CASSETTES). music store bookstore Bookstore A local (one site) organization that sells books. UsedAutoDealership Establishment that sells used cars. used car dealership Local (at one site) retail organization that sells computers, peripherals, and ancillary products to customers in exchange for money. computer store ComputerStore LightingStore lighting store The collection of stores that sell all kinds of lamps and lighting fixtures ServiceStation A retail establishment that sells gasoline, and where <sometimes> repairs on automobiles and other road vehicles are performed. petrol station music store MusicalEquipmentStore The collection of all music stores. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi__5wpEbGdrcN5Y29ycA" class="cyc_term">RetailStore</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVivaJwpEbGdrcN5Y29ycA" class="cyc_term">MusicalEquipmentStore</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjV6JwpEbGdrcN5Y29ycA" class="cyc_term">RetailOutletCategoryType</a>. The collection of all florist shops, which are stores that sell flowers, bouquets and flower arrangements. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi__5wpEbGdrcN5Y29ycA" class="cyc_term">RetailStore</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVifRZwpEbGdrcN5Y29ycA" class="cyc_term">FloristShop</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjV6JwpEbGdrcN5Y29ycA" class="cyc_term">RetailOutletCategoryType</a>. florist shop FloristShop optical store The collection of retail outlets that specialize in selling prescription eyewear, such as individual Lensecrafters or PearlVisionCenters." OpticalRetailer An establishment that sells shoes shoe store ShoeStore BicycleShop The collection of all bicycle shops, which are stores that sell bicycles and bicycle-related parts and services. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi__5wpEbGdrcN5Y29ycA" class="cyc_term">RetailStore</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCOF5wpEbGdrcN5Y29ycA" class="cyc_term">BicycleShop</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjV6JwpEbGdrcN5Y29ycA" class="cyc_term">RetailOutletCategoryType</a>. bicycle shop <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVju15wpEbGdrcN5Y29ycA" class="cyc_term">AutoDealership</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi__5wpEbGdrcN5Y29ycA" class="cyc_term">RetailStore</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjQNpwpEbGdrcN5Y29ycA" class="cyc_term">Business</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwU2papwpEbGdrcN5Y29ycA" class="cyc_term">TransportationOrganization</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVju15wpEbGdrcN5Y29ycA" class="cyc_term">AutoDealership</a> is an establishment (an organization located at one site) that sells automobiles and other types of road vehicles to consumers. car dealership AutoDealership body shop An organization which is a local customer point of contact, and which performs body repairs on automobiles and other road vehicles. AutoBodyShop LiquorStore liquor store The collection of local establishments that sell alcoholic beverages . grocery store The collection of establishments that sell groceries and the other goods commonly found in a supermarket GroceryStore auto mechanic shop An organization which is a local customer point of contact, and which performs repairs on automobiles and other road vehicles, but not body work. AutoMechanicShop KnickKnackStore knick knack store The collection of stores that sell knickknacks. See <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvsFl-ZwpEbGdrcN5Y29ycA" class="cyc_term">KnickKnackMarketCategory</a> for examples of the kinds of things one might find in such stores. A print shop, like Ginny's or Kinko's or QuikCopy - They duplicate documents and provide a bunch of related services (binding, etc.). PrintShop printshop butcher shop A local (at one site) organization that performs as its main function selling and cutting up meat for customers in exchange for money. ButcherShop HardwareStore hardware store The collection of establishments that sell building and gardening supplies LawnAndGardenStore The collection of stores that sell lawn&garden supplies, such as Aus-Tex Garden Supply lawn and garden store truck dealership The collection of all stores that sell <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVizgZwpEbGdrcN5Y29ycA" class="cyc_term">Truck</a>s to consumers. TruckDealership The collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi__5wpEbGdrcN5Y29ycA" class="cyc_term">RetailStore</a>s that sell prescription and non-prescription drugs and other sundry items - like the Eckerds down the street. These organizations always have a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1KZ5wpEbGdrcN5Y29ycA" class="cyc_term">Pharmacy</a> as a department. Note the constant <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwgpZwpEbGdrcN5Y29ycA" class="cyc_term">DrugStoreChain</a> should be used to refer to <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjVT5wpEbGdrcN5Y29ycA" class="cyc_term">Organization</a>s with multiple outlets. drugstore DrugStore A type-level collection, the collection of all types of organizations. Each instance is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjVT5wpEbGdrcN5Y29ycA" class="cyc_term">Organization</a>s whose instances share some common feature that is important enough to warrant reifying the collection as a 'type'. OrganizationType organization type 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 <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 RetailOutletCategoryType type of retail outlet category A collection of collections. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjV6JwpEbGdrcN5Y29ycA" class="cyc_term">RetailOutletCategoryType</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi__5wpEbGdrcN5Y29ycA" class="cyc_term">RetailStore</a>s which all sell products in the same market category. The collections <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjDcpwpEbGdrcN5Y29ycA" class="cyc_term">GroceryStore</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkGHJwpEbGdrcN5Y29ycA" class="cyc_term">RecordedMusicStore</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjzyZwpEbGdrcN5Y29ycA" class="cyc_term">Bookstore</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViy_JwpEbGdrcN5Y29ycA" class="cyc_term">SportingGoodsStore</a> are elements of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjV6JwpEbGdrcN5Y29ycA" class="cyc_term">RetailOutletCategoryType</a>. organizations by geographical scope organization topic OrganizationsByGeographicalScope-Organization-Topic 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 RetailOutletCategoryType type of retail outlet category A collection of collections. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjV6JwpEbGdrcN5Y29ycA" class="cyc_term">RetailOutletCategoryType</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi__5wpEbGdrcN5Y29ycA" class="cyc_term">RetailStore</a>s which all sell products in the same market category. The collections <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjDcpwpEbGdrcN5Y29ycA" class="cyc_term">GroceryStore</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkGHJwpEbGdrcN5Y29ycA" class="cyc_term">RecordedMusicStore</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjzyZwpEbGdrcN5Y29ycA" class="cyc_term">Bookstore</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViy_JwpEbGdrcN5Y29ycA" class="cyc_term">SportingGoodsStore</a> are elements of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjV6JwpEbGdrcN5Y29ycA" class="cyc_term">RetailOutletCategoryType</a>. A collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a>s. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA" class="cyc_term">FacetingCollectionType</a> is a collection-type that &quot;facets&quot; -- i.e. stands in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvjldVJwpEbGdrcN5Y29ycA" class="cyc_term">facets_Generic</a> (q.v.) relation to -- another collection. Examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA" class="cyc_term">AutomobileTypeByBrand</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rANFO8Ec-EdaEKABQ2sS97g" class="cyc_term">MusicTypeByGenre</a>, which facet <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA" class="cyc_term">Automobile</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjOJpwpEbGdrcN5Y29ycA" class="cyc_term">Music</a>, respectively. faceting collection type FacetingCollectionType FacetInstanceCollection facet collection A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv1fLiZwpEbGdrcN5Y29ycA" class="cyc_term">FacetInstanceCollection</a> is a collection that is an instance of a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA" class="cyc_term">FacetingCollectionType</a> (q.v.). For example, the facet-instance-collection (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rBVDJsPLMQdiZD5jLVkyKUw" class="cyc_term">WineOfVintageFn</a> (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjympwpEbGdrcN5Y29ycA" class="cyc_term">YearFn</a> 1926)) is an instance of the faceting-collection-type <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rWdpZhPLLQdiKEtsuZMndzQ" class="cyc_term">WineTypeByVintage</a>.