SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > TangentFn
Next UnaryFunctionTerminalFn    UpUnaryFunction    Previous UnaryFunctionSuccessorFn   

TangentFn comparison table
Subject have domain1 have range documentation have axiom is a kind of is an instance of
UnaryFunction  The Class of Functions that require a single argument
(instance ?FUNCTION UnaryFunction)
(valence ?FUNCTION 1))
TangentFnPlaneAngleMeasureRealNumber(TangentFn ?DEGREE) is the tangent of the PlaneAngleMeasure ?DEGREE. The tangent of ?DEGREE is the ratio of the side opposite ?DEGREE to the side next to ?DEGREE in a right-angled triangle
(equal (TangentFn ?DEGREE) (DivisionFn (SineFn ?DEGREE) (CosineFn ?DEGREE)))

Next UnaryFunctionTerminalFn    UpUnaryFunction    Previous UnaryFunctionSuccessorFn