]> 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. Cherry Coke CherryCoke The collection of instances Cherry Coke http://en.wikipedia.org/wiki/Coca-Cola_Cherry Diet Cherry Coke DietCherryCoke The collection of instances of Diet Cherry Coke Cherry Coke The collection of instances Cherry Coke CherryCoke Cherry Coke The collection of instances Cherry Coke CherryCoke ProductTypeByBrandVersion product name A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwFrR-5wpEbGdrcN5Y29ycA" class="cyc_term">ProductTypeByBrandVersion</a> is a collection of all instances of a particular version of a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvom2E5wpEbGdrcN5Y29ycA" class="cyc_term">ProductTypeByBrand</a>. The level of specificity here can vary. For example, VolkswagenJetta and VolkswagenJettaGTI would both be instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwFrR-5wpEbGdrcN5Y29ycA" class="cyc_term">ProductTypeByBrandVersion</a>, since both pick out not just a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvom2E5wpEbGdrcN5Y29ycA" class="cyc_term">ProductTypeByBrand</a> (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjKU5wpEbGdrcN5Y29ycA" class="cyc_term">VolkswagenCar</a>) but a specific, named version of that <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvom2E5wpEbGdrcN5Y29ycA" class="cyc_term">ProductTypeByBrand</a>. However, since it is a more specific subset, VolkswagenJettaGTI would be a spec of VolkswagenJetta. Those instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViqfpwpEbGdrcN5Y29ycA" class="cyc_term">FormalProductType</a> in which the product specification is restricted to a single <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViYmJwpEbGdrcN5Y29ycA" class="cyc_term">brandNameOfProductType</a>, such as PetcoGroomingPoodlePuppyCut are also instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwFrR-5wpEbGdrcN5Y29ycA" class="cyc_term">ProductTypeByBrandVersion</a>. tangible stuff type TangibleStuffCompositionType A collection of collections and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVny6pwpEbGdrcN5Y29ycA" class="cyc_term">ExistingStuffType</a>. Instances are subcollections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj27ZwpEbGdrcN5Y29ycA" class="cyc_term">PartiallyTangible</a> whose membership is based only on the physical and/or chemical composition of their instances. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViGSpwpEbGdrcN5Y29ycA" class="cyc_term">TangibleStuffCompositionType</a> does not have as instances collections whose instances are determined _solely_ by the physical state they are in -- for that, see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgDEAJwpEbGdrcN5Y29ycA" class="cyc_term">TangibleStuffStateType</a>. However, many substances that chemically break down before melting (e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjc_ZwpEbGdrcN5Y29ycA" class="cyc_term">FattyTissue</a>) _are_ included in this collection, even though they exist solely in one physical state. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA" class="cyc_term">Water</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViGSpwpEbGdrcN5Y29ycA" class="cyc_term">TangibleStuffCompositionType</a>, as instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA" class="cyc_term">Water</a> are all pieces of substance with the chemical composition H20. On the other hand , the collection of all pieces of ice (i.e. (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzX0JwpEbGdrcN5Y29ycA" class="cyc_term">SolidFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA" class="cyc_term">Water</a>)) is not a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViGSpwpEbGdrcN5Y29ycA" class="cyc_term">TangibleStuffCompositionType</a>, because membership in that collection depends on the substance's composition _and_ on its physical state. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVikqZwpEbGdrcN5Y29ycA" class="cyc_term">TalcumPowder</a> is not an instance of this collection because a fused mass of the substance would no longer be powder, but would still be of the same <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViGSpwpEbGdrcN5Y29ycA" class="cyc_term">TangibleStuffCompositionType</a>. Further instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViGSpwpEbGdrcN5Y29ycA" class="cyc_term">TangibleStuffCompositionType</a> are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi30pwpEbGdrcN5Y29ycA" class="cyc_term">Nylon</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjxdpwpEbGdrcN5Y29ycA" class="cyc_term">GasolineFuel</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjc_ZwpEbGdrcN5Y29ycA" class="cyc_term">FattyTissue</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj8apwpEbGdrcN5Y29ycA" class="cyc_term">Nitrogen</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViG-5wpEbGdrcN5Y29ycA" class="cyc_term">Glass</a>. An important specialization of this collection is <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjNlZwpEbGdrcN5Y29ycA" class="cyc_term">ChemicalSubstanceType</a> -- those substance types defined solely by their chemical formulae. Cherry Coke The collection of instances Cherry Coke CherryCoke The collection of instances of different varieties of The Real Thing CocaCola Coca Cola 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). Cherry Coke The collection of instances Cherry Coke CherryCoke