]> 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. Chocolate chocolate The tasty, chocolate-colored stuff most of us love to eat. http://en.wikipedia.org/wiki/Chocolate unsweetened baking chocolate The collection of all unsweetened baking chocolate that is used for making chocolate-flavored foods. BakingChocolate-Unsweetened milk chocolate The collection of all milk chocolate in any form. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjMWJwpEbGdrcN5Y29ycA" class="cyc_term">Chocolate</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r_ryJ8HS-EdaAAACgyZzFrg" class="cyc_term">SweetTaste</a>. The concept <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rNS_zgp9EEdaAAACgycbRww" class="cyc_term">MilkChocolate</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi9A5wpEbGdrcN5Y29ycA" class="cyc_term">DefaultDisjointEdibleStuffType</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViGSpwpEbGdrcN5Y29ycA" class="cyc_term">TangibleStuffCompositionType</a>. MilkChocolate <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw" class="cyc_term">broaderTerm</a> TERM1 TERM2)</code> means that <code>TERM2</code> is broader than <code>TERM1</code>, in an extremely general sense of "broader". For example, <code>TERM2</code> is, in the relevant sense, broader than <code>TERM1</code> if any of the following hold: <code>TERM2</code> is a collection that subsumes <code>TERM1</code>; <code>TERM2</code> is a collection that has <code>TERM1</code> as an instance; <code>TERM2</code> is a collection, instances of which have instances of the collection <code>TERM1</code> as parts; <code>TERM2</code> has <code>TERM1</code> as a part; This list of reasons for why <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw" class="cyc_term">broaderTerm</a> TERM1 TERM2)</code> could hold is not exhaustive, but it should give a good indication of how general the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw" class="cyc_term">broaderTerm</a> relation actually is. BT broaderTerm Chocolate The tasty, chocolate-colored stuff most of us love to eat. chocolate A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkEXpwpEbGdrcN5Y29ycA" class="cyc_term">Coffee_Beverage</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rEhsGXEIxQdiWoJEmZytFrQ" class="cyc_term">Mocha_CoffeeDrink</a> is a coffee drink made with espresso, chocolate, and steamed (but not frothed) milk. Mocha-CoffeeDrink mocha food composite This is the collection of food items that have been prepared and which contain two or more ingredients. It includes almost anything that is served as a dish at a meal. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPqcnZwpEbGdrcN5Y29ycA" class="cyc_term">FoodComposite</a> needn't be cooked, nor do the ingredients have to form a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjon5wpEbGdrcN5Y29ycA" class="cyc_term">Mixture</a>. The collection excludes beverages, and is thus a proper spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjNoJwpEbGdrcN5Y29ycA" class="cyc_term">EdibleStuffComposite</a>. FoodComposite Chocolate The tasty, chocolate-colored stuff most of us love to eat. chocolate 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. 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 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwMk4NJwpEbGdrcN5Y29ycA" class="cyc_term">BlackForestCake</a>s, which are chocolate cakes, usually containing cherry liqueur or <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjX4pwpEbGdrcN5Y29ycA" class="cyc_term">Rum</a> and cherries, and frosted with whipped icing. BlackForestCake black forest cake Chocolate The tasty, chocolate-colored stuff most of us love to eat. chocolate Chocolate The tasty, chocolate-colored stuff most of us love to eat. chocolate Chocolate The tasty, chocolate-colored stuff most of us love to eat. chocolate