TreeView Knowledge Base Browser

appearance as argument number 1

(instance TangentFn UnaryFunction)	Merge.kif 5352-5352	Tangent is an instance of unary function
(instance TangentFn TotalValuedRelation)	Merge.kif 5353-5353	Tangent is an instance of total valued relation
(domain TangentFn 1 RealNumber)	Merge.kif 5354-5354	The number 1 argument of tangent is an instance of real number
(range TangentFn RealNumber)	Merge.kif 5355-5355	The range of tangent is an instance of real number
(documentation TangentFn EnglishLanguage "(TangentFn ?DEGREE) is the tangent of ?DEGREE. The tangent of ?DEGREE is the ratio of the side opposite ?DEGREE to the side next to ?DEGREE in a right-angled triangle.")	Merge.kif 5357-5360	The range of tangent is an instance of real number

appearance as argument number 2

(termFormat EnglishLanguage TangentFn "tangent")	domainEnglishFormat.kif 56900-56900
(termFormat ChineseTraditionalLanguage TangentFn "切線")	domainEnglishFormat.kif 56901-56901
(termFormat ChineseLanguage TangentFn "切线")	domainEnglishFormat.kif 56902-56902
(format EnglishLanguage TangentFn "the tangent of %1")	english_format.kif 734-734

consequent

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

If X is an instance of real number, then equal the tangent of X, the sine of X, and the cosine of X

statement

(equal
(ArcTangentFn
(TangentFn ?X)) ?X)

equal the arctan of the tangent of X and X