SineFn - Sigma 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 5215-5217
(documentation SineFn JapaneseLanguage "(SineFn ?DEGREE) は、PlaneAngleMeasure ?DEGREE の正弦である。?DEGREEの正弦は、直角三角形の斜辺に対する?DEGREEの反対側の比率である。")	japanese_format.kif 939-940
(domain SineFn 1 RealNumber)	Merge.kif 5212-5212	The number 1 argument of sine is an instance of real number
(instance SineFn TotalValuedRelation)	Merge.kif 5211-5211	Sine is an instance of total valued relation
(instance SineFn UnaryFunction)	Merge.kif 5210-5210	Sine is an instance of unary function
(lexicon SineFn LexNoun "sin")	engineering.kif 138-138	Sine is an instance of unary function
(lexicon SineFn LexNoun "sinus")	engineering.kif 137-137	Sine is an instance of unary function
(range SineFn RealNumber)	Merge.kif 5213-5213	The range of sine is an instance of real number

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
(format FrenchLanguage SineFn "le sinus de %1")	french_format.kif 437-437
(format ItalianLanguage SineFn "il seno di %1")	relations-it.txt 264-264
(format JapaneseLanguage SineFn "%1 の sine")	japanese_format.kif 2154-2154
(format PortugueseLanguage SineFn "o seno de %1")	portuguese_format.kif 389-389
(format de SineFn "der Sinus von %1")	relations-de.txt 941-941
(format hi SineFn "%1 kaa saaina")	relations-hindi.txt 301-301
(format ro SineFn "sine%t{sinusul} lui %1")	relations-ro.kif 459-459
(format sv SineFn "sinus av %1")	relations-sv.txt 499-499
(termFormat ChineseLanguage SineFn "正弦")	domainEnglishFormat.kif 53172-53172
(termFormat ChineseLanguage SineFn "正弦函数")	chinese_format.kif 729-729
(termFormat ChineseTraditionalLanguage SineFn "正弦")	domainEnglishFormat.kif 53171-53171
(termFormat EnglishLanguage SineFn "sine")	domainEnglishFormat.kif 53170-53170

consequent

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

Merge.kif 5240-5246

statement

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

Merge.kif 5276-5276