TreeView Knowledge Base Browser

appearance as argument number 1

(documentation SineFn ChineseLanguage "(SineFn ?DEGREE)是 PlaneAngleMeasure ?DEGREE 的正弦。在一个直角三角形， ?DEGREE 的正弦是?DEGREE 对边和斜边的比率。")	chinese_format.kif 2273-2274
(documentation SineFn EnglishLanguage "(SineFn ?DEGREE) is the sine of ?DEGREE. The sine of ?DEGREE is the ratio of the side opposite ?DEGREE to the hypotenuse in a right-angled triangle.")	Merge.kif 5114-5116
(domain SineFn 1 RealNumber)	Merge.kif 5111-5111
(instance SineFn TotalValuedRelation)	Merge.kif 5110-5110
(instance SineFn UnaryFunction)	Merge.kif 5109-5109
(lexicon SineFn LexNoun "sin")	engineering.kif 137-137
(lexicon SineFn LexNoun "sinus")	engineering.kif 136-136
(range SineFn RealNumber)	Merge.kif 5112-5112

appearance as argument number 2

(format ChineseLanguage SineFn "%1 的正弦")	chinese_format.kif 728-728
(format EnglishLanguage SineFn "the sine of %1")	english_format.kif 730-730
(termFormat ChineseLanguage SineFn "正弦")	domainEnglishFormat.kif 53115-53115
(termFormat ChineseLanguage SineFn "正弦函数")	chinese_format.kif 729-729
(termFormat ChineseTraditionalLanguage SineFn "正弦")	domainEnglishFormat.kif 53114-53114
(termFormat EnglishLanguage SineFn "sine")	domainEnglishFormat.kif 53113-53113

consequent

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

Merge.kif 5139-5145

statement

(equal
(ArcSineFn
(SineFn ?X)) ?X)

Merge.kif 5175-5175