sine fn (SineFn)

(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.

Ontology

SUMO / NUMERIC-FUNCTIONS

Class(es)

class

inheritable relation

unary function

sine fn

Coordinate term(s)

absolute value fn abstraction fn arc cosine fn arc sine fn arc tangent fn back fn begin fn begin node fn cardinality fn ceiling fn complement fn cosine fn cut set fn denominator fn end fn end node fn extension fn floor fn front fn future fn generalized intersection fn generalized union fn giga fn imaginary part fn immediate future fn immediate past fn initial node fn integer square root fn kilo fn list length fn magnitude fn mega fn micro fn milli fn minimal cut set fn nano fn numerator fn organization fn past fn path weight fn pico fn power set fn predecessor fn principal host fn probability fn property fn rational number fn real number fn reciprocal fn round fn signum fn skin fn square root fn successor fn tangent fn tera fn terminal node fn wealth fn when fn year fn

Type restrictions

real number SineFn(plane angle measure)

Related WordNet synsets

sine: ratio of the opposite side to the hypotenuse
sine curve, sinusoid: the curve of y=sin x

See more related synsets on a separate page.

Axioms (2)

arc sine fn is an inverse of sine fn.

(inverse ArcSineFn SineFn)

If degree is an instance of plane angle measure, then "the tangent of degree" is equal to ""the sine of degree"/"the cosine of degree"".

(=>
      (instance ?DEGREE PlaneAngleMeasure)
      (equal
            (TangentFn ?DEGREE)
            (DivisionFn
                  (SineFn ?DEGREE)
                  (CosineFn ?DEGREE))))