KosinusFn (CosineFn)
(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.
Ontology
SUMO / NUMERIC-FUNCTIONSClass(es)
Coordinate term(s)
AbsolutbetragFn
AbstraktionFn
ArcuskosinusFn
ArcussinusFn
ArcustangensFn
RückseiteFn
AnfangFn
BeginNullPunktFn
KardinalitätFn
ObersteGrenzeFn
ErgänzungFn
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
TangensFn
TeraFn
TerminalNullPunktFn
Füllefn
WennFn
JahrFn
Type restrictions
reelle Zahl CosineFn(Ebenerwinkelmass)
Related WordNet synsets
- cosine
- ratio of the adjacent side to the hypotenuse
See more related synsets on a separate page.
Axioms (2)
ArcuskosinusFn ist eine inverse von KosinusFn .
(inverse ArcCosineFn CosineFn)
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))))