TempDevGraph.xml

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


<omdoc xmlns:dc="http://purl.org/DC" xml:id="TempDevGraph" modules="DG" version="1.2">
<metadata>
  <dc:title>A Development Graph for Celsius-Kelvin-Fahrenheit-Celsius temperature conversion</dc:title>
  <dc:creator role="aut">Apostol Apostolov</dc:creator> 
  <dc:date action="created">2005-04-22T0000</dc:date>
  <dc:format>application/omdoc+xml</dc:format>
</metadata>

<theory id="unit_Celsius">
    <metadata>
      <dc:description>
       One degree Celsius is a standard metric measure for temperature.
      </dc:description> 
    </metadata> 
  <OMOBJ><OMS cd="units_metric1" name="deg C" cdbase="http://mathweb.org/units_metric1.omdoc"/></OMOBJ>
</theory>

<theory id="unit_Kelvin">
    <metadata>
      <dc:description>
       One degree Kelvin is a standard metric measure for temperature relative to absolute zero.
      </dc:description>
     </metadata>
   <OMOBJ><OMS cd="units_metric1" name="deg K" cdbase="http://mathweb.org/units_metric1.omdoc"/></OMOBJ> 
</theory>

<theory id="unit_Fahrenheit">
   <metadata>
      <dc:description>
       One degree Fahrenheit is a standard imperial measure for temperature.
      </dc:description>
   </metadata>
   <OMOBJ><OMS cd="units_imperial1" name="deg F" cdbase="http://mathweb.org/units_imperial1.omdoc"/></OMOBJ>
</theory>

<theory-inclusion id="C-to-K" from="#unit_Celsius" to="#unit_Kelvin">
  <morphism>
    <requation>
      <pattern>
       <OMOBJ>
         <OMV name="A"/><OMS cd="units_metric1" name="deg C"/>
       </OMOBJ>
      </pattern>
      <value>
	    <OMOBJ>
          <OMA><OMS cd="arith1" name="plus"/><OMV name="A"/><OMF>273.15</OMF>
          </OMA><OMS cd="units_metric1" name="deg K"/>
        </OMOBJ>
	  </value>
    </requation>
  </morphism>                    
</theory-inclusion>

<theory-inclusion id="K-to-F" from="#unit_Kelvin" to="#unit_Fahrenheit">
  <morphism>
    <requation>
      <pattern>
       <OMOBJ>
         <OMV name="A"/><OMS cd="units_metric1" name="deg K"/>
       </OMOBJ>
      </pattern>
      <value>
	    <OMOBJ>
          <OMA><OMS cd="arith1" name="plus"/>
		    <OMA><OMS cd="arith1" name="times"/>
		      <OMA><OMS cd="arith1" name="minus"/><OMV name="A"/><OMF>273.15</OMF></OMA>
			  <OMA><OMS cd="arith1" name="divide"/><OMI>9</OMI><OMI>5</OMI></OMA>
			</OMA>
			<OMI>32</OMI>
          </OMA><OMS cd="units_imperial1" name="deg F"/>
        </OMOBJ>
	  </value>
    </requation>
  </morphism> 
</theory-inclusion>

<theory-inclusion id="F-to-C" from="#unit_Fahrenheit" to="#unit_Celsius">
  <morphism>
    <requation>
      <pattern>
       <OMOBJ>
         <OMV name="A"/><OMS cd="units_imperial1" name="deg F"/>
       </OMOBJ>
      </pattern>
	  <value>
	    <OMOBJ>
		  <OMA><OMS cd="arith1" name="times"/>
		    <OMA><OMS cd="arith1" name="minus"/><OMV name="A"/><OMF>32</OMF></OMA>
		    <OMA><OMS cd="arith1" name="divide"/><OMI>5</OMI><OMI>9</OMI></OMA>
		  </OMA><OMS cd="units_metric1" name="deg C"/>
        </OMOBJ>
	  </value>
    </requation>
  </morphism> 
</theory-inclusion>

</omdoc>