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 (Revision 1)
Review Date:
2017-12-31
Status:
experimental

  Author: OpenMath Consortium
  SourceURL: https://github.com/OpenMath/CDs
            

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):
1 foot_us_survey = 1200 3937 metre
Signatures:
sts


[Next: yard_us_survey] [Last: pint_us_liquid] [Top]

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):
1 yard_us_survey = 3 foot_us_survey
Signatures:
sts


[Next: mile_us_survey] [Previous: foot_us_survey] [Top]

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):
1 mile_us_survey = 5280 foot_us_survey
Signatures:
sts


[Next: acre_us_survey] [Previous: yard_us_survey] [Top]

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):
1 acre_us_survey = 4840 yard_us_survey × yard_us_survey
Signatures:
sts


[Next: pint_us_dry] [Previous: mile_us_survey] [Top]

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):
1 pint_us_dry = 0.551 litre
Signatures:
sts


[Next: pint_us_liquid] [Previous: acre_us_survey] [Top]

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):
1 pint_us_liquid = 0.473 litre
Signatures:
sts


[First: foot_us_survey] [Previous: pint_us_dry] [Top]