SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > TangentFn

TangentFn 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
TangentFn	PlaneAngleMeasure	RealNumber	(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	(equal (TangentFn ?DEGREE) (DivisionFn (SineFn ?DEGREE) (CosineFn ?DEGREE)))		UnaryFunction

Next UnaryFunction: TerminalFn    Up: UnaryFunction    Previous UnaryFunction: SuccessorFn