SinusFn (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)

Kategorie

inheritable relation

einstellige Funktion

SinusFn

Coordinate term(s)

AbsolutbetragFn AbstraktionFn ArcuskosinusFn ArcussinusFn ArcustangensFn RückseiteFn AnfangFn BeginNullPunktFn KardinalitätFn ObersteGrenzeFn ErgänzungFn KosinusFn SchnittMengeFn NennerFn EndeFn EndeNullPunktFn ExtensionFn UntersteGrenzeFn FrontseiteFn ZukunftFn GeneralisierteDurchschnittFn GeneralisierteVereinigungFn GigaFn ImaginäresTeilFn SofortigeZukunftFn DirektVergangenheitFn AusgangsNullPunktFn GanzzahlQuadratwurzelFn KiloFn ListeLängeFn GrösseFn MegaFn MicroFn MilliFn MinimaleSchnittMengeFn NanoFn ZählerFn OrganisationFn VergangenheitFn PfadGewichtfn PicoFn PotenzMengeFn VorgängerFn HauptwirtFn Wahrscheinlichkeit EigentumFn RationaleZahlFn ReelleZahlfn ReziprokerWert RundFn SignumFn OberflächeFn QuadratwurzelFn NachfolgerFn TangensFn TeraFn TerminalNullPunktFn Füllefn WennFn JahrFn

Type restrictions

reelle Zahl SineFn(Ebenerwinkelmass)

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)

ArcussinusFn ist eine inverse von SinusFn .

(inverse ArcSineFn SineFn)

Wenn degree ist ein fall von Ebenerwinkelmass , dann "der tangens von degree" ist gleich ""der Sinus von degree"/"der Kosinus von degree"" .

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