TreeView Knowledge Base Browser

appearance as argument number 1

(instance CosineFn UnaryFunction)	Merge.kif 4911-4911	Cosine is an instance of unary function
(instance CosineFn TotalValuedRelation)	Merge.kif 4912-4912	Cosine is an instance of total valued relation
(domain CosineFn 1 PlaneAngleMeasure)	Merge.kif 4913-4913	The number 1 argument of cosine is an instance of plane angle measure
(range CosineFn RealNumber)	Merge.kif 4914-4914	The range of cosine is an instance of real number
(documentation CosineFn EnglishLanguage "(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.")	Merge.kif 4916-4918	The range of cosine is an instance of real number
(lexicon CosineFn LexNoun "cosinus")	engineering.kif 147-147	The range of cosine is an instance of real number
(lexicon CosineFn LexNoun "cos")	engineering.kif 148-148	The range of cosine is an instance of real number

appearance as argument number 2

(termFormat EnglishLanguage CosineFn "cosine")	domainEnglishFormat.kif 17442-17442
(termFormat ChineseTraditionalLanguage CosineFn "餘弦")	domainEnglishFormat.kif 17443-17443
(termFormat ChineseLanguage CosineFn "余弦")	domainEnglishFormat.kif 17444-17444
(format EnglishLanguage CosineFn "the cosine of %1")	english_format.kif 694-694

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
(ArcCosineFn
(CosineFn ?X)) ?X)