SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > SineFn
Next UnaryFunction: SkinFn    Up: UnaryFunction    Previous UnaryFunction: SignumFn   

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))
Function 
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)))
 UnaryFunction

Next UnaryFunction: SkinFn    Up: UnaryFunction    Previous UnaryFunction: SignumFn