SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > PlaneAngleMeasure > Radian
Next PlaneAngleMeasureAngularDegree    UpPlaneAngleMeasure, SystemeInternationalUnit

Radiandocumentation SI PlaneAngleMeasure. Symbol: rad. It is the angle of a circle subtended by an arc equal in length to the circle's radius. Another definition is: the plane angle between two radii of a circle which cut off on the circumference an arc equal in length to the radius. Radian = m/m = 12001-11-30 13:35:07.0
has axiom
(MeasureFn ?NUMBER AngularDegree)
(MeasureFn (MultiplicationFn ?NUMBER (DivisionFn Pi 180)) Radian))
2001-11-30 13:35:07.0
is an instance of PlaneAngleMeasure2001-11-30 13:35:07.0
is an instance of SystemeInternationalUnit2001-11-30 13:35:07.0
PlaneAngleMeasureis first domain of CosineFn2001-11-30 13:35:00.0
is first domain of SineFn2001-11-30 13:35:00.0
is first domain of TangentFn2001-11-30 13:35:00.0
ConstantQuantityis second domain of measure2001-11-30 13:33:55.0
UnitOfMeasureis second domain of MeasureFn2001-11-30 13:35:31.0
PhysicalQuantityis partitioned into ConstantQuantity, FunctionQuantity2001-11-30 13:34:58.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0