SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > CosineFn
Next UnaryFunction: DenominatorFn    Up: UnaryFunction    Previous UnaryFunction: ComplementFn   

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

Next UnaryFunction: DenominatorFn    Up: UnaryFunction    Previous UnaryFunction: ComplementFn