TreeView Knowledge Base Browser

appearance as argument number 1

(documentation CosineFn ChineseLanguage "(CosineFn ?DEGREE)得出 PlaneAngleMeasure ?DEGREE 的余弦。在一个直角三角形， ?DEGREE 的余弦是?DEGREE 傍边的边和斜边的比率。")	chinese_format.kif 2228-2229
(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 4775-4777
(domain CosineFn 1 PlaneAngleMeasure)	Merge.kif 4772-4772
(instance CosineFn TotalValuedRelation)	Merge.kif 4771-4771
(instance CosineFn UnaryFunction)	Merge.kif 4770-4770
(lexicon CosineFn LexNoun "cos")	engineering.kif 140-140
(lexicon CosineFn LexNoun "cosinus")	engineering.kif 139-139
(range CosineFn RealNumber)	Merge.kif 4773-4773

appearance as argument number 2

(format ChineseLanguage CosineFn "%1 的馀弦")	chinese_format.kif 692-692
(format EnglishLanguage CosineFn "the cosine of %1")	english_format.kif 694-694
(termFormat ChineseLanguage CosineFn "余弦")	domainEnglishFormat.kif 17428-17428
(termFormat ChineseLanguage CosineFn "馀弦函数")	chinese_format.kif 693-693
(termFormat ChineseTraditionalLanguage CosineFn "餘弦")	domainEnglishFormat.kif 17427-17427
(termFormat EnglishLanguage CosineFn "cosine")	domainEnglishFormat.kif 17426-17426

consequent

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

Merge.kif 5206-5212

statement

(equal
(ArcCosineFn
(CosineFn ?X)) ?X)

Merge.kif 5232-5232