SUMO View all facts Glossary Help |
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > PlaneAngleMeasure > AngularDegree |
AngularDegree | ||||
subject | fact |
AngularDegree | documentation A PlaneAngleMeasure | |
has axiom (equal | ||
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 |