OpenMath Content Dictionary: units_imperial1

Canonical URL:

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

CD File:

units_imperial1.ocd

CD as XML Encoded OpenMath:

units_imperial1.omcd

Defines:

acre, bar, degree_Fahrenheit, foot, mile, miles_per_hr, miles_per_hr_sqrd, pint, pound_force, pound_mass, yard

Date:

2003-08-21

Version:

3

Review Date:

2004-04-01

Status:

experimental

Uses CD:

arith1, relation1, units_metric1, units_time1,

foot

Description:

This symbol represents the measure of one foot. This is the standard imperial measure for distance.

Commented Mathematical property (CMP):

1 foot = 0.3048 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" cd="units_imperial1"/>
    </OMA>
    <OMA>
      <OMS name="times" cd="arith1"/>
      <OMF> 0.3048 </OMF>
      <OMS name="metre" cd="units_metric1"/>
    </OMA>
  </OMA>
</OMOBJ>

eq (times ( 1 , foot) , times ( , metre) )

$$1\mathrm{foot}=0.3048\mathrm{metre}$$

Signatures:

sts

yard

Description:

This symbol represents the measure of one yard. This is a standard imperial measure for distance, defined in terms of the foot.

Commented Mathematical property (CMP):

1 yard = 3 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" cd="units_imperial1"/>
    </OMA>
    <OMA>
      <OMS name="times" cd="arith1"/>
      <OMI> 3 </OMI>
      <OMS name="foot" cd="units_imperial1"/>
    </OMA>
  </OMA>
</OMOBJ>

eq (times ( 1 , yard) , times ( 3 , foot) )

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

Signatures:

sts

mile

Description:

This symbol represents the measure of one (land, or statute) mile. This is a standard imperial measure for distance, defined in terms of the foot.

Commented Mathematical property (CMP):

1 mile = 5280 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" cd="units_imperial1"/>
    </OMA>
    <OMA>
      <OMS name="times" cd="arith1"/>
      <OMI> 5280 </OMI>
      <OMS name="foot" cd="units_imperial1"/>
    </OMA>
  </OMA>
</OMOBJ>

eq (times ( 1 , mile) , times ( 5280 , foot) )

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

Signatures:

sts

acre

Description:

This symbol represents the measure of one acre. This is a standard imperial measure for area.

Commented Mathematical property (CMP):

1 acre = 4840 square 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" cd="units_imperial1"/>
    </OMA>
    <OMA>
      <OMS name="times" cd="arith1"/>
      <OMI> 4840 </OMI>
      <OMA>
        <OMS name="times" cd="arith1"/>
        <OMS name="yard" cd="units_imperial1"/>
        <OMS name="yard" cd="units_imperial1"/>
      </OMA>
    </OMA>
  </OMA>
</OMOBJ>

eq (times ( 1 , acre) , times ( 4840 , times (yard, yard) ) )

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

Signatures:

sts

pint

Description:

This symbol represents the measure of one (imperial) pint. This is the standard imperial measure for volume. See units_us1 for the U.S. pint.

Signatures:

sts

miles_per_hr

Description:

This symbol represents the measure of one mile per hour. This is a standard imperial measure for speed.

Commented Mathematical property (CMP):

1 miles_per_hr = 1 mile in 1 hour

Formal Mathematical property (FMP):

xml prefix mathml

<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
  <OMS name="eq" cd="relation1"/>
  <OMS name="miles_per_h" cd="units_imperial1"/>
  <OMA>
    <OMS name="divide" cd="arith1"/> 
    <OMS name="mile" cd="units_imperial1"/> 
    <OMS name="hour" cd="units_time1"/> 
  </OMA>
</OMA>
</OMOBJ>

eq (miles_per_h, divide (mile, hour) )

$$\mathrm{miles\_per\_h}=\frac{\mathrm{mile}}{\mathrm{hour}}$$

Signatures:

sts

miles_per_hr_sqrd

Description:

This symbol represents the measure of one mile per hour squared. This is a standard imperial measure for acceleration.

Commented Mathematical property (CMP):

1 miles_per_hr_sqrd = 1 mile_per_hr (change) in 1 hour

Formal Mathematical property (FMP):

xml prefix mathml

<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
  <OMS name="eq" cd="relation1"/>
  <OMS name="miles_per_h" cd="units_imperial1"/>
  <OMA>
    <OMS name="divide" cd="arith1"/> 
    <OMS name="mile_per_hr" cd="units_imperial1"/> 
    <OMS name="hour" cd="units_time1"/> 
  </OMA>
</OMA>
</OMOBJ>

eq (miles_per_h, divide (mile_per_hr, hour) )

$$\mathrm{miles\_per\_h}=\frac{\mathrm{mile\_per\_hr}}{\mathrm{hour}}$$

Signatures:

sts

pound_mass

Description:

This symbol represents the measure of the mass which weighs one pound under the influence of standard gravity.

Signatures:

sts

pound_force

Description:

This symbol represents the measure of force of one pound.

Signatures:

sts

degree_Fahrenheit

Description:

This symbol represents the measure of one degree Fahrenheit. This is the standard imperial measure for temperature.

Signatures:

sts

bar

Description:

This symbol represents the measure of one bar. This is the standard imperial measure for pressure.

Signatures:

sts