TangensFn (TangentFn)

(TangentFn degree) is the tangent of the PlaneAngleMeasure degree. The tangent of degree is the ratio of the side opposite degree to the side next to degree in a right-angled triangle.

Ontology

SUMO / NUMERIC-FUNCTIONS

Class(es)

Kategorie

inheritable relation

einstellige Funktion

TangensFn

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 SinusFn OberflächeFn QuadratwurzelFn NachfolgerFn TeraFn TerminalNullPunktFn Füllefn WennFn JahrFn

Type restrictions

reelle Zahl TangentFn(Ebenerwinkelmass)

Related WordNet synsets

tangent: ratio of the opposite to the adjacent side

See more related synsets on a separate page.

Axioms (2)

ArcustangensFn ist eine inverse von TangensFn .

(inverse ArcTangentFn TangentFn)

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