<?xml version="1.0" encoding="UTF-8"?>

<?xml-stylesheet type="text/xsl" href="http://sw.opencyc.org/xsl/OpenCycOWLCollectionDisplayLatest.xsl"?>

<!DOCTYPE rdf:RDF [
     <!ENTITY ocyc "http://sw.opencyc.org/concept/" >
     <!ENTITY cyc  "http://sw.cyc.com/concept/" >
     <!ENTITY rdf  "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
     <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
     <!ENTITY xsd  "http://www.w3.org/2001/XMLSchema#" >
     <!ENTITY owl  "http://www.w3.org/2002/07/owl#" >
   ]>

<rdf:RDF xml:base="http://sw.opencyc.org/concept/"
         xmlns="http://sw.opencyc.org/concept/"
         xmlns:cycAnnot="http://sw.cyc.com/CycAnnotations_v1#"
         xmlns:rdf="&rdf;"
         xmlns:rdfs="&rdfs;"
         xmlns:owl="&owl;"
         xmlns:xsd="&xsd;">

  <owl:Ontology rdf:about="http://sw.opencyc.org/concept/">
    <owl:versionInfo>2009/04/07</owl:versionInfo>
    <rdfs:comment xml:lang="en">

       OpenCyc Knowledge Base

       Copyright© 2001-2009 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 &quot;Work&quot; 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.

       Mappings between OpenCyc terms and Wikipedia article names provided by
       Olena Medelyan and Catherine Legg, University of Waikato, NZ under a Creative 
       Commons Attribution 3.0 license.

    </rdfs:comment>
  </owl:Ontology>

  <owl:AnnotationProperty rdf:about="http://sw.cyc.com/CycAnnotations_v1#externalID">
    <rdfs:label xml:lang="en">externalID</rdfs:label>
    <rdfs:comment xml:lang="en">
      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.
    </rdfs:comment>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
  </owl:AnnotationProperty>

  <owl:AnnotationProperty rdf:about="http://sw.cyc.com/CycAnnotations_v1#label">
    <rdfs:label xml:lang="en">label</rdfs:label>
    <rdfs:comment xml:lang="en">
      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.
    </rdfs:comment>
  </owl:AnnotationProperty>

  <owl:Class rdf:about="Mx4rvVj1EpwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">IceCream</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjM3ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;DairyProduct&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVkKypwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;DessertFood&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj1EpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;IceCream&lt;/a&gt; is some ice cream.</rdfs:comment>
    <rdfs:label xml:lang="en">ice cream</rdfs:label>
    <rdfs:subClassOf rdf:resource="Mx4rvVjon5wpEbGdrcN5Y29ycA"/>
    <rdfs:subClassOf rdf:resource="Mx4rllf_ZHS7EdaAAACgyZzFrg"/>
    <rdfs:subClassOf rdf:resource="Mx4rvVjM3ZwpEbGdrcN5Y29ycA"/>
    <rdfs:subClassOf rdf:resource="Mx4rwPqcnZwpEbGdrcN5Y29ycA"/>
    <rdfs:subClassOf rdf:resource="Mx4rvVkKypwpEbGdrcN5Y29ycA"/>
    <rdfs:subClassOf rdf:resource="Mx4rvplbE5wpEbGdrcN5Y29ycA"/>
    <rdf:type rdf:resource="Mx4rvZChkpwpEbGdrcN5Y29ycA"/>
    <rdf:type rdf:resource="Mx4rvViGSpwpEbGdrcN5Y29ycA"/>
    <rdf:type rdf:resource="Mx4rAl328CKLEdeIqACgycbRfg"/>
    <owl:sameAs rdf:resource="&cyc;Mx4rvVj1EpwpEbGdrcN5Y29ycA"/>
    <owl:sameAs rdf:resource="http://umbel.org/umbel/sc/IceCream"/>
    <owl:sameAs rdf:resource="http://dbpedia.org/resource/Ice_cream"/>
    <Mx4rTv-jk9SPTXa991kk5mAvHg>Ice cream</Mx4rTv-jk9SPTXa991kk5mAvHg>
    <Mx4rNv0nbm4TTjOp7yhmnzOyqg>http://en.wikipedia.org/wiki/Ice_cream</Mx4rNv0nbm4TTjOp7yhmnzOyqg>
    <Mx4riWVFR6HJSpaEaHrcWS3MSA>http://www.w3.org/2006/03/wn/wn20/instances/synset-ice_cream-noun-1</Mx4riWVFR6HJSpaEaHrcWS3MSA>
  </owl:Class>

  <owl:Class rdf:about="Mx4rwPqcnZwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">FoodComposite</cycAnnot:label>
    <rdfs:comment xml:lang="en">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. &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwPqcnZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FoodComposite&lt;/a&gt; needn&apos;t be cooked, nor do the ingredients have to form a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjon5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Mixture&lt;/a&gt;.  The collection excludes beverages, and is thus a proper spec of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjNoJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;EdibleStuffComposite&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">food composite</rdfs:label>
  </owl:Class>

  <owl:ObjectProperty rdf:about="Mx4rNv0nbm4TTjOp7yhmnzOyqg">
    <rdfs:label xml:lang="en">Wikipedia Article URL</rdfs:label>
    <rdfs:comment xml:lang="en">(&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rNv0nbm4TTjOp7yhmnzOyqg&quot; class=&quot;cyc_term&quot;&gt;wikipediaArticleURL&lt;/a&gt; THING URL) means that in &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rtqXA6OC8QdiWC72DuLJdUw&quot; class=&quot;cyc_term&quot;&gt;Wikipedia_WebSite&lt;/a&gt; THING is described by an article located at URL</rdfs:comment>
    <cycAnnot:label xml:lang="en">wikipediaArticleURL</cycAnnot:label>
  </owl:ObjectProperty>

  <owl:ObjectProperty rdf:about="Mx4riWVFR6HJSpaEaHrcWS3MSA">
    <cycAnnot:label xml:lang="en">seeAlsoURI</cycAnnot:label>
    <rdfs:comment xml:lang="en">&lt;code&gt;(&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4riWVFR6HJSpaEaHrcWS3MSA&quot; class=&quot;cyc_term&quot;&gt;seeAlsoURI&lt;/a&gt; &lt;b&gt;THING&lt;/b&gt; &lt;b&gt;URI&lt;/b&gt;)&lt;/code&gt; means that a description of the resource identified by URI is likely to contain information pertinent to THING.  This predicate is roughly equivalent to rdfs:seeAlso.</rdfs:comment>
    <rdfs:label xml:lang="en">See Also URI</rdfs:label>
  </owl:ObjectProperty>

  <owl:Class rdf:about="Mx4rvplbE5wpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">This is the subcollection of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVi9i5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Food&lt;/a&gt; that is normally in a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjZVpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Solid_StateOfMatter&lt;/a&gt; when eaten.</rdfs:comment>
    <cycAnnot:label xml:lang="en">SolidFood</cycAnnot:label>
    <rdfs:label xml:lang="en">solid food</rdfs:label>
  </owl:Class>

  <owl:Thing rdf:about="http://umbel.org/umbel/sc/IceCream">
    <cycAnnot:label xml:lang="en">IceCream</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjM3ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;DairyProduct&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVkKypwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;DessertFood&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj1EpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;IceCream&lt;/a&gt; is some ice cream.</rdfs:comment>
    <rdfs:label xml:lang="en">ice cream</rdfs:label>
  </owl:Thing>

  <owl:Class rdf:about="Mx4rvVjon5wpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">Mixture</cycAnnot:label>
    <rdfs:label xml:lang="en">combination</rdfs:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj27ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PartiallyTangible&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjon5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Mixture&lt;/a&gt; is a homogeneous partially tangible thing composed of two or more different constituents (see the predicate &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjSd5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;constituents&lt;/a&gt;) which have been mixed.  The  inputs to this mixing do not form chemical bonds among themselves, and at a later time the mixture may be separated back out into these inputs.  Specializations of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjon5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Mixture&lt;/a&gt; include &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjI8JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Blood&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvgC2EpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Mud&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjADJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Air&lt;/a&gt;, and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVi0TZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CarbonatedBeverage&lt;/a&gt;.  Note that each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjon5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Mixture&lt;/a&gt; has a composition but not a structure; thus, the following are _not_ instances of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjon5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Mixture&lt;/a&gt;, since all have some structure: a wet sponge, a person, or a portion of plywood.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvZChkpwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">snack food</rdfs:label>
    <cycAnnot:label xml:lang="en">SnackFoodType</cycAnnot:label>
    <rdfs:comment xml:lang="en">Instances are types of food which are typically eaten as snacks, and less commonly (though certainly plausibly) eaten as a meal or as part of a meal.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVkKypwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">dessert</rdfs:label>
    <rdfs:comment xml:lang="en">A collection of tangible stuff.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVkKypwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;DessertFood&lt;/a&gt; is an item of food which, in its prepared state, is customarily eaten by people as part of the &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwQCDd5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;DessertCourse&lt;/a&gt; of a meal.  For example, (in &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjzLJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;NorthAmericanCuisine&lt;/a&gt;,) ice cream, cake, pie.</rdfs:comment>
    <cycAnnot:label xml:lang="en">DessertFood</cycAnnot:label>
  </owl:Class>

  <owl:Thing rdf:about="http://dbpedia.org/resource/Ice_cream">
    <cycAnnot:label xml:lang="en">IceCream</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjM3ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;DairyProduct&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVkKypwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;DessertFood&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj1EpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;IceCream&lt;/a&gt; is some ice cream.</rdfs:comment>
    <rdfs:label xml:lang="en">ice cream</rdfs:label>
  </owl:Thing>

  <owl:Class rdf:about="&cyc;Mx4rvVj1EpwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">IceCream</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjM3ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;DairyProduct&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVkKypwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;DessertFood&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj1EpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;IceCream&lt;/a&gt; is some ice cream.</rdfs:comment>
    <rdfs:label xml:lang="en">ice cream</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvViGSpwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">TangibleStuffCompositionType</cycAnnot:label>
    <rdfs:label xml:lang="en">tangible stuff type</rdfs:label>
    <rdfs:comment xml:lang="en">A collection of collections and a specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVny6pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ExistingStuffType&lt;/a&gt;.  Instances are subcollections of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj27ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PartiallyTangible&lt;/a&gt; whose membership is based only on the physical and/or chemical composition of their instances. &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViGSpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TangibleStuffCompositionType&lt;/a&gt; does not have as instances collections whose instances are determined _solely_ by the physical state they are in -- for that, see &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvgDEAJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TangibleStuffStateType&lt;/a&gt;.  However, many substances that chemically break down before melting (e.g. &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjc_ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FattyTissue&lt;/a&gt;) _are_ included in this collection, even though they exist solely in one physical state.  

The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Water&lt;/a&gt; is an instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViGSpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TangibleStuffCompositionType&lt;/a&gt;, as instances of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Water&lt;/a&gt; are all pieces of substance with the chemical composition H20.  On the other hand , the collection of all pieces of ice (i.e. (&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rwPzX0JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SolidFn&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Water&lt;/a&gt;)) is not a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViGSpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TangibleStuffCompositionType&lt;/a&gt;, because membership in that collection depends on the substance&apos;s composition _and_ on its physical state. 

&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVikqZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TalcumPowder&lt;/a&gt; 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  &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViGSpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TangibleStuffCompositionType&lt;/a&gt;.

Further instances of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViGSpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TangibleStuffCompositionType&lt;/a&gt; are &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVi30pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Nylon&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjxdpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;GasolineFuel&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjc_ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FattyTissue&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj8apwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Nitrogen&lt;/a&gt;, and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViG-5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Glass&lt;/a&gt;. An important specialization of this collection is &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjNlZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ChemicalSubstanceType&lt;/a&gt; -- those substance types defined solely by their chemical formulae.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rAl328CKLEdeIqACgycbRfg">
    <rdfs:label xml:lang="en">food or drink type having color correlation</rdfs:label>
    <cycAnnot:label xml:lang="en">FoodOrDrinkTypeHavingColorCorrelation</cycAnnot:label>
    <rdfs:comment xml:lang="en">A collection of collections.  Each instance FOODTYPE is a specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjmnJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FoodOrDrink&lt;/a&gt; such that for each instance FOODITEM of FOODTYPE, the color of FOODITEM can be guessed from its flavor, if its flavor is correlated with some color by the predicate &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rAl328SKLEdeIqACgycbRfg&quot; class=&quot;cyc_term&quot;&gt;correlatedColor&lt;/a&gt;.  More precisely, for any specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjmnJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FoodOrDrink&lt;/a&gt; FOODTYPE, the assertion (isa FOODTYPE &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rAl328CKLEdeIqACgycbRfg&quot; class=&quot;cyc_term&quot;&gt;FoodOrDrinkTypeHavingColorCorrelation&lt;/a&gt;) is true iff, for any instance FOODITEM of FOODTYPE, we can infer that (&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rAl3P4CKLEdeIqACgycbRfg&quot; class=&quot;cyc_term&quot;&gt;objectHasColor&lt;/a&gt; FOODITEM COLOR) if we know that (&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4revZG8H8AEdaAAAABAjVgzA&quot; class=&quot;cyc_term&quot;&gt;tasteOfObject&lt;/a&gt; FOODITEM TASTE) and (&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rAl328SKLEdeIqACgycbRfg&quot; class=&quot;cyc_term&quot;&gt;correlatedColor&lt;/a&gt; TASTE COLOR).  For example, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rLUJCioLXEdaAAAACs0uFOQ&quot; class=&quot;cyc_term&quot;&gt;RockCandy&lt;/a&gt; is an instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rAl328CKLEdeIqACgycbRfg&quot; class=&quot;cyc_term&quot;&gt;FoodOrDrinkTypeHavingColorCorrelation&lt;/a&gt; because lemon-flavored candy is normally yellow, cherry-flavored candy is normally red, etc.  A counterexample is &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvViLDpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Tea_Beverage&lt;/a&gt;, whose lemon-flavored instances are not normally yellow.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rllf_ZHS7EdaAAACgyZzFrg">
    <rdfs:comment xml:lang="en">The collection of all frozen food. A type of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4r9bQiUimGEdqAAAACs2IMmw&quot; class=&quot;cyc_term&quot;&gt;ConvenienceFood&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rWY_N1ibjEdqAAAACs2IMmw&quot; class=&quot;cyc_term&quot;&gt;PreparedFood&lt;/a&gt;. The collection &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rllf_ZHS7EdaAAACgyZzFrg&quot; class=&quot;cyc_term&quot;&gt;Frozen&lt;/a&gt; is a &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rQkMCZCbuEdqAAAACs2IMmw&quot; class=&quot;cyc_term&quot;&gt;FoodTypeByPreparationStyle&lt;/a&gt; and an &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rrfiZ_nSwEdaAAACgyZzFrg&quot; class=&quot;cyc_term&quot;&gt;EdibleStuffTypeByPreparationStyle&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">Frozen</cycAnnot:label>
    <rdfs:label xml:lang="en">frozen food</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVjM3ZwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">dairy product</rdfs:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjmnJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FoodOrDrink&lt;/a&gt; and an instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVidHJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FoodGroup&lt;/a&gt;.  Each instance of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjM3ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;DairyProduct&lt;/a&gt; is a foodstuff that is milk or processed milk.  Important specializations of &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjM3ZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;DairyProduct&lt;/a&gt; include &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVi3fpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CowsMilk_Product&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVjOAZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Cheese&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj3aZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Butter&lt;/a&gt;, and &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rvVj1EpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;IceCream&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">DairyProduct</cycAnnot:label>
  </owl:Class>

  <owl:ObjectProperty rdf:about="Mx4rTv-jk9SPTXa991kk5mAvHg">
    <cycAnnot:label xml:lang="en">wikipediaArticleName</cycAnnot:label>
    <rdfs:comment xml:lang="en">(&lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rTv-jk9SPTXa991kk5mAvHg&quot; class=&quot;cyc_term&quot;&gt;wikipediaArticleName&lt;/a&gt; THING NAME) means that in &lt;a href=&quot;http://sw.opencyc.org/concept/Mx4rtqXA6OC8QdiWC72DuLJdUw&quot; class=&quot;cyc_term&quot;&gt;Wikipedia_WebSite&lt;/a&gt; THING is described by an article with the title NAME</rdfs:comment>
    <rdfs:label xml:lang="en">Wikipedia Article Name</rdfs:label>
  </owl:ObjectProperty>

</rdf:RDF>
