]> 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. FoodProductTypeByBrand brand of food The collection of all brand name food products. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rPVrSPAbUQdeHZfMIuGmzig" class="cyc_term">FoodProductTypeByBrand</a> are collections of food products with a specific brand name (e.g. Quaker Oats Oatmeal or Yoplait Yogurt). food brand food brands brands of food PezCandy The collection of fruit flavored candies produced by the company <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvy40kJwpEbGdrcN5Y29ycA" class="cyc_term">Pez_TheCompany</a>. pez Pepsi Cola PepsiCola (ProperSubcollectionNamedFn-Ternary "Flutie Flakes" BreakfastCereal "33d872f1-f4ed-11d9-9bea-0002b3a85b0b") Flutie Flakes Krispy Kreme Donut KrispyKreme-Donut The collection of all <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCLXpwpEbGdrcN5Y29ycA" class="cyc_term">Doughnut</a>s made by <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rTCH_CCTnQdecZ4sHy0nitQ" class="cyc_term">KrispyKremeCorporation</a> A beverage usually enjoyed by children, composed of sugar and fruit flavoring dissolved in water. Kool-Aid KoolAid A premium lager, brewed and sold since 1876. Known as 'The King of Beers,' Budweiser is the largest-selling beer in the world. BudweiserBeer Budweiser Diet Cherry Coke DietCherryCoke The collection of instances of Diet Cherry Coke Dr Pepper First made and sold in Waco, Texas in 1885, Dr Pepper is the oldest major brand soft drink in the United States of America. DrPepper The collection of instances of different varieties of The Real Thing CocaCola Coca Cola Shiner bock ShinerBock Dark beer brewed in Shiner, TX which is beloved by University of Texas students Harp HarpBeer A popular type of lager. CoorsBeer Coors CokeClassic The collection of instances of The Real Thing Coca-Cola Classic The collection of instances of Sprite Sprite Sprite Diet Coke DietCoke The collection of instances of the sugarless version of The Real Thing Cherry Coke The collection of instances Cherry Coke CherryCoke Spam-MeatProduct The collection for Spam, a type of inexpensive canned meat made mainly of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjuf5wpEbGdrcN5Y29ycA" class="cyc_term">Pork</a> shoulder and ham. spam SolBeer Light lager <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjRpZwpEbGdrcN5Y29ycA" class="cyc_term">Beer</a> brewed in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkAiZwpEbGdrcN5Y29ycA" class="cyc_term">Mexico</a>, and often served cold with a slice of (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVipdpwpEbGdrcN5Y29ycA" class="cyc_term">FruitFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViCK5wpEbGdrcN5Y29ycA" class="cyc_term">LimeTree</a>) jammed into the bottle top. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvm_D_5wpEbGdrcN5Y29ycA" class="cyc_term">CoronaBeer</a>. Sol bass A brand of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkzB9JwpEbGdrcN5Y29ycA" class="cyc_term">AleBeer</a> popular in Britain (i.e., <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViRhJwpEbGdrcN5Y29ycA" class="cyc_term">UnitedKingdomOfGreatBritainAndNorthernIreland</a>). BassBeer LoneStarBeer Lone Star GuinnessBeer Guinness A brand of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtGn5pwpEbGdrcN5Y29ycA" class="cyc_term">StoutBeer</a> popular in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkLlpwpEbGdrcN5Y29ycA" class="cyc_term">IrishRepublic</a> and Britain (i.e., <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViRhJwpEbGdrcN5Y29ycA" class="cyc_term">UnitedKingdomOfGreatBritainAndNorthernIreland</a>). The most popular such beer in the world. MountainDew The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVizy5wpEbGdrcN5Y29ycA" class="cyc_term">MountainDew</a> Mountain Dew Light lager <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjRpZwpEbGdrcN5Y29ycA" class="cyc_term">Beer</a> brewed in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkAiZwpEbGdrcN5Y29ycA" class="cyc_term">Mexico</a>, and often served cold with a slice of (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVipdpwpEbGdrcN5Y29ycA" class="cyc_term">FruitFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViCK5wpEbGdrcN5Y29ycA" class="cyc_term">LimeTree</a>) jammed into the bottle top. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvZ9IVZwpEbGdrcN5Y29ycA" class="cyc_term">SolBeer</a>. CoronaBeer Corona type of food DefaultDisjointEdibleStuffType An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA4pwpEbGdrcN5Y29ycA" class="cyc_term">SiblingDisjointCollectionType</a> (q.v.), and thus a collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi9A5wpEbGdrcN5Y29ycA" class="cyc_term">DefaultDisjointEdibleStuffType</a> is a collection of beverages or foodstuffs (a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkI75wpEbGdrcN5Y29ycA" class="cyc_term">EdibleStuff</a>) that is by default disjoint with every other instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi9A5wpEbGdrcN5Y29ycA" class="cyc_term">DefaultDisjointEdibleStuffType</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi9A5wpEbGdrcN5Y29ycA" class="cyc_term">DefaultDisjointEdibleStuffType</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r7Wnl6HM-EdaAAAACs0uFOQ" class="cyc_term">SubmarineSandwich</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCgLpwpEbGdrcN5Y29ycA" class="cyc_term">Rice_Foodstuff</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvYhVmpwpEbGdrcN5Y29ycA" class="cyc_term">Sauerkraut</a>. 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 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 FoodProductTypeByBrand brand of food The collection of all brand name food products. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rPVrSPAbUQdeHZfMIuGmzig" class="cyc_term">FoodProductTypeByBrand</a> are collections of food products with a specific brand name (e.g. Quaker Oats Oatmeal or Yoplait Yogurt). FoodProductTypeByBrand brand of food The collection of all brand name food products. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rPVrSPAbUQdeHZfMIuGmzig" class="cyc_term">FoodProductTypeByBrand</a> are collections of food products with a specific brand name (e.g. Quaker Oats Oatmeal or Yoplait Yogurt). product type The collection of all types of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj27ZwpEbGdrcN5Y29ycA" class="cyc_term">PartiallyTangible</a> things that are usually/frequently commercially manufactured. This is context dependent. ManufacturedGoodsType 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 A collection of collections. Elements of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvom2E5wpEbGdrcN5Y29ycA" class="cyc_term">ProductTypeByBrand</a> are collections of products distinguished not only by being of the same generic ProductType, but also by sharing the same brand name (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViYmJwpEbGdrcN5Y29ycA" class="cyc_term">brandNameOfProductType</a>). Examples include MicrosoftOperatingSystem, and JosephSchmidtChocolates. For versions of product brands, see the spec <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwFrR-5wpEbGdrcN5Y29ycA" class="cyc_term">ProductTypeByBrandVersion</a>. ProductTypeByBrand brand-name product FoodProductTypeByBrand brand of food The collection of all brand name food products. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rPVrSPAbUQdeHZfMIuGmzig" class="cyc_term">FoodProductTypeByBrand</a> are collections of food products with a specific brand name (e.g. Quaker Oats Oatmeal or Yoplait Yogurt).