SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > SineFn
Next UnaryFunctionSkinFn    UpUnaryFunction    Previous UnaryFunctionSignumFn   

SineFn 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))
SineFnPlaneAngleMeasureRealNumber(SineFn ?DEGREE) is the sine of the PlaneAngleMeasure ?DEGREE. The sine of ?DEGREE is the ratio of the side opposite ?DEGREE to the hypotenuse in a right-angled triangle
(equal (TangentFn ?DEGREE) (DivisionFn (SineFn ?DEGREE) (CosineFn ?DEGREE)))

Next UnaryFunctionSkinFn    UpUnaryFunction    Previous UnaryFunctionSignumFn