SUMO   View all facts   Glossary   Help

Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > PlaneAngleMeasure > AngularDegree

AngularDegree
subject			fact

AngularDegree	documentation A PlaneAngleMeasure
	has axiom (equal (MeasureFn ?NUMBER AngularDegree) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn Pi 180)) Radian))
	is an instance of PlaneAngleMeasure
	is an instance of UnitOfMeasure
PlaneAngleMeasure	is first domain of CosineFn
	is first domain of SineFn
	is first domain of TangentFn
UnitOfMeasure	is second domain of MeasureFn
PhysicalQuantity	is partitioned into ConstantQuantity, FunctionQuantity
Abstract	is disjoint from Physical