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

<?xml-stylesheet type="text/xsl" href="http://sw.opencyc.org/xsl/OpenCycOWLCollectionDisplayVersioned.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/2008/06/10/concept/"
         xmlns="http://sw.opencyc.org/2008/06/10/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/2008/06/10/concept/">
    <owl:versionInfo>2008/06/10</owl:versionInfo>
    <rdfs:comment xml:lang="en">

      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.

    </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="Mx4rvVjU2JwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAp5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ScalarInterval&lt;/a&gt;. Each instance of this collection is a value by means of which payments, wealth, capital, assets, etc., are measured.  Each instance of this collection is thus an abstract object, not to be confused with the physical objects used as legal tender. For those, see &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjMQpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Currency&lt;/a&gt;, though it is worth noting that each coin, bill, etc. that is an instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjMQpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Currency&lt;/a&gt;, is typically _stably associated with_ some particular instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjU2JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MonetaryValue&lt;/a&gt;.
&lt;p/&gt;
Nor is &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjU2JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MonetaryValue&lt;/a&gt; to be confused with the many and varied social practices (such as a backed claim for a certain amount of physical wealth payable by the government on demand), which create money qua social institution and underpin all financial transactions. For that, see &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rnPC0bnf6EdaAAAABAxv-7A&quot; class=&quot;cyc_term&quot;&gt;Money_DevisedPractice&lt;/a&gt;.
&lt;p/&gt;
Since instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjU2JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MonetaryValue&lt;/a&gt; are not pure numbers but quantities of some particular currency, they are denoted by means of the collection &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViDxZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;UnitOfMoney&lt;/a&gt;. Each instance of this collection is a function which (like many Cyc functions which are instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAqpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;UnitOfMeasure&lt;/a&gt;) either takes one argument and returns a fixed amount of money, e.g. (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkBnZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Dollar_Australia&lt;/a&gt; 4) or takes two arguments and returns a range, e.g. (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjVL5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Shilling_Uganda&lt;/a&gt; 2 2000). Since currencies may appreciate or depreciate in value over time, and this information is sometimes relevant, it is possible to index instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViDxZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;UnitOfMoney&lt;/a&gt; temporally by means of further functions. For example, ((&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rv4MwxJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;USDollarFn&lt;/a&gt; 1997) 2) denotes the monetary value of 2 US dollars in the year 1997. See also &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkKMpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MoneyTransfer&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rYK1JMngNEdaAAAABAxv-7A&quot; class=&quot;cyc_term&quot;&gt;monetaryValueOfThing&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjUlZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;cost&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViMf5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;basicPrice&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">monetary value</rdfs:label>
    <cycAnnot:label xml:lang="en">MonetaryValue</cycAnnot:label>
    <rdfs:subClassOf rdf:resource="Mx4r0kgX-GVaQdea7Z57nVWtVw"/>
    <rdfs:subClassOf rdf:resource="Mx4rhLRmOvbJEdyAAADggVbxzQ"/>
    <rdfs:subClassOf rdf:resource="Mx4rUstvYKCIQdiBWaekaRIs-w"/>
    <rdf:type rdf:resource="Mx4r56eeEGJsQdiTqsCVYVIyig"/>
    <rdf:type rdf:resource="Mx4r66Wn3GJsQdiGkvz3UXAS7A"/>
    <rdf:type rdf:resource="Mx4r6W3V8mJsQdiagt38z5qkLQ"/>
    <rdf:type rdf:resource="Mx4rqEYnNVMqEdaSKAACs0x8nw"/>
    <rdf:type rdf:resource="Mx4rvVkFnZwpEbGdrcN5Y29ycA"/>
    <owl:sameAs rdf:resource="http://umbel.org/umbel/sc/MonetaryValue"/>
    <owl:sameAs rdf:resource="&cyc;Mx4rvVjU2JwpEbGdrcN5Y29ycA"/>
    <owl:sameAs rdf:resource="&ocyc;Mx4rvVjU2JwpEbGdrcN5Y29ycA"/>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">monetary values</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">values</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">size</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">money</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
    <Mx4rwLSVCpwpEbGdrcN5Y29ycA xml:lang="en">value</Mx4rwLSVCpwpEbGdrcN5Y29ycA>
  </owl:Class>

  <owl:Class rdf:about="Mx4rrzX6ditZQdiRrpuOpUGolg">
    <rdfs:subClassOf rdf:resource="Mx4rvVjU2JwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">Retail</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of all retail. A type of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjU2JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MonetaryValue&lt;/a&gt;. &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rrzX6ditZQdiRrpuOpUGolg&quot; class=&quot;cyc_term&quot;&gt;Retail&lt;/a&gt; is a &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkDZJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;QuantityType&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">retail</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rpa6-xCM3EduAAADggVbxzQ">
    <rdfs:subClassOf rdf:resource="Mx4rvVjU2JwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">ExpenseFigure</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjU2JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MonetaryValue&lt;/a&gt;.  Membership in this collection is dependent on occurrence as an argument in a true sentence whose arg0 is an instance of &lt;font color=&quot;#ff0000&quot;&gt;#$ExpensePredicate&lt;/font&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">expense figure</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx8Ngx4rwEcGC5wpEbGdrcN5Y29ycB4r0Nnh5iJqEduAAADggVbxzR4rvVjU2JwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvVjU2JwpEbGdrcN5Y29ycA"/>
    <rdfs:label xml:lang="en">investment-related monetary figure</rdfs:label>
    <cycAnnot:label xml:lang="en">(CollectionIntersection2Fn InvestmentRelatedThing MonetaryValue)</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rWuVAliMbEduAAADggVbxzQ">
    <rdfs:subClassOf rdf:resource="Mx4rvVjU2JwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">EarningsFigure</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjU2JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MonetaryValue&lt;/a&gt;.  Membership in this collection is dependent on occurrence as an argument in a true sentence whose arg0 is an instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4re6yIdhFAEduAAAAOpmP6eA&quot; class=&quot;cyc_term&quot;&gt;IncomeMeasurePredicate&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">earnings figure</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rR-LhgisyEdiaugAH6RYvVQ">
    <rdfs:subClassOf rdf:resource="Mx4rvVjU2JwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">Handout</cycAnnot:label>
    <rdfs:label xml:lang="en">handout</rdfs:label>
    <rdfs:comment xml:lang="en">The collection of all handouts. A type of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjU2JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MonetaryValue&lt;/a&gt;. &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rR-LhgisyEdiaugAH6RYvVQ&quot; class=&quot;cyc_term&quot;&gt;Handout&lt;/a&gt; is a &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkDZJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;QuantityType&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx8Ngx4rwEcGC5wpEbGdrcN5Y29ycB4rvVjU2JwpEbGdrcN5Y29ycB4rvbempJwpEbGdrcN5Y29ycA">
    <rdfs:subClassOf rdf:resource="Mx4rvVjU2JwpEbGdrcN5Y29ycA"/>
    <cycAnnot:label xml:lang="en">(CollectionIntersection2Fn MonetaryValue NegativeScalarInterval)</cycAnnot:label>
    <rdfs:label xml:lang="en">monetary value that is also a negative scalar interval</rdfs:label>
  </owl:Class>

  <Mx4rvVjU2JwpEbGdrcN5Y29ycA rdf:about="Mx4rvVkGTpwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">GreatWealth</cycAnnot:label>
    <rdfs:label xml:lang="en">wealth</rdfs:label>
    <rdfs:comment xml:lang="en">The approximate amount of wealth that one would consider a very rich and perhaps famous person (like a millionaire) to own.</rdfs:comment>
  </Mx4rvVjU2JwpEbGdrcN5Y29ycA>

  <Mx4rvVjU2JwpEbGdrcN5Y29ycA rdf:about="Mx8Ngh4rvgDGhZwpEbGdrcN5Y29ycB4rvVjU2JwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">a high level of monetary values</rdfs:label>
    <cycAnnot:label xml:lang="en">(HighAmountFn MonetaryValue)</cycAnnot:label>
  </Mx4rvVjU2JwpEbGdrcN5Y29ycA>

  <Mx4rvVjU2JwpEbGdrcN5Y29ycA rdf:about="Mx8Ngh4rXHRCNOPTQdeBI7GTe39GSh4rvVjU2JwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">(PositiveAmountFn MonetaryValue)</cycAnnot:label>
    <rdfs:label xml:lang="en">a positive amount of monetary values</rdfs:label>
  </Mx4rvVjU2JwpEbGdrcN5Y29ycA>

  <Mx4rvVjU2JwpEbGdrcN5Y29ycA rdf:about="Mx8Ngh4rvgDE9ZwpEbGdrcN5Y29ycB4rvVjU2JwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">a very low level of monetary values</rdfs:label>
    <cycAnnot:label xml:lang="en">(VeryLowAmountFn MonetaryValue)</cycAnnot:label>
  </Mx4rvVjU2JwpEbGdrcN5Y29ycA>

  <Mx4rvVjU2JwpEbGdrcN5Y29ycA rdf:about="Mx4rvVjPx5wpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">a few hundred dollars</rdfs:label>
    <cycAnnot:label xml:lang="en">AFewHundredDollars</cycAnnot:label>
  </Mx4rvVjU2JwpEbGdrcN5Y29ycA>

  <Mx4rvVjU2JwpEbGdrcN5Y29ycA rdf:about="Mx4rvVi-SJwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">Inexpensive</cycAnnot:label>
    <rdfs:label xml:lang="en">inexpensiveness</rdfs:label>
  </Mx4rvVjU2JwpEbGdrcN5Y29ycA>

  <Mx4rvVjU2JwpEbGdrcN5Y29ycA rdf:about="Mx4rvVjPhZwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjPhZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Free_MonetaryCost&lt;/a&gt; is the zero &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjUlZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;cost&lt;/a&gt; of something that is basically free, that is, something bought, or available, for nothing  - without payment of money.  See also the function &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvyz3xZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FreeThingOfTypeFn&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">no-cost</rdfs:label>
    <cycAnnot:label xml:lang="en">Free-MonetaryCost</cycAnnot:label>
  </Mx4rvVjU2JwpEbGdrcN5Y29ycA>

  <Mx4rvVjU2JwpEbGdrcN5Y29ycA rdf:about="Mx8Ngh4rvgDDa5wpEbGdrcN5Y29ycB4rvVjU2JwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">a low level of monetary value</rdfs:label>
    <cycAnnot:label xml:lang="en">(LowAmountFn MonetaryValue)</cycAnnot:label>
  </Mx4rvVjU2JwpEbGdrcN5Y29ycA>

  <Mx4rvVjU2JwpEbGdrcN5Y29ycA rdf:about="Mx4rvVi9xJwpEbGdrcN5Y29ycA">
    <cycAnnot:label xml:lang="en">Expensive</cycAnnot:label>
    <rdfs:label xml:lang="en">expensiveness</rdfs:label>
  </Mx4rvVjU2JwpEbGdrcN5Y29ycA>

  <owl:Class rdf:about="&ocyc;Mx4rvVjU2JwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAp5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ScalarInterval&lt;/a&gt;. Each instance of this collection is a value by means of which payments, wealth, capital, assets, etc., are measured.  Each instance of this collection is thus an abstract object, not to be confused with the physical objects used as legal tender. For those, see &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjMQpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Currency&lt;/a&gt;, though it is worth noting that each coin, bill, etc. that is an instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjMQpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Currency&lt;/a&gt;, is typically _stably associated with_ some particular instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjU2JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MonetaryValue&lt;/a&gt;.
&lt;p/&gt;
Nor is &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjU2JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MonetaryValue&lt;/a&gt; to be confused with the many and varied social practices (such as a backed claim for a certain amount of physical wealth payable by the government on demand), which create money qua social institution and underpin all financial transactions. For that, see &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rnPC0bnf6EdaAAAABAxv-7A&quot; class=&quot;cyc_term&quot;&gt;Money_DevisedPractice&lt;/a&gt;.
&lt;p/&gt;
Since instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjU2JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MonetaryValue&lt;/a&gt; are not pure numbers but quantities of some particular currency, they are denoted by means of the collection &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViDxZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;UnitOfMoney&lt;/a&gt;. Each instance of this collection is a function which (like many Cyc functions which are instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAqpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;UnitOfMeasure&lt;/a&gt;) either takes one argument and returns a fixed amount of money, e.g. (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkBnZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Dollar_Australia&lt;/a&gt; 4) or takes two arguments and returns a range, e.g. (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjVL5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Shilling_Uganda&lt;/a&gt; 2 2000). Since currencies may appreciate or depreciate in value over time, and this information is sometimes relevant, it is possible to index instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViDxZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;UnitOfMoney&lt;/a&gt; temporally by means of further functions. For example, ((&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rv4MwxJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;USDollarFn&lt;/a&gt; 1997) 2) denotes the monetary value of 2 US dollars in the year 1997. See also &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkKMpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MoneyTransfer&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rYK1JMngNEdaAAAABAxv-7A&quot; class=&quot;cyc_term&quot;&gt;monetaryValueOfThing&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjUlZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;cost&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViMf5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;basicPrice&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">monetary value</rdfs:label>
    <cycAnnot:label xml:lang="en">MonetaryValue</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4r6W3V8mJsQdiagt38z5qkLQ">
    <cycAnnot:label xml:lang="en">MoneyAndIncome-Financial-Topic</cycAnnot:label>
    <rdfs:comment xml:lang="en">A &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rAmoSCGJbQdiSXZJvYiNhkQ&quot; class=&quot;cyc_term&quot;&gt;CycVocabularyTopic&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rtGXkHpNaEdqAAAACs0uFOQ&quot; class=&quot;cyc_term&quot;&gt;KBDependentCollection&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">money and income financial topic</rdfs:label>
  </owl:Class>

  <owl:Thing rdf:about="http://umbel.org/umbel/sc/MonetaryValue">
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAp5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ScalarInterval&lt;/a&gt;. Each instance of this collection is a value by means of which payments, wealth, capital, assets, etc., are measured.  Each instance of this collection is thus an abstract object, not to be confused with the physical objects used as legal tender. For those, see &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjMQpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Currency&lt;/a&gt;, though it is worth noting that each coin, bill, etc. that is an instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjMQpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Currency&lt;/a&gt;, is typically _stably associated with_ some particular instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjU2JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MonetaryValue&lt;/a&gt;.
&lt;p/&gt;
Nor is &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjU2JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MonetaryValue&lt;/a&gt; to be confused with the many and varied social practices (such as a backed claim for a certain amount of physical wealth payable by the government on demand), which create money qua social institution and underpin all financial transactions. For that, see &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rnPC0bnf6EdaAAAABAxv-7A&quot; class=&quot;cyc_term&quot;&gt;Money_DevisedPractice&lt;/a&gt;.
&lt;p/&gt;
Since instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjU2JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MonetaryValue&lt;/a&gt; are not pure numbers but quantities of some particular currency, they are denoted by means of the collection &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViDxZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;UnitOfMoney&lt;/a&gt;. Each instance of this collection is a function which (like many Cyc functions which are instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAqpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;UnitOfMeasure&lt;/a&gt;) either takes one argument and returns a fixed amount of money, e.g. (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkBnZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Dollar_Australia&lt;/a&gt; 4) or takes two arguments and returns a range, e.g. (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjVL5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Shilling_Uganda&lt;/a&gt; 2 2000). Since currencies may appreciate or depreciate in value over time, and this information is sometimes relevant, it is possible to index instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViDxZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;UnitOfMoney&lt;/a&gt; temporally by means of further functions. For example, ((&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rv4MwxJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;USDollarFn&lt;/a&gt; 1997) 2) denotes the monetary value of 2 US dollars in the year 1997. See also &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkKMpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MoneyTransfer&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rYK1JMngNEdaAAAABAxv-7A&quot; class=&quot;cyc_term&quot;&gt;monetaryValueOfThing&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjUlZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;cost&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViMf5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;basicPrice&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">monetary value</rdfs:label>
    <cycAnnot:label xml:lang="en">MonetaryValue</cycAnnot:label>
  </owl:Thing>

  <owl:Class rdf:about="Mx4r66Wn3GJsQdiGkvz3UXAS7A">
    <rdfs:label xml:lang="en">scalar intervals quantity topic</rdfs:label>
    <cycAnnot:label xml:lang="en">ScalarIntervals-Quantity-Topic</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rqEYnNVMqEdaSKAACs0x8nw">
    <cycAnnot:label xml:lang="en">AtemporalNecessarilyEssentialCollectionType</cycAnnot:label>
    <rdfs:comment xml:lang="en">A collection of collections.  Each instance &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt; of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rqEYnNVMqEdaSKAACs0x8nw&quot; class=&quot;cyc_term&quot;&gt;AtemporalNecessarilyEssentialCollectionType&lt;/a&gt; (&lt;i&gt;ANECT&lt;/i&gt;) is a collection satisfying three conditions: (1) &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt; is disjoint with (see &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA45wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;disjointWith&lt;/a&gt;) &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TemporalThing&lt;/a&gt;, (2) every instance &lt;code&gt;&lt;b&gt;INST&lt;/b&gt;&lt;/code&gt; of &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt; is an instance of &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt; essentially (i.e. &lt;code&gt;&lt;b&gt;INST&lt;/b&gt;&lt;/code&gt; is an instance of &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt;, and could not exist without being an instance of &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt;), and (3) condition (2) is a necessary truth about &lt;code&gt;&lt;b&gt;COL&lt;/b&gt;&lt;/code&gt;.
&lt;p/&gt;
Positive examples of ANECTs include &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Collection&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieEpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Integer&lt;/a&gt;, and &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Relation&lt;/a&gt; (each of which is a collection of atemporals and is such that, necessarily, all of its instances are in it essentially).  Negative examples include &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjpUZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;SpatialThing&lt;/a&gt; (though arguably it is necessary that all of its instances are essentially instances of it, it is not disjoint with &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TemporalThing&lt;/a&gt;) and &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwP4FM5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;UniqueAnatomicalPartType&lt;/a&gt; (which, though disjoint with &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TemporalThing&lt;/a&gt;, has instances, such as &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjvDpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Heart&lt;/a&gt;, that could exist even if they weren&apos;t instances of it; e.g. it might have been the case that every creature with a heart had at least two hearts).  There are no known examples of Cyc-reified collections satisfying conditions (1) and (2) but not (3), but one can be contrived.  Suppose that all of today&apos;s winning lottery numbers were primes.  Now consider the collection:
&lt;p/&gt;
 (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvrhK-JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;CollectionUnionFn&lt;/a&gt; 
   (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjkdpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TheSet&lt;/a&gt; &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjrdZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PrimeNumber&lt;/a&gt; &lt;i&gt;TodaysWinningLotteryNumbers&lt;/i&gt;))
&lt;p/&gt;
This collection is clearly disjoint with &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;TemporalThing&lt;/a&gt; and, by hypothesis, all of its instances are in it essentially (as each prime number is essentially a prime number).  But this last fact is not &lt;i&gt;necessarily&lt;/i&gt; true of this collection: the collection might have had instances that belonged to it only contingently (i.e. not essentially), as it might have been the case that one of today&apos;s winning lottery numbers was non-prime, and no number is such that it is essentially one of today&apos;s winning lottery numbers.
&lt;p/&gt;
When asserting that something is an instance or specialization of a given instance of ANECT, it is appropriate to do so in the &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4r3_SgQU2iEdaCwAACs0x8nw&quot; class=&quot;cyc_term&quot;&gt;UniversalVocabularyMt&lt;/a&gt; (q.v.).  Indeed, ANECT was specially defined to facilitate the movement of appropriate assertions to that microtheory.
&lt;p/&gt;
Cf. &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rGeylLJTfEdqAAAACs0uFOQ&quot; class=&quot;cyc_term&quot;&gt;PragmaticallyDecontextualizedCollection&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">type of atemporal collection in which membership is necessarily essential</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="&cyc;Mx4rvVjU2JwpEbGdrcN5Y29ycA">
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAp5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ScalarInterval&lt;/a&gt;. Each instance of this collection is a value by means of which payments, wealth, capital, assets, etc., are measured.  Each instance of this collection is thus an abstract object, not to be confused with the physical objects used as legal tender. For those, see &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjMQpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Currency&lt;/a&gt;, though it is worth noting that each coin, bill, etc. that is an instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjMQpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Currency&lt;/a&gt;, is typically _stably associated with_ some particular instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjU2JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MonetaryValue&lt;/a&gt;.
&lt;p/&gt;
Nor is &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjU2JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MonetaryValue&lt;/a&gt; to be confused with the many and varied social practices (such as a backed claim for a certain amount of physical wealth payable by the government on demand), which create money qua social institution and underpin all financial transactions. For that, see &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rnPC0bnf6EdaAAAABAxv-7A&quot; class=&quot;cyc_term&quot;&gt;Money_DevisedPractice&lt;/a&gt;.
&lt;p/&gt;
Since instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjU2JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MonetaryValue&lt;/a&gt; are not pure numbers but quantities of some particular currency, they are denoted by means of the collection &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViDxZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;UnitOfMoney&lt;/a&gt;. Each instance of this collection is a function which (like many Cyc functions which are instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAqpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;UnitOfMeasure&lt;/a&gt;) either takes one argument and returns a fixed amount of money, e.g. (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkBnZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Dollar_Australia&lt;/a&gt; 4) or takes two arguments and returns a range, e.g. (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjVL5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Shilling_Uganda&lt;/a&gt; 2 2000). Since currencies may appreciate or depreciate in value over time, and this information is sometimes relevant, it is possible to index instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViDxZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;UnitOfMoney&lt;/a&gt; temporally by means of further functions. For example, ((&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rv4MwxJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;USDollarFn&lt;/a&gt; 1997) 2) denotes the monetary value of 2 US dollars in the year 1997. See also &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkKMpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MoneyTransfer&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rYK1JMngNEdaAAAABAxv-7A&quot; class=&quot;cyc_term&quot;&gt;monetaryValueOfThing&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjUlZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;cost&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViMf5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;basicPrice&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">monetary value</rdfs:label>
    <cycAnnot:label xml:lang="en">MonetaryValue</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4r0kgX-GVaQdea7Z57nVWtVw">
    <rdfs:label xml:lang="en">economical quantity</rdfs:label>
    <cycAnnot:label xml:lang="en">EconomicalQuantity</cycAnnot:label>
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rLxknOmVZQdeQUJLqO_1Uzg&quot; class=&quot;cyc_term&quot;&gt;ScalarQuantity&lt;/a&gt; (q.v.), this is the collection of measurements of economical quantities such as the monetary value of some item or the inflation rate in some economy.</rdfs:comment>
  </owl:Class>

  <owl:ObjectProperty rdf:about="Mx4rwLSVCpwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">Pretty String</rdfs:label>
    <rdfs:comment xml:lang="en">(&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;prettyString&lt;/a&gt; TERM STRING) means that STRING is the English word or expression (sequence of words) commonly used to refer to TERM.  The predicate &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;prettyString&lt;/a&gt; is used by the code which generates CycL to English paraphrases, but its applicability is not restricted to this use.</rdfs:comment>
    <cycAnnot:label xml:lang="en">prettyString</cycAnnot:label>
  </owl:ObjectProperty>

  <owl:Class rdf:about="Mx4r56eeEGJsQdiTqsCVYVIyig">
    <cycAnnot:label xml:lang="en">MoneyAndPrice-PossTransfer-Topic</cycAnnot:label>
    <rdfs:comment xml:lang="en">A &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rAmoSCGJbQdiSXZJvYiNhkQ&quot; class=&quot;cyc_term&quot;&gt;CycVocabularyTopic&lt;/a&gt; and a &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rtGXkHpNaEdqAAAACs0uFOQ&quot; class=&quot;cyc_term&quot;&gt;KBDependentCollection&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">money and price poss transfer topic</rdfs:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rUstvYKCIQdiBWaekaRIs-w">
    <rdfs:comment xml:lang="en">A specialization of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rr-2NGp7sQdidoL5VyxYMGg&quot; class=&quot;cyc_term&quot;&gt;MeasurableQuantity&lt;/a&gt; (q.v.).  Each instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rUstvYKCIQdiBWaekaRIs-w&quot; class=&quot;cyc_term&quot;&gt;OneDimensionalQuantity&lt;/a&gt; is a measurable quantity that is &lt;i&gt;not&lt;/i&gt; defined in terms of (i.e. as the product or ratio of) other quantities.  For example, (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi3VJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Mile&lt;/a&gt; 65) and (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjrNJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;HoursDuration&lt;/a&gt; 1) are both instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rUstvYKCIQdiBWaekaRIs-w&quot; class=&quot;cyc_term&quot;&gt;OneDimensionalQuantity&lt;/a&gt;; but (&lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkDkZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MilesPerHour&lt;/a&gt; 65), derived by dividing the former quantity by the latter, is not (cf. &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rU9w69qCIQdiaX7o2wbs-og&quot; class=&quot;cyc_term&quot;&gt;MultiDimensionalQuantity&lt;/a&gt;).
&lt;p/&gt;
Specializations of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rUstvYKCIQdiBWaekaRIs-w&quot; class=&quot;cyc_term&quot;&gt;OneDimensionalQuantity&lt;/a&gt; include &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAmpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Distance&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjb5pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Mass&lt;/a&gt;, and &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViApZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Time_Quantity&lt;/a&gt;.
&lt;p/&gt;
Each one-dimensional quantity is equal to the result of applying some &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4ruFr2Fp-7QdiS0NRO_LP5CA&quot; class=&quot;cyc_term&quot;&gt;OneDimensionalUnitOfMeasure&lt;/a&gt; (q.v.) to some number or other &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rnVZQSiCmEdaAAACgyZzFrg&quot; class=&quot;cyc_term&quot;&gt;NumericInterval&lt;/a&gt; (or pair of such intervals).   If a &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rUstvYKCIQdiBWaekaRIs-w&quot; class=&quot;cyc_term&quot;&gt;OneDimensionalQuantity&lt;/a&gt; is multiplied or divided by a numeric-interval, the result is still a one-dimensional quantity; if two one-dimensional quantities that are &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4r31ZqOrDgQdiBDYcJa-SoRg&quot; class=&quot;cyc_term&quot;&gt;numericallyComparable&lt;/a&gt; (q.v.) are added or subtracted, the result is still a one-dimensional quantity.  Conversely, whenever one &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rUstvYKCIQdiBWaekaRIs-w&quot; class=&quot;cyc_term&quot;&gt;OneDimensionalQuantity&lt;/a&gt; is multiplied or divided by another &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rUstvYKCIQdiBWaekaRIs-w&quot; class=&quot;cyc_term&quot;&gt;OneDimensionalQuantity&lt;/a&gt;, the result is a &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rVQ8MvqCIQdicLoOa1pZefg&quot; class=&quot;cyc_term&quot;&gt;TwoDimensionalQuantity&lt;/a&gt;.  Two quantities that are not numerically-comparable cannot be added to or substracted from each other.  And when a &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rUstvYKCIQdiBWaekaRIs-w&quot; class=&quot;cyc_term&quot;&gt;OneDimensionalQuantity&lt;/a&gt; is multiplied or divided by (or divides) a &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rVQ8MvqCIQdicLoOa1pZefg&quot; class=&quot;cyc_term&quot;&gt;TwoDimensionalQuantity&lt;/a&gt;, the result is in many cases a &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4r-7GRzKCIQdiHEaxh2Wf1-g&quot; class=&quot;cyc_term&quot;&gt;ThreeDimensionalQuantity&lt;/a&gt; (q.v.).
&lt;p/&gt;
See also &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBKpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PrimitiveOrderedQuantityType&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjU7JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;FundamentalUnitType&lt;/a&gt;.</rdfs:comment>
    <rdfs:label xml:lang="en">one dimensional quantity</rdfs:label>
    <cycAnnot:label xml:lang="en">OneDimensionalQuantity</cycAnnot:label>
  </owl:Class>

  <owl:Class rdf:about="Mx4rhLRmOvbJEdyAAADggVbxzQ">
    <rdfs:label xml:lang="en">measure of utility</rdfs:label>
    <cycAnnot:label xml:lang="en">MeasureOfUtility</cycAnnot:label>
    <rdfs:comment xml:lang="en">The collection of all measures of utility. A type of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rLxknOmVZQdeQUJLqO_1Uzg&quot; class=&quot;cyc_term&quot;&gt;ScalarQuantity&lt;/a&gt;. &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rhLRmOvbJEdyAAADggVbxzQ&quot; class=&quot;cyc_term&quot;&gt;MeasureOfUtility&lt;/a&gt; is a &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkDZJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;QuantityType&lt;/a&gt;.</rdfs:comment>
  </owl:Class>

  <owl:Class rdf:about="Mx4rvVkFnZwpEbGdrcN5Y29ycA">
    <rdfs:label xml:lang="en">type of fundamental numeric scalar interval</rdfs:label>
    <rdfs:comment xml:lang="en">A collection of collections and a specialization of both &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBKpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PrimitiveOrderedQuantityType&lt;/a&gt; and &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjZs5wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;MeasurableScalarIntervalType&lt;/a&gt; (qq.v.).  Each instance of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkFnZwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;PrimitiveMeasurableQuantityType&lt;/a&gt; is a totally-ordered collection of instances of &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rUstvYKCIQdiBWaekaRIs-w&quot; class=&quot;cyc_term&quot;&gt;OneDimensionalQuantity&lt;/a&gt; (q.v.).  Examples include &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjb5pwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Mass&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAmpwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Distance&lt;/a&gt;, &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVicfJwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;Temperature&lt;/a&gt;, and &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkF25wpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;ElectricalCharge&lt;/a&gt;.
&lt;p/&gt;
Cf. &lt;a href=&quot;http://sw.opencyc.org/2008/06/10/concept/Mx4rvVja4JwpEbGdrcN5Y29ycA&quot; class=&quot;cyc_term&quot;&gt;DerivedMeasurableQuantityType&lt;/a&gt;.</rdfs:comment>
    <cycAnnot:label xml:lang="en">PrimitiveMeasurableQuantityType</cycAnnot:label>
  </owl:Class>

</rdf:RDF>
