SineFn - Sigma Knowledge base Browser

appearance as argument number 1

(instance SineFn UnaryFunction)	Merge.kif 5321-5321	Sine is an instance of unary function
(instance SineFn TotalValuedRelation)	Merge.kif 5322-5322	Sine is an instance of total valued relation
(domain SineFn 1 RealNumber)	Merge.kif 5323-5323	The number 1 argument of sine is an instance of real number
(range SineFn RealNumber)	Merge.kif 5324-5324	The range of sine is an instance of real number
(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 5326-5328	The range of sine is an instance of real number
(lexicon SineFn LexNoun "sinus")	engineering.kif 144-144	The range of sine is an instance of real number
(lexicon SineFn LexNoun "sin")	engineering.kif 145-145	The range of sine is an instance of real number

appearance as argument number 2

(termFormat EnglishLanguage SineFn "sine")	domainEnglishFormat.kif 53127-53127
(termFormat ChineseTraditionalLanguage SineFn "正弦")	domainEnglishFormat.kif 53128-53128
(termFormat ChineseLanguage SineFn "正弦")	domainEnglishFormat.kif 53129-53129
(format EnglishLanguage SineFn "the sine of %1")	english_format.kif 730-730

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
(ArcSineFn
(SineFn ?X)) ?X)

equal the arcsine of the sine of X and X