OpenMath Content Dictionary: units_us1

Canonical URL:

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

CD Base:

http://www.openmath.org/cd

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):

OpenMath XML (source)

<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>

Strict Content MathML

<math xmlns="http://www.w3.org/1998/Math/MathML">
 <apply><csymbol cd="relation1">eq</csymbol>
  <apply><csymbol cd="arith1">times</csymbol><cn>1</cn><csymbol cd="units_us1">foot_us_survey</csymbol></apply>
  <apply><csymbol cd="arith1">times</csymbol>
   <apply><csymbol cd="arith1">divide</csymbol><cn>1200</cn><cn>3937</cn></apply>
   <csymbol cd="units_metric1">metre</csymbol>
  </apply>
 </apply>
</math>

Prefix

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

Popcorn

1 * units_us1.foot_us_survey = 1200 / 3937 * units_metric1.metre

Rendered Presentation MathML

$$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):

OpenMath XML (source)

<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>

Strict Content MathML

<math xmlns="http://www.w3.org/1998/Math/MathML">
 <apply><csymbol cd="relation1">eq</csymbol>
  <apply><csymbol cd="arith1">times</csymbol><cn>1</cn><csymbol cd="units_us1">yard_us_survey</csymbol></apply>
  <apply><csymbol cd="arith1">times</csymbol><cn>3</cn><csymbol cd="units_us1">foot_us_survey</csymbol></apply>
 </apply>
</math>

Prefix

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

Popcorn

1 * units_us1.yard_us_survey = 3 * units_us1.foot_us_survey

Rendered Presentation MathML

$$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):

OpenMath XML (source)

<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>

Strict Content MathML

<math xmlns="http://www.w3.org/1998/Math/MathML">
 <apply><csymbol cd="relation1">eq</csymbol>
  <apply><csymbol cd="arith1">times</csymbol><cn>1</cn><csymbol cd="units_us1">mile_us_survey</csymbol></apply>
  <apply><csymbol cd="arith1">times</csymbol><cn>5280</cn><csymbol cd="units_us1">foot_us_survey</csymbol></apply>
 </apply>
</math>

Prefix

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

Popcorn

1 * units_us1.mile_us_survey = 5280 * units_us1.foot_us_survey

Rendered Presentation MathML

$$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):

OpenMath XML (source)

<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>

Strict Content MathML

<math xmlns="http://www.w3.org/1998/Math/MathML">
 <apply><csymbol cd="relation1">eq</csymbol>
  <apply><csymbol cd="arith1">times</csymbol><cn>1</cn><csymbol cd="units_us1">acre_us_survey</csymbol></apply>
  <apply><csymbol cd="arith1">times</csymbol>
   <cn>4840</cn>
   <apply><csymbol cd="arith1">times</csymbol>
    <csymbol cd="units_us1">yard_us_survey</csymbol>
    <csymbol cd="units_us1">yard_us_survey</csymbol>
   </apply>
  </apply>
 </apply>
</math>

Prefix

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

Popcorn

1 * units_us1.acre_us_survey = 4840 * units_us1.yard_us_survey * units_us1.yard_us_survey

Rendered Presentation MathML

$$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):

OpenMath XML (source)

<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>

Strict Content MathML

<math xmlns="http://www.w3.org/1998/Math/MathML">
 <apply><csymbol cd="relation1">eq</csymbol>
  <apply><csymbol cd="arith1">times</csymbol><cn>1</cn><csymbol cd="units_us1">pint_us_dry</csymbol></apply>
  <apply><csymbol cd="arith1">times</csymbol>
   <cn type="real">0.551</cn>
   <csymbol cd="units_metric1">litre</csymbol>
  </apply>
 </apply>
</math>

Prefix

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

Popcorn

1 * units_us1.pint_us_dry = 0.551 * units_metric1.litre

Rendered Presentation MathML

$$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):

OpenMath XML (source)

<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>

Strict Content MathML

<math xmlns="http://www.w3.org/1998/Math/MathML">
 <apply><csymbol cd="relation1">eq</csymbol>
  <apply><csymbol cd="arith1">times</csymbol><cn>1</cn><csymbol cd="units_us1">pint_us_liquid</csymbol></apply>
  <apply><csymbol cd="arith1">times</csymbol>
   <cn type="real">0.473</cn>
   <csymbol cd="units_metric1">litre</csymbol>
  </apply>
 </apply>
</math>

Prefix

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

Popcorn

1 * units_us1.pint_us_liquid = 0.473 * units_metric1.litre

Rendered Presentation MathML

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

Signatures:

sts