OpenMath Content Dictionary: units_us1

Canonical URL:

http://www.openmath.org/cd/units_us1.ocd

CD File:

units_us1.ocd

CD as XML Encoded OpenMath:

units_us1.omcd

Defines:

acre_us_survey, foot_us_survey, mile_us_survey, pint_us_dry, pint_us_liquid, yard_us_survey

Date:

2004-08-27

Version:

3

Review Date:

2006-08-27

Status:

experimental

This CD defines symbols to represent U.S. customary unit measures.

foot_us_survey

Description:

This symbol represents the measure of one U.S. Survey foot.

Commented Mathematical property (CMP):

1 U.S. Survey foot = 1200/3937 metres

Formal Mathematical property (FMP):

xml prefix mathml

<OMOBJ xmlns="http://www.openmath.org/OpenMath">
  <OMA>
    <OMS name="eq" cd="relation1"/>
    <OMA>
      <OMS name="times" cd="arith1"/>
      <OMI> 1 </OMI>
      <OMS name="foot_us_survey" cd="units_us1"/>
    </OMA>
    <OMA>
      <OMS name="times" cd="arith1"/>
      <OMA>
        <OMS name="divide" cd="arith1"/>
        <OMI> 1200 </OMI>
        <OMI> 3937 </OMI>
      </OMA>
      <OMS name="metre" cd="units_metric1"/>
    </OMA>
  </OMA>
</OMOBJ>

eq (times ( 1 , foot_us_survey) , times (divide ( 1200 , 3937 ) , metre) )

$$1\mathrm{foot\_us\_survey}=\frac{1200}{3937}\mathrm{metre}$$

Signatures:

sts

yard_us_survey

Description:

This symbol represents the measure of one U.S. Survey yard.

Commented Mathematical property (CMP):

1 U.S. Survey yard = 3 U.S. Survey feet

Formal Mathematical property (FMP):

xml prefix mathml

<OMOBJ xmlns="http://www.openmath.org/OpenMath">
  <OMA>
    <OMS name="eq" cd="relation1"/>
    <OMA>
      <OMS name="times" cd="arith1"/>
      <OMI> 1 </OMI>
      <OMS name="yard_us_survey" cd="units_us1"/>
    </OMA>
    <OMA>
      <OMS name="times" cd="arith1"/>
      <OMI> 3 </OMI>
      <OMS name="foot_us_survey" cd="units_us1"/>
    </OMA>
  </OMA>
</OMOBJ>

eq (times ( 1 , yard_us_survey) , times ( 3 , foot_us_survey) )

$$1\mathrm{yard\_us\_survey}=3\mathrm{foot\_us\_survey}$$

Signatures:

sts

mile_us_survey

Description:

This symbol represents the measure of one U.S. Survey mile.

Commented Mathematical property (CMP):

1 U.S. Survey mile = 5280 U.S. Survey feet

Formal Mathematical property (FMP):

xml prefix mathml

<OMOBJ xmlns="http://www.openmath.org/OpenMath">
  <OMA>
    <OMS name="eq" cd="relation1"/>
    <OMA>
      <OMS name="times" cd="arith1"/>
      <OMI> 1 </OMI>
      <OMS name="mile_us_survey" cd="units_us1"/>
    </OMA>
    <OMA>
      <OMS name="times" cd="arith1"/>
      <OMI> 5280 </OMI>
      <OMS name="foot_us_survey" cd="units_us1"/>
    </OMA>
  </OMA>
</OMOBJ>

eq (times ( 1 , mile_us_survey) , times ( 5280 , foot_us_survey) )

$$1\mathrm{mile\_us\_survey}=5280\mathrm{foot\_us\_survey}$$

Signatures:

sts

acre_us_survey

Description:

This symbol represents the measure of one U.S. Survey acre.

Commented Mathematical property (CMP):

1 U.S. Survey acre = 4840 square U.S. Survey yards

Formal Mathematical property (FMP):

xml prefix mathml

<OMOBJ xmlns="http://www.openmath.org/OpenMath">
  <OMA>
    <OMS name="eq" cd="relation1"/>
    <OMA>
      <OMS name="times" cd="arith1"/>
      <OMI> 1 </OMI>
      <OMS name="acre_us_survey" cd="units_us1"/>
    </OMA>
    <OMA>
      <OMS name="times" cd="arith1"/>
      <OMI> 4840 </OMI>
      <OMA>
        <OMS name="times" cd="arith1"/>
        <OMS name="yard_us_survey" cd="units_us1"/>
        <OMS name="yard_us_survey" cd="units_us1"/>
      </OMA>
    </OMA>
  </OMA>
</OMOBJ>

eq (times ( 1 , acre_us_survey) , times ( 4840 , times (yard_us_survey, yard_us_survey) ) )

$$1\mathrm{acre\_us\_survey}=4840\mathrm{yard\_us\_survey}\times \mathrm{yard\_us\_survey}$$

Signatures:

sts

pint_us_dry

Description:

This symbol represents the measure of one U.S. dry pint.

Commented Mathematical property (CMP):

1 U.S. dry pint = 0.5506104713575 litres

Formal Mathematical property (FMP):

xml prefix mathml

<OMOBJ xmlns="http://www.openmath.org/OpenMath">
  <OMA>
    <OMS name="eq" cd="relation1"/>
    <OMA>
      <OMS name="times" cd="arith1"/>
      <OMI> 1 </OMI>
      <OMS name="pint_us_dry" cd="units_us1"/>
    </OMA>
    <OMA>
      <OMS name="times" cd="arith1"/>
      <OMF dec="0.551"/>
      <OMS name="litre" cd="units_metric1"/>
    </OMA>
  </OMA>
</OMOBJ>

eq (times ( 1 , pint_us_dry) , times ( 0.551 , litre) )

$$1\mathrm{pint\_us\_dry}=0.551\mathrm{litre}$$

Signatures:

sts

pint_us_liquid

Description:

This symbol represents the measure of one U.S. liquid pint.

Commented Mathematical property (CMP):

1 U.S. liquid pint = 0.473176473 litres

Formal Mathematical property (FMP):

xml prefix mathml

<OMOBJ xmlns="http://www.openmath.org/OpenMath">
  <OMA>
    <OMS name="eq" cd="relation1"/>
    <OMA>
      <OMS name="times" cd="arith1"/>
      <OMI> 1 </OMI>
      <OMS name="pint_us_liquid" cd="units_us1"/>
    </OMA>
    <OMA>
      <OMS name="times" cd="arith1"/>
      <OMF dec="0.473"/>
      <OMS name="litre" cd="units_metric1"/>
    </OMA>
  </OMA>
</OMOBJ>

eq (times ( 1 , pint_us_liquid) , times ( 0.473 , litre) )

$$1\mathrm{pint\_us\_liquid}=0.473\mathrm{litre}$$

Signatures:

sts